A Min–Max Property of Chordal Bipartite Graphs with Applications

Total Page:16

File Type:pdf, Size:1020Kb

A Min–Max Property of Chordal Bipartite Graphs with Applications Graphs and Combinatorics (2010) 26:301–313 DOI 10.1007/s00373-010-0922-0 ORIGINAL PAPER A Min–Max Property of Chordal Bipartite Graphs with Applications Atif Abueida · Arthur H. Busch · R. Sritharan Received: 19 February 2008 / Revised: 2 February 2009 / Published online: 3 April 2010 © Springer 2010 Abstract We show that if G is a bipartite graph with no induced cycles on exactly 6 vertices, then the minimum number of chain subgraphs of G needed to cover E(G) equals the chromatic number of the complement of the square of line graph of G. Using this, we establish that for a chordal bipartite graph G, the minimum number of chain subgraphs of G needed to cover E(G) equals the size of a largest induced matching in G, and also that a minimum chain subgraph cover can be computed in polynomial time. The problems of computing a minimum chain cover and a largest induced matching are NP-hard for general bipartite graphs. Finally, we show that our results can be used to efficiently compute a minimum chain subgraph cover when the input is an interval bigraph. Keywords Chain cover · Induced matching · Bipartite graphs 1 Introduction and Motivation In this paper, all graphs G = (V, E) are simple and finite and consist of a set of vertices V and a set of edges E, which are unordered pairs of vertices. We follow the notation and terminology used in [22], and refer readers there for any unfamiliar terms. We use Ck to refer to a cycle on k vertices, n to refer to the number of vertices, and m to refer to the number of edges in a graph. An induced matching inagraphis R. Sritharan is supported by a grant from the NSA. A. Abueida · A. H. Busch (B) Department of Mathematics, The University of Dayton, Dayton, OH 45469-2316, USA e-mail: [email protected] R. Sritharan Computer Science Department, The University of Dayton, Dayton, OH 45469, USA 123 302 Graphs and Combinatorics (2010) 26:301–313 a matching that is also an induced subgraph, i.e., no two edges of the matching are joined by an edge in the graph. We use im(G) to denote the size of a largest induced matching in G.GivenG and integer k, the problem of deciding whether im(G) ≥ k is NP-complete [4] even when G is bipartite. A bipartite graph G = (X, Y, E) is a chain graph if it does not have a 2K2 as an induced subgraph, i.e., if im(G) = 1. Bipartite graph G = (X , Y , E) is a chain sub- graph of bipartite graph G = (X, Y, E),ifG is a subgraph of G and im(G) = 1. We refer to a set of chain subgraphs of a bipartite graph G = (X, Y, E) as a chain subgraph cover or simply chain cover if the union of the edge sets of the subgraphs is E, and we use ch(G) to denote the minimum cardinality of a chain subgraph cover. Yannakakis showed [24] that when k ≥ 3, deciding whether ch(G) ≤ k for a given bipartite graph G is NP-complete. An efficient algorithm to determine whether ch(G) ≤ 2 for a given bipartite graph G is known [18]. For several restricted families of graphs, the problem of computing a largest induced matching has been shown [5–7,10–12] to be solvable in polynomial time using the fol- lowing transformation. Given graph G = (V, E), consider the graph G∗ constructed as follows: V (G∗) = E(G), and edges wx and yz of G are adjacent in G∗ if and only ∗ if {w, x, y, z} induces a 2K2 in G. Note that G is the complement of the square of the line graph of G. It is clear that any induced matching in G corresponds to a clique in G∗ and vice versa. Therefore, a largest induced matching of G can be computed by finding a largest clique in G∗, and thus im(G) = ω(G∗). Similarly, the edge set of any chain subgraph H of G corresponds to an independent set of vertices in G∗. Therefore, the edge-sets of any chain cover of G can be viewed as a proper multi-coloring of the vertices of G∗ and hence χ(G∗) ≤ ch(G). Combining these results, im(G) = ω(G∗) ≤ χ(G∗) ≤ ch(G) for any bipartite graph G. A natural question is whether or not the three parameters can differ. It is shown in [8] that there exist bipartite graphs G with ch(G) arbitrarily larger than χ(G∗). The discussion in [8] is about threshold dimension of split graphs.Asevery threshold graph can be derived from a chain graph by turning one side of the bipartition into a clique [3] and as a split graph is a bipartite graph with one side of the bipartition turned into a clique, the same construction applies in the context of the chain cover number of bipartite graphs. A bipartite graph G = (X, Y, E) is convex if the vertices in Y can be linearly ordered so that for each vertex x ∈ X the neighbors of x occur consecutively. The graph G is a comparability graph if each edge of G can be oriented so that the resulting directed graph is acyclic and transitive. It was shown in [25] that when G is a convex bipartite graph, G∗ is a comparability graph and also ch(G) = χ(G∗). As compa- rability graphs are perfect, we have [25] that when G is a convex bipartite graph, im(G) = ω(G∗) = χ(G∗) = ch(G). This relationship was used in [25] to design an O(m2) time algorithm to compute ch(G) as well as a minimum chain subgraph cover for G, when G is a convex bipartite graph; it was subsequently shown in [2] that the algorithm from [25] can be implemented to run in O(n2) time. A bipartite graph is chordal bipartite if it does not contain any induced Ck, k ≥ 6. The class of chordal bipartite graphs is a well known [3] generalization of the class of convex bipartite graphs. The problem of determining the complexity of computing ch(G), when G is chordal bipartite, was posed in [25]. More specifically, noting that 123 Graphs and Combinatorics (2010) 26:301–313 303 the graphs constructed in [8] contain induced C6s (and hence are not chordal bipar- tite), the issue of whether ch(G) equals χ(G∗), when G is chordal bipartite graph, was raised in [2]. Further, as observed in [2], if ch(G) = χ(G∗) when G is chordal bipartite, then it would imply that im(G) and ch(G) can be computed in polynomial time for chordal bipartite graphs. We confirm this equality by proving that when G is a ∗ bipartite graph that does not contain any induced C6, ch(G) = χ(G ). We also address the efficient computation of ch(G) and im(G) when G is an interval bigraph.The class of convex bipartite graphs is a proper subclass of the class of interval bigraphs, and the class of interval bigraphs, in turn, is a proper subclass of the class of chordal bipartite graphs. 2 A Min–Max Theorem Lemma 1 Suppose G is a bipartite graph that does not contain any induced C6. Then every maximal independent set of G∗ is the edge-set of a chain subgraph of G. Proof Let G = (X, Y, E) be a bipartite graph that contains no induced C6. Assume the result is false, and consider a maximal independent set S of G∗ which is not the edge-set of a chain subgraph of G. Then there must be two edges x1y1 ∈ S and x2y2 ∈ S that form an induced 2K2 in the graph G = (X, Y, S) (hence x1 = x2 and ∗ y1 = y2). Since these two edges are non-adjacent in G , we immediately conclude that either x1y2 ∈ E\S or x2y1 ∈ E\S, or both. Without loss of generality, assume ∗ x1y2 ∈ E\S.AsS is maximal, S∪{x1y2} is not an independent set in G , so there is an edge x3y3 ∈ S such that x1y2 and x3y3 form an induced 2K2 in G. Thus, x3 = x1, x2, y3 = y1, y2, and furthermore, x3y2 ∈/ E and x1y3 ∈/ E as indicated below (dashed lines indicate non-edges of G). Next, note that as {x1y1, x2y2, x3y3}⊆S, no two of these edges induce a 2K2 in G,sowemustalsohave{x2y3, x3y1}⊂E. Note the edges x1y2, x2y2, x2y3, x3y3, x3y1 and x1y1 are the edge-set of a C6 in G. Since G contains no induced C6,atleast one chord of this cycle must be present, and as shown above, the only possible chord is x2y1 and so x2y1 ∈ E. Now, note that since x1y1 and x2y2 induce a 2K2 in G = (X, Y, S), x2y1 ∈/ S. Repeating the above argument, we note that S ∪{x2y1} is not an independent set of ∗ G , and so there is some edge x4y4 ∈ S such that x2y1 and x4y4 form an induced 2K2 in G, meaning that x4 = x2 and y4 = y1 as well as x4y1 ∈/ E and x2y4 ∈/ E. From these last two observations, we conclude that x4 = x1, x3 and that y4 = y2, y3. 123 304 Graphs and Combinatorics (2010) 26:301–313 Additionally, as x4y4 ∈ S, neither x1y1 and x4y4, nor x2y2 and x4y4 form an induced 2K2 in G. Thus, {x1y4, x4y2}⊂E which gives the following configuration in G. Finally, we note that both x3y3 ∈ S and x4y4 ∈ S, and so these two edges do not induce a 2K2 in G.
Recommended publications
  • Estimating All Pairs Shortest Paths in Restricted Graph Families: a Unified Approach
    Estimating All Pairs Shortest Paths in Restricted Graph Families: A Unified Approach (Extended Abstract) Feodor F. Dragan Dept. of Computer Science, Kent State University, Kent, Ohio 44242, USA [email protected] Abstract. In this paper we show that a very simple and efficient ap- proach can be used to solve the all pairs almost shortest path problem on the class of weakly chordal graphs and its different subclasses. Moreover, this approach works well also on graphs with small size of largest induced cycle and gives a unified way to solve the all pairs almost shortest path and all pairs shortest path problems on different graph classes includ- ing chordal, strongly chordal, chordal bipartite, and distance-hereditary graphs. 1 Introduction Let G =(V,E) be a finite, unweighted, undirected, connected and simple (i.e., without loops and multiple edges) graph. Let also |V | = n and |E| = m. The distance d(v, u) between vertices v and u is the smallest number of edges in a path connecting v and u. The all pairs shortest path problem is to compute d(v, u) for all pairs of vertices v and u in G. The all pairs shortest path (APSP) problem is one of the most fundamental graph problems. There has been a renewed interest in it recently (see [1,2,4,6,12], [15,29] for general (unweighted, undirected) graphs, and [3,5,7,10,11,14,20,21,24], [28,32,33] for special graph classes). For general graphs, the best result known is by Seidel [29], who showed that the APSP problem can be solved in O(M(n) log n) time where M(n) denotes the time complexity for matrix multiplication involving small integers only.
    [Show full text]
  • Minimum Fill-In for Chordal Bipartite Graphs
    Minimum fill-in for chordal bipartite graphs Citation for published version (APA): Kloks, A. J. J. (1993). Minimum fill-in for chordal bipartite graphs. (Universiteit Utrecht. UU-CS, Department of Computer Science; Vol. 9311). Utrecht University. Document status and date: Published: 01/01/1993 Document Version: Publisher’s PDF, also known as Version of Record (includes final page, issue and volume numbers) Please check the document version of this publication: • A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers. Link to publication General rights Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights. • Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal.
    [Show full text]
  • Graph Isomorphism Completeness for Chordal Bipartite Graphs and Strongly Chordal Graphs
    Graph Isomorphism Completeness for Chordal bipartite graphs and Strongly Chordal Graphs Ryuhei Uehara a Seinosuke Toda b Takayuki Nagoya c aNatural Science Faculty, Komazawa University. 1 bDepartment of Computer Science and System Analysis, College of Humanities and Sciences, Nihon University. cDepartment of Mathematical Sciences, Tokyo Denki University. Abstract This paper deals with the graph isomorphism (GI) problem for two graph classes: chordal bipartite graphs and strongly chordal graphs. It is known that GI problem is GI complete even for some special graph classes including regular graphs, bipar- tite graphs, chordal graphs, comparability graphs, split graphs, and k-trees with unbounded k. On the other side, the relative complexity of the GI problem for the above classes was unknown. We prove that deciding isomorphism of the classes are GI complete. Key words: Graph isomorphism problem, Graph isomorphism complete, Strongly chordal graphs, Chordal bipartite graphs 1 Introduction The graph isomorphism (GI) problem is a well-known problem and exploring its precise complexity has become an important open question in computa- tional complexity theory three decades ago (see (Kar72)). Although the prob- lem is trivially in NP, the problem is not known to be in P and not known to be NP-complete either (see (RC77; KST93)). It is very unlikely that the Email addresses: [email protected] (Ryuhei Uehara), [email protected] (Seinosuke Toda), [email protected] (Takayuki Nagoya). 1 This work was done while the author was visiting University of Waterloo. Preprint submitted to Elsevier Science 26 May 2004 GI problem is NP-complete.
    [Show full text]
  • Maximum Induced Matching Algorithms Via Vertex Ordering Characterizations
    Maximum Induced Matching Algorithms via Vertex Ordering Characterizations∗ Michel Habib1 and Lalla Mouatadid2 1 IRIF, CNRS & Université Paris Diderot, Paris, France & INRIA Paris, Gang project [email protected] 2 Department of Computer Science, University of Toronto, Toronto, ON, Canada [email protected] Abstract We study the maximum induced matching problem on a graph G. Induced matchings correspond to independent sets in L2(G), the square of the line graph of G. The problem is NP-complete on bipartite graphs. In this work, we show that for a number of graph families with forbidden vertex orderings, almost all forbidden patterns on three vertices are preserved when taking the square of the line graph. These orderings can be computed in linear time in the size of the input graph. In particular, given a graph class characterized by a vertex ordering, and a G graph G =(V,E) with a corresponding vertex ordering ‡ of V , one can produce (in linear œG time in the size of G) an ordering on the vertices of L2(G), that shows that L2(G) - for a œG number of graph classes - without computing the line graph or the square of the line graph of G. G These results generalize and unify previous ones on showing closure under L2( ) for various graph · families. Furthermore, these orderings on L2(G) can be exploited algorithmically to compute a maximum induced matching on G faster. We illustrate this latter fact in the second half of the paper where we focus on cocomparability graphs, a large graph class that includes interval, permutation, trapezoid graphs, and co-graphs, and we present the first (mn) time algorithm O to compute a maximum weighted induced matching on cocomparability graphs; an improvement from the best known (n4) time algorithm for the unweighted case.
    [Show full text]
  • NP-Hard Graph Problems and Boundary Classes of Graphs
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Theoretical Computer Science 389 (2007) 219–236 www.elsevier.com/locate/tcs NP-hard graph problems and boundary classes of graphs V.E. Alekseeva, R. Boliacb, D.V. Korobitsyna, V.V. Lozinb,∗ a University of Nizhny Novgorod, Gagarina 23, Nizhny Novgorod, 603950, Russia b RUTCOR, Rutgers University, 640 Bartholomew Road, Piscataway NJ, 08854-8003, USA Received 1 September 2004; received in revised form 7 February 2007; accepted 10 September 2007 Communicated by A. Razborov Abstract Any graph problem, which is NP-hard in general graphs, becomes polynomial-time solvable when restricted to graphs in special classes. When does a difficult problem become easy? To answer this question we study the notion of boundary classes. In the present paper we define this notion in its most general form, describe several approaches to identify boundary classes and apply them to various graph problems. c 2007 Elsevier B.V. All rights reserved. Keywords: Computational complexity; Hereditary class of graphs 1. Introduction We study graph problems that are NP-hard in general, i.e. in the class of all graphs. When we restrict the class of input graphs, any of these problems can become tractable, i.e. solvable in polynomial time. When does a difficult problem become easy? Is there any boundary that separates classes of graphs where the problem remains NP-hard from those where it has a polynomial-time solution? To answer these questions, we study the notion of boundary classes of graphs.
    [Show full text]
  • Bidimensionality and Kernels1,2
    Bidimensionality and Kernels1;2 Fedor V. Fomin3;4;5 Daniel Lokshtanov6 Saket Saurabh3;7;8 Dimitrios M. Thilikos5;9;10 Abstract Bidimensionality Theory was introduced by [E. D. Demaine, F. V. Fomin, M. Hajiaghayi, and D. M. Thilikos. Subexponential parameterized algorithms on graphs of bounded genus and H-minor-free graphs, J. ACM, 52 (2005), pp. 866{893] as a tool to obtain sub-exponential time parameterized algorithms on H-minor-free graphs. In [E. D. Demaine and M. Haji- aghayi, Bidimensionality: new connections between FPT algorithms and PTASs, in Proceed- ings of the 16th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), SIAM, 2005, pp. 590{601] this theory was extended in order to obtain polynomial time approximation schemes (PTASs) for bidimensional problems. In this work, we establish a third meta-algorithmic direc- tion for bidimensionality theory by relating it to the existence of linear kernels for parameter- ized problems. In particular, we prove that every minor (respectively contraction) bidimensional problem that satisfies a separation property and is expressible in Countable Monadic Second Order Logic (CMSO), admits a linear kernel for classes of graphs that exclude a fixed graph (respectively an apex graph) H as a minor. Our results imply that a multitude of bidimensional problems admit linear kernels on the corresponding graph classes. For most of these problems no polynomial kernels on H-minor-free graphs were known prior to our work. Keywords: Kernelization, Parameterized algorithms, Treewidth, Bidimensionality 1Part of the results of this paper have appeared in [42]. arXiv:1606.05689v3 [cs.DS] 1 Sep 2020 2Emails of authors: [email protected], [email protected], [email protected]/[email protected], [email protected].
    [Show full text]
  • Cliques and Clubs⋆
    Cliques and Clubs? Petr A. Golovach1, Pinar Heggernes1, Dieter Kratsch2, and Arash Rafiey1 1 Department of Informatics, University of Bergen, Norway, fpetr.golovach,pinar.heggernes,[email protected] 2 LITA, Universit´ede Lorraine - Metz, France, [email protected] Abstract. Clubs are generalizations of cliques. For a positive integer s, an s-club in a graph G is a set of vertices that induces a subgraph of G of diameter at most s. The importance and fame of cliques are evident, whereas clubs provide more realistic models for practical applications. Computing an s-club of maximum cardinality is an NP-hard problem for every fixed s ≥ 1, and this problem has attracted significant attention recently. We present new positive results for the problem on large and important graph classes. In particular we show that for input G and s, a maximum s-club in G can be computed in polynomial time when G is a chordal bipartite or a strongly chordal or a distance hereditary graph. On a superclass of these graphs, weakly chordal graphs, we obtain a polynomial-time algorithm when s is an odd integer, which is best possible as the problem is NP-hard on this clas for even values of s. We complement these results by proving the NP-hardness of the problem for every fixed s on 4-chordal graphs, a superclass of weakly chordal graphs. Finally, if G is an AT-free graph, we prove that the problem can be solved in polynomial time when s ≥ 2, which gives an interesting contrast to the fact that the problem is NP-hard for s = 1 on this graph class.
    [Show full text]
  • Polynomial-Time Algorithms for the Longest Induced Path and Induced Disjoint Paths Problems on Graphs of Bounded Mim-Width∗†
    Polynomial-Time Algorithms for the Longest Induced Path and Induced Disjoint Paths Problems on Graphs of Bounded Mim-Width∗† Lars Jaffke‡1, O-joung Kwon§2, and Jan Arne Telle3 1 Department of Informatics, University of Bergen, Norway [email protected] 2 Logic and Semantics, Technische Universität Berlin, Berlin, Germany [email protected] 3 Department of Informatics, University of Bergen, Norway [email protected] Abstract We give the first polynomial-time algorithms on graphs of bounded maximum induced matching width (mim-width) for problems that are not locally checkable. In particular, we give nO(w)-time algorithms on graphs of mim-width at most w, when given a decomposition, for the following problems: Longest Induced Path, Induced Disjoint Paths and H-Induced Topological Minor for fixed H. Our results imply that the following graph classes have polynomial-time algorithms for these three problems: Interval and Bi-Interval graphs, Circular Arc, Per- mutation and Circular Permutation graphs, Convex graphs, k-Trapezoid, Circular k-Trapezoid, k-Polygon, Dilworth-k and Co-k-Degenerate graphs for fixed k. 1998 ACM Subject Classification F.2.2 Nonnumerical Algorithms and Problems, Computations on discrete structures, G.2.2 Graph Theory, Graph algorithms Keywords and phrases graph width parameters, dynamic programming, graph classes, induced paths, induced topological minors Digital Object Identifier 10.4230/LIPIcs.IPEC.2017.21 1 Introduction Ever since the definition of the tree-width of graphs emerged from the Graph Minors project of Robertson and Seymour, bounded-width structural graph decompositions have been a successful tool in designing fast algorithms for graph classes on which the corresponding width-measure is small.
    [Show full text]
  • Finding a Maximum Induced Matching in Weakly Chordal Graphs
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Discrete Mathematics 266 (2003) 133–142 www.elsevier.com/locate/disc Finding a maximum induced matching in weakly chordal graphs Kathie Camerona;1 , R. Sritharanb;2 , Yingwen Tangb aDepartment of Mathematics, Wilfrid Laurier University, Waterloo, Ont., Canada N2L 3C5 bComputer Science Department, University of Dayton, Dayton, OH 45469, USA Received 4 July 2001; received in revised form 7 May 2002; accepted 12 August 2002 Abstract An induced matching in a graph G is a set of edges, no two of which meet a common vertex or are joined by an edge of G; that is, an induced matching is a matching which forms an induced subgraph. It is known that ÿnding an induced matching of maximum cardinality in a graph is NP-hard. We show that a maximum induced matching in a weakly chordal graph can be found in polynomial time. This generalizes previously known results for the induced matching problem. This also demonstrates that the maximum induced matching problem in chordal bipartite graphs can be solved in polynomial time while the problem is known to be NP-hard for bipartite graphs in general. c 2003 Elsevier Science B.V. All rights reserved. Keywords: Induced matching; Strong matching; Strong edge-colouring; Strong chromatic index; Weakly chordal graphs; Interval-ÿlament graphs; Intersection graphs; Polynomial-time algorithm 1. Introduction A matching in a graph is a set of edges no two of which share an endpoint. An induced matching in a graph is a matching such that no two edges in the matching are joined by any third edge of the graph; that is, an induced matching is a matching which forms an induced subgraph.
    [Show full text]
  • New Min-Max Theorems for Weakly Chordal and Dually Chordal Graphs
    New Min-Max Theorems for Weakly Chordal and Dually Chordal Graphs Arthur H. Busch1,, Feodor F. Dragan2, and R. Sritharan3, 1 Department of Mathematics, The University of Dayton, Dayton, OH 45469 [email protected] 2 Department of Computer Science, Kent State University, Kent, OH 44242 [email protected] 3 Department of Computer Science, The University of Dayton, Dayton, OH 45469 [email protected] Abstract. Adistance-k matching in a graph G is matching M in which the distance between any two edges of M is at least k.Adistance-2 matching is more commonly referred to as an induced matching. In this paper, we show that when G is weakly chordal, the size of the largest induced matching in G is equal to the minimum number of co-chordal subgraphs of G needed to cover the edges of G, and that the co-chordal subgraphs of a minimum cover can be found in polynomial time. Us- ing similar techniques, we show that the distance-k matching problem for k>1 is tractable for weakly chordal graphs when k is even, and is NP-hard when k is odd. For dually chordal graphs, we use properties of hypergraphs to show that the distance-k matching problem is solvable in polynomial time whenever k is odd, and NP-hard when k is even. Moti- vated by our use of hypergraphs, we define a class of hypergraphs which lies strictly in between the well studied classes of acyclic hypergraphs and normal hypergraphs. 1 Background and Motivation In this paper, all graphs are undirected, simple, and finite.
    [Show full text]
  • The Graphs with Maximum Induced Matching and Maximum Matching
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Discrete Mathematics 299 (2005) 49–55 www.elsevier.com/locate/disc The graphs with maximum induced matching and maximum matching the same sizeଁ Kathie Camerona, Tracy Walkerb aDepartment of Mathematics, Wilfrid Laurier University, Waterloo, ON, Canada N2L 3C5 bDepartment of Mathematics, University of Calgary, Calgary, AB, Canada T2N 1N4 Received 2 October 2003; received inrevised form 30 June2004; accepted 1 July 2004 Available online 10 August 2005 Abstract Kobler and Rotics gave a polytime algorithm for deciding if a graph has maximum induced matching and maximum matching the same size, and for finding a maximum induced matching in a graph where equality holds. We give a simple characterizationof these graphs. Our characterizationprovides a simpler recognition algorithm. © 2005 Elsevier B.V. All rights reserved. Keywords: Matching; Induced matching; Perfect graph; Optimization problems; Matroid A matching ina graph is a set of edges, notwo of which meet a commonvertex. An induced matching M ina graph G is a matching where no two edges of M are joined by an edge of G. The problem of finding a maximum induced matching is NP-hard, even for bipartite graphs [2,15] and for planar graphs of maximum degree 4 [12]. The maximum induced matchingproblem canbe solved inpolytime for weakly chordal graphs [4], asteroidal triple-free graphs [3,5], and many classes of intersection graphs [2,3,8,9] including interval- filament graphs [3]. Interval-filament graphs [7] include co-comparability graphs [7,10] and polygon–circle graphs [7], and the latter include circle graphs, circular arc graphs [11], chordal graphs [14], and outerplanar graphs (see [14]).
    [Show full text]
  • Arxiv:2107.00718V1 [Math.CO] 1 Jul 2021 Strong Edge Coloring Of
    Strong edge coloring of Cayley graphs and some product graphs Suresh Dara1, Suchismita Mishra2, Narayanan Narayanan3, Zsolt Tuza4 1Department of Mathematics, School of Advanced Sciences, VIT Bhopal University, Kothri Kalan, Sehore-466114, India 2 Advanced Computing and Microelectronics Unit, Indian Statistical Institute, Kolkata-700108, India 3Department of Mathematics, Indian Institute of Technology Madras, Chennai-600036, India. 3Alfr´ed R´enyi Institute of Mathematics, Budapest & University of Pannonia, Veszpr´em, Hungary. Abstract A strong edge coloring of a graph G is a proper edge coloring of G such that every color class is an induced matching. The minimum number of colors required is termed the strong chromatic index. In this paper we determine the exact value of the strong chromatic index of all unitary Cayley graphs. Our investigations reveal an underlying product structure from which the unitary Cayley graphs emerge. We then go on to give tight bounds for the strong chromatic index of the Cartesian product of two trees, including an exact formula for the product in the case of stars. Further, we give bounds for the strong chromatic index of the product of a tree with a cycle. For any tree, those bounds may differ from the actual value only by not more than a small additive constant (at most 2 for even cycles and at most 5 for odd cycles), moreover they yield the exact value when the length of the cycle is divisible by 4. 1 Introduction Throughout the paper, an edge joining vertices u and v is denoted by (u, v). Let G be a arXiv:2107.00718v2 [math.CO] 9 Jul 2021 simple, finite, undirected graph.
    [Show full text]