DOCSLIB.ORG

Arxiv:2102.03120V1 [Math.CO] 5 Feb 2021 on Multichromatic Numbers of Widely Colorable Graphs

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:2102.03120V1 [Math.CO] 5 Feb 2021 on Multichromatic Numbers of Widely Colorable Graphs On multichromatic numbers of widely colorable graphs Anna Gujgiczera,c G´abor Simonyib,a, aDepartment of Computer Science and Information Theory, Faculty of Electrical Engineering and Informatics Budapest University of Technology and Economics bAlfr´ed R´enyi Institute of Mathematics, Budapest cMTA-BME Lend¨ulet Arithmetic Combinatorics Research Group [email protected] [email protected] arXiv:2102.03120v1 [math.CO] 5 Feb 2021 Abstract A coloring is called s-wide if no walk of length 2s − 1 connects vertices of the same color. A graph is s-widely colorable with t colors if and only if it admits a homomorphism into a universal graph W (s, t). Tardif observed that the value of the rth multichromatic number χr(W (s, t)) of these graphs is at least t + 2(r − 1) and equality holds for r = s = 2. He asked whether there is equality also for r = s = 3. We show that χs(W (s, t)) = t+2(s−1) for all s thereby answering Tardif’s question. We observe that for large r (with respect to s and t fixed) we cannot have equality and that for s fixed and t going to infinity the fractional chromatic number of W (s, t) also tends to infinity. The latter is a simple consequence of another result of Tardif on the fractional chromatic number of generalized Mycielski graphs. Keywords: multichromatic number, homomorphism, Kneser graphs, generalized Mycielski graphs, wide coloring. 1 Introduction A vertex-coloring of a graph is called s-wide if the two endvertices of every walk of length 2s − 1 receive different colors in it. If every vertex gets a different color then the coloring is s-wide if and only if the graph does not contain any odd cycle shorter than 2s + 1. The interesting phenomenon is that some graphs have s-wide colorings that are also optimal colorings. A 1-wide coloring is just a proper coloring. 2-wide colorings were first investigated by Gy´arf´as, Jensen, and Stiebitz [5] who, answering a question of Harvey and Murty, showed the existence of a t-chromatic graph for every t ≥ 2 with the additional property that it admits a t-coloring in which the neighborhood of every color class is an independent set. The analogous statement including more distant neighborhoods is also proven in [5]. 3-wide colorings (that are called simply wide colorings in [17]) turned out to be relevant concerning the local chromatic number of several graph families whose chromatic number can be determined by the topological method of Lov´asz [10], cf. [17] for more details and also for the relevance of s-wide colorability in the context of the circular chromatic number. A graph homomorphism from a graph F to a graph G is an edge-preserving map of the vertex set of F to the vertex set of G. The existence of such a map is denoted by F → G. It is easy to see that G → Kt is equivalent to the t-colorability of graph G, that is to χ(G) ≤ t, where χ(G) is the chromatic number of G. We refer to the book [7] for a general treatment of the theory of graph homomorphisms. Several other types of graph colorings can also be expressed by the existence of a graph homomorphism to some target graph and s-wide colorability is no exception. It is proven independently in [1] and [17] (and already in [5] for the s = 2 case) that s-wide colorability with t colors is equivalent to the existence of a homomorphism to the following graph we denote by W (s, t) as in [17]. V (W (s, t)) = {(x1 ...xt): ∀i xi ∈{0, 1,...,s}, ∃!i xi =0, ∃j xj =1}, E(W (s, t)) = {{(x1 ...xt), (y1 ...yt)} : ∀i |xi − yi| =1 or xi = yi = s}. Proposition 1. ([1, 5, 17]) A graph G admits an s-wide coloring using t colors if and only if G → W (s, t). A different incarnation of the graphs W (s, t) appears in the papers [6, 21, 25], where (following Wrochna’s notation in [25]) a graph operation Ωk is given for every odd integer k and when applied to the complete graph Kt for k =2s − 1 then the resulting graph is isomorphic to W (s, t). We will give and make use of this alternative definition in Section 2. It is easy to see that W (s, t) can be properly colored with t colors: set the color of vertex (x1 ...xt) to be the unique i for which xi = 0. It is proven in [1, 5, 17] (cf. also the chromatic properties of the more general Ωk construction in [6, 21, 25]) that this coloring is optimal, that is, χ(W (s, t)) = t. (1) 1 This represents the surprising fact, that there are t-chromatic graphs that can be opti- mally colored in such a way, that the complete d-neighborhood of any color class is an independent set for every d<s. (By d-neighborhood of a color class we mean the set of vertices at distance exactly d from the closest element of the color class. In fact, if G is s-widely colored then not only the d-neighborhoods of color classes form independent sets for d<s but all those vertices that can be attained via walks of length d from the given color class.) The proof of t-chromaticity of W (s, t) goes via showing that some other graphs that are known to be t-chromatic admit a homomorphism into W (s, t). These graphs include generalized Mycielski graphs, Schrijver graphs, and Borsuk graphs of ap- propriate parameters (for the definition of generalized Mycielski graphs see Section 3; cf. [15, 3, 12] for the definition of Schrijver graphs and Borsuk graphs and [17] for further details), showing in particular that all these graphs admit s-wide colorings. A common property of all these graphs is that their chromatic number can be determined by the already mentioned topological method introduced by Lov´asz in his celebrated paper [10] proving Kneser’s conjecture. For n, k positive integers satisfying n ≥ 2k the Kneser graph KG(n, k) is defined on [n] k , the set of all k-element subsets of the n-element set [n]= {1, 2,...,n} as vertex set. Two vertices are adjacent if and only if the k-element subsets they represent are disjoint. It is not hard to show that χ(KG(n, k)) ≤ n − 2k + 2 (for all n, k satisfying n ≥ 2k) and Kneser [8] conjectured that this estimate is sharp. This was proved by Lov´asz [10] thereby establishing the following result. Theorem (Lov´asz-Kneser theorem). χ(KG(n, k)) = n − 2k +2. For more about the topological method we refer to the excellent book by Matouˇsek [12]. The existence of a homomorphism to the Kneser graph KG(n, k) can also be interpreted as a coloring property: G → KG(n, k) holds if and only if we can color the vertices of G with n colors in such a way that every vertex receives k distinct colors and if two vertices u and v are adjacent then the set of colors received by u is disjoint from the set of colors received by v. Such colorings were first considered by Geller and Stahl, see [4, 18]. Stahl [18] introduced the corresponding chromatic number χk(G) as the minimum number of colors needed for such a coloring, called a k-fold coloring and χk(G) the k-fold chromatic number in [14] (or k-tuple chromatic number in [7]). The fractional chromatic number χf (G) can be defined as χk(G) n χf (G) = inf = inf : G → KG(n, k) . k k nk o Note the immediate consequence of this definition that if G → H then χf (G) ≤ χf (H). Not surprisingly, determining multichromatic numbers (that is, k-fold chromatic numbers for various k’s) can be even harder in general than determining the chromatic number 2 which is the special case for k = 1. An example of this phenomenon is that while the chromatic number of Kneser graphs is already known by the Lov´asz-Kneser theorem, it is only a still open conjecture due to Stahl what homomorphisms exist and what do not between Kneser graphs, see Section 6.2 of [7] for details, cf. also [24]. The starting point of our investigations was a question by Tardif [23] who observed that (1) combined with the Lov´asz-Kneser theorem implies that χr(W (s, t)) ≥ t + 2(r − 1) (2) and that equality holds for r = s = 2. (This is also true in the case of r = s = 1 when it simply means χ(Kt)= t.) Tardif asked if there is equality also for r = s = 3. In particular, he was interested in whether W (3, 8) 6→ KG(12, 3) and/or W (3, 7) 6→ KG(11, 3) is true. Our main result will imply that this is actually not the case and equality does hold for r = s = 3. The motivation for Tardif’s question came from recent developments concerning Hedetniemi’s conjecture in which wide colorings also turned out to be relevant. Hedetniemi’s conjecture asked whether the so-called categorical (or tensor) product G×H satisfies χ(G×H) = min{χ(G), χ(H)}. The conjecture is equivalent to say that G×H → Kc implies that G → Kc or H → Kc must hold. (Although the latter directly only means χ(G × H) ≥ min{χ(G), χ(H)}, the reverse inequality is essentially trivial by G × H → G and G × H → H following easily from the definition of the categorical product.) If this holds for Kc, then Kc is called multiplicative.
Load more

Recommended publications
  • Homomorphisms of 3-Chromatic Graphs
    Discrete Mathematics 54 (1985) 127-132 127 North-Holland HOMOMORPHISMS OF 3-CHROMATIC GRAPHS Michael O. ALBERTSON Department of Mathematics, Smith College, Northampton, MA 01063, U.S.A. Karen L. COLLINS Department of Mathematics, M.L T., Cambridge, MA 02139, U.S.A. Received 29 March 1984 Revised 17 August 1984 This paper examines the effect of a graph homomorphism upon the chromatic difference sequence of a graph. Our principal result (Theorem 2) provides necessary conditions for the existence of a homomorphism onto a prescribed target. As a consequence we note that iterated cartesian products of the Petersen graph form an infinite family of vertex transitive graphs no one of which is the homomorphic image of any other. We also prove that there is a unique minimal element in the homomorphism order of 3-chromatic graphs with non-monotonic chromatic difference sequences (Theorem 1). We include a brief guide to some recent papers on graph homomorphisms. A homomorphism f from a graph G to a graph H is a mapping from the vertex set of G (denoted by V(G)) to the vertex set of H which preserves edges, i.e., if (u, v) is an edge in G, then (f(u), f(v)) is an edge in H. If in addition f is onto V(H) and each edge in H is the image of some edge in G, then f is said to be onto and H is called a homomorphic image of G. We define the homomorphism order ~> on the set of finite connected graphs as G ~>H if there exists a homomorphism which maps G onto H.
    [Show full text]
  • Graph Operations and Upper Bounds on Graph Homomorphism Counts
    Graph Operations and Upper Bounds on Graph Homomorphism Counts Luke Sernau March 9, 2017 Abstract We construct a family of countexamples to a conjecture of Galvin [5], which stated that for any n-vertex, d-regular graph G and any graph H (possibly with loops), n n d d hom(G, H) ≤ max hom(Kd,d,H) 2 , hom(Kd+1,H) +1 , n o where hom(G, H) is the number of homomorphisms from G to H. By exploiting properties of the graph tensor product and graph exponentiation, we also find new infinite families of H for which the bound stated above on hom(G, H) holds for all n-vertex, d-regular G. In particular we show that if HWR is the complete looped path on three vertices, also known as the Widom-Rowlinson graph, then n d hom(G, HWR) ≤ hom(Kd+1,HWR) +1 for all n-vertex, d-regular G. This verifies a conjecture of Galvin. arXiv:1510.01833v3 [math.CO] 8 Mar 2017 1 Introduction Graph homomorphisms are an important concept in many areas of graph theory. A graph homomorphism is simply an adjacency-preserving map be- tween a graph G and a graph H. That is, for given graphs G and H, a function φ : V (G) → V (H) is said to be a homomorphism from G to H if for every edge uv ∈ E(G), we have φ(u)φ(v) ∈ E(H) (Here, as throughout, all graphs are simple, meaning without multi-edges, but they are permitted 1 to have loops).
    [Show full text]
  • On J-Colorability of Certain Derived Graph Classes
    On J-Colorability of Certain Derived Graph Classes Federico Fornasiero Department of mathemathic Universidade Federal de Pernambuco Recife, Pernambuco, Brasil [email protected] Sudev Naduvath Centre for Studies in Discrete Mathematics Vidya Academy of Science & Technology Thrissur, Kerala, India. [email protected] Abstract A vertex v of a given graph G is said to be in a rainbow neighbourhood of G, with respect to a proper coloring C of G, if the closed neighbourhood N[v] of the vertex v consists of at least one vertex from every colour class of G with respect to C. A maximal proper colouring of a graph G is a J-colouring of G if and only if every vertex of G belongs to a rainbow neighbourhood of G. In this paper, we study certain parameters related to J-colouring of certain Mycielski type graphs. Key Words: Mycielski graphs, graph coloring, rainbow neighbourhoods, J-coloring arXiv:1708.09798v2 [math.GM] 4 Sep 2017 of graphs. Mathematics Subject Classification 2010: 05C15, 05C38, 05C75. 1 Introduction For general notations and concepts in graphs and digraphs we refer to [1, 3, 13]. For further definitions in the theory of graph colouring, see [2, 4]. Unless specified otherwise, all graphs mentioned in this paper are simple, connected and undirected graphs. 1 2 On J-colorability of certain derived graph classes 1.1 Mycielskian of Graphs Let G be a triangle-free graph with the vertex set V (G) = fv1; : : : ; vng. The Myciel- ski graph or the Mycielskian of a graph G, denoted by µ(G), is the graph with ver- tex set V (µ(G)) = fv1; v2; : : : ; vn; u1; u2; : : : ; un; wg such that vivj 2 E(µ(G)) () vivj 2 E(G), viuj 2 E(µ(G)) () vivj 2 E(G) and uiw 2 E(µ(G)) for all i = 1; : : : ; n.
    [Show full text]
  • Chromatic Number of the Product of Graphs, Graph Homomorphisms, Antichains and Cofinal Subsets of Posets Without AC
    CHROMATIC NUMBER OF THE PRODUCT OF GRAPHS, GRAPH HOMOMORPHISMS, ANTICHAINS AND COFINAL SUBSETS OF POSETS WITHOUT AC AMITAYU BANERJEE AND ZALAN´ GYENIS Abstract. In set theory without the Axiom of Choice (AC), we observe new relations of the following statements with weak choice principles. • If in a partially ordered set, all chains are finite and all antichains are countable, then the set is countable. • If in a partially ordered set, all chains are finite and all antichains have size ℵα, then the set has size ℵα for any regular ℵα. • CS (Every partially ordered set without a maximal element has two disjoint cofinal subsets). • CWF (Every partially ordered set has a cofinal well-founded subset). • DT (Dilworth’s decomposition theorem for infinite p.o.sets of finite width). We also study a graph homomorphism problem and a problem due to Andr´as Hajnal without AC. Further, we study a few statements restricted to linearly-ordered structures without AC. 1. Introduction Firstly, the first author observes the following in ZFA (Zermelo-Fraenkel set theory with atoms). (1) In Problem 15, Chapter 11 of [KT06], applying Zorn’s lemma, Komj´ath and Totik proved the statement “Every partially ordered set without a maximal element has two disjoint cofinal subsets” (CS). In Theorem 3.26 of [THS16], Tachtsis, Howard and Saveliev proved that CS does not imply ‘there are no amorphous sets’ in ZFA. We observe ω that CS 6→ ACfin (the axiom of choice for countably infinite familes of non-empty finite − sets), CS 6→ ACn (‘Every infinite family of n-element sets has a partial choice function’) 1 − for every 2 ≤ n<ω and CS 6→ LOKW4 (Every infinite linearly orderable family A of 4-element sets has a partial Kinna–Wegner selection function)2 in ZFA.
    [Show full text]
  • No Finite-Infinite Antichain Duality in the Homomorphism Poset D of Directed Graphs
    NO FINITE-INFINITE ANTICHAIN DUALITY IN THE HOMOMORPHISM POSET D OF DIRECTED GRAPHS PETER¶ L. ERDOS} AND LAJOS SOUKUP Abstract. D denotes the homomorphism poset of ¯nite directed graphs. An antichain duality is a pair hF; Di of antichains of D such that (F!) [ (!D) = D is a partition. A generalized duality pair in D is an antichain duality hF; Di with ¯nite F and D: We give a simpli¯ed proof of the Foniok - Ne·set·ril- Tardif theorem for the special case D, which gave full description of the generalized duality pairs in D. Although there are many antichain dualities hF; Di with in¯nite D and F, we can show that there is no antichain duality hF; Di with ¯nite F and in¯nite D. 1. Introduction If G and H are ¯nite directed graphs, write G · H or G ! H i® there is a homomorphism from G to H, that is, a map f : V (G) ! V (H) such that hf(x); f(y)i is a directed edge 2 E(H) whenever hx; yi 2 E(G). The relation · is a quasi-order and so it induces an equivalence relation: G and H are homomorphism-equivalent if and only if G · H and H · G. The homomorphism poset D is the partially ordered set of all equivalence classes of ¯nite directed graphs, ordered by ·. In this paper we continue the study of antichain dualities in D (what was started, in this form, in [2]). An antichain duality is a pair hF; Di of disjoint antichains of D such that D = (F!) [ (!D) is a partition of D, where the set F! := fG : F · G for some F 2 Fg, and !D := fG : G · D for some D 2 Dg.
    [Show full text]
  • On Topological Relaxations of Chromatic Conjectures
    European Journal of Combinatorics 31 (2010) 2110–2119 Contents lists available at ScienceDirect European Journal of Combinatorics journal homepage: www.elsevier.com/locate/ejc On topological relaxations of chromatic conjectures Gábor Simonyi a, Ambrus Zsbán b a Alfréd Rényi Institute of Mathematics, Hungarian Academy of Sciences, Hungary b Department of Computer Science and Information Theory, Budapest University of Technology and Economics, Hungary article info a b s t r a c t Article history: There are several famous unsolved conjectures about the chromatic Received 24 February 2010 number that were relaxed and already proven to hold for the Accepted 17 May 2010 fractional chromatic number. We discuss similar relaxations for the Available online 16 July 2010 topological lower bound(s) of the chromatic number. In particular, we prove that such a relaxed version is true for the Behzad–Vizing conjecture and also discuss the conjectures of Hedetniemi and of Hadwiger from this point of view. For the latter, a similar statement was already proven in Simonyi and Tardos (2006) [41], our main concern here is that the so-called odd Hadwiger conjecture looks much more difficult in this respect. We prove that the statement of the odd Hadwiger conjecture holds for large enough Kneser graphs and Schrijver graphs of any fixed chromatic number. ' 2010 Elsevier Ltd. All rights reserved. 1. Introduction There are several hard conjectures about the chromatic number that are still open, while their fractional relaxation is solved, i.e., a similar, but weaker statement is proven for the fractional chromatic number in place of the chromatic number.
    [Show full text]
  • Contemporary Mathematics 352
    CONTEMPORARY MATHEMATICS 352 Graph Colorings Marek Kubale Editor http://dx.doi.org/10.1090/conm/352 Graph Colorings CoNTEMPORARY MATHEMATICS 352 Graph Colorings Marek Kubale Editor American Mathematical Society Providence, Rhode Island Editorial Board Dennis DeTurck, managing editor Andreas Blass Andy R. Magid Michael Vogeli us This work was originally published in Polish by Wydawnictwa Naukowo-Techniczne under the title "Optymalizacja dyskretna. Modele i metody kolorowania graf6w", © 2002 Wydawnictwa N aukowo-Techniczne. The present translation was created under license for the American Mathematical Society and is published by permission. 2000 Mathematics Subject Classification. Primary 05Cl5. Library of Congress Cataloging-in-Publication Data Optymalizacja dyskretna. English. Graph colorings/ Marek Kubale, editor. p. em.- (Contemporary mathematics, ISSN 0271-4132; 352) Includes bibliographical references and index. ISBN 0-8218-3458-4 (acid-free paper) 1. Graph coloring. I. Kubale, Marek, 1946- II. Title. Ill. Contemporary mathematics (American Mathematical Society); v. 352. QA166 .247.06813 2004 5111.5-dc22 2004046151 Copying and reprinting. Material in this book may be reproduced by any means for edu- cational and scientific purposes without fee or permission with the exception of reproduction by services that collect fees for delivery of documents and provided that the customary acknowledg- ment of the source is given. This consent does not extend to other kinds of copying for general distribution, for advertising or promotional purposes, or for resale. Requests for permission for commercial use of material should be addressed to the Acquisitions Department, American Math- ematical Society, 201 Charles Street, Providence, Rhode Island 02904-2294, USA. Requests can also be made by e-mail to reprint-permissien@ams.
    [Show full text]
  • On the Generalized Θ-Number and Related Problems for Highly Symmetric Graphs
    On the generalized #-number and related problems for highly symmetric graphs Lennart Sinjorgo ∗ Renata Sotirov y Abstract This paper is an in-depth analysis of the generalized #-number of a graph. The generalized #-number, #k(G), serves as a bound for both the k-multichromatic number of a graph and the maximum k-colorable subgraph problem. We present various properties of #k(G), such as that the series (#k(G))k is increasing and bounded above by the order of the graph G. We study #k(G) when G is the graph strong, disjunction and Cartesian product of two graphs. We provide closed form expressions for the generalized #-number on several classes of graphs including the Kneser graphs, cycle graphs, strongly regular graphs and orthogonality graphs. Our paper provides bounds on the product and sum of the k-multichromatic number of a graph and its complement graph, as well as lower bounds for the k-multichromatic number on several graph classes including the Hamming and Johnson graphs. Keywords k{multicoloring, k-colorable subgraph problem, generalized #-number, Johnson graphs, Hamming graphs, strongly regular graphs. AMS subject classifications. 90C22, 05C15, 90C35 1 Introduction The k{multicoloring of a graph is to assign k distinct colors to each vertex in the graph such that two adjacent vertices are assigned disjoint sets of colors. The k-multicoloring is also known as k-fold coloring, n-tuple coloring or simply multicoloring. We denote by χk(G) the minimum number of colors needed for a valid k{multicoloring of a graph G, and refer to it as the k-th chromatic number of G or the multichromatic number of G.
    [Show full text]
  • Graph Relations and Constrained Homomorphism Partial Orders (Relationen Von Graphen Und Partialordungen Durch Spezielle Homomorphismen) Long, Yangjing
    Graph Relations and Constrained Homomorphism Partial Orders Der Fakultät für Mathematik und Informatik der Universität Leipzig eingereichte DISSERTATION zur Erlangung des akademischen Grades DOCTOR RERUM NATURALIUM (Dr.rer.nat.) im Fachgebiet Mathematik vorgelegt von Bachelorin Yangjing Long geboren am 08.07.1985 in Hubei (China) arXiv:1404.5334v1 [math.CO] 21 Apr 2014 Leipzig, den 20. März, 2014 献给我挚爱的母亲们！ Acknowledgements My sincere and earnest thanks to my ‘Doktorväter’ Prof. Dr. Peter F. Stadler and Prof. Dr. Jürgen Jost. They introduced me to an interesting project, and have been continuously giving me valuable guidance and support. Thanks to my co-authers Prof. Dr. Jiří Fiala and Prof. Dr. Ling Yang, with whom I have learnt a lot from discussions. I also express my true thanks to Prof. Dr. Jaroslav Nešetřil for the enlightening discussions that led me along the way to research. I would like to express my gratitude to my teacher Prof. Dr. Yaokun Wu, many of my senior fellow apprentice, especially Dr. Frank Bauer and Dr. Marc Hellmuth, who have given me a lot of helpful ideas and advice. Special thanks to Dr. Jan Hubička and Dr. Xianqing Li-jost, not only for their guidance in mathematics and research, but also for their endless care and love—they have made a better and happier me. Many thanks to Dr. Danijela Horak helping with the artwork in this thesis, and also to Dr. Andrew Goodall, Dr. Johannes Rauh, Dr. Chao Xiao, Dr. Steve Chaplick and Mark Jacobs for devoting their time and energy to reading drafts of the thesis and making language corrections.
    [Show full text]
  • Multi-Coloring the Mycielskian of Graphs
    Multi-Coloring the Mycielskian of Graphs Wensong Lin,1 Daphne Der-Fen Liu,2 and Xuding Zhu3,4 1DEPARTMENT OF MATHEMATICS SOUTHEAST UNIVERSITY NANJING 210096, PEOPLE’S REPUBLIC OF CHINA E-mail: [email protected] 2DEPARTMENT OF MATHEMATICS CALIFORNIA STATE UNIVERSITY LOS ANGELES, CALIFORNIA 90032 E-mail: [email protected] 3DEPARTMENT OF APPLIED MATHEMATICS NATIONAL SUN YAT-SEN UNIVERSITY KAOHSIUNG 80424, TAIWAN E-mail: [email protected] 4NATIONAL CENTER FOR THEORETICAL SCIENCES TAIWAN Received June 1, 2007; Revised March 24, 2009 Published online 11 May 2009 in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/jgt.20429 Abstract: A k-fold coloring of a graph is a function that assigns to each vertex a set of k colors, so that the color sets assigned to adjacent Contract grant sponsor: NSFC; Contract grant number: 10671033 (to W.L.); Contract grant sponsor: National Science Foundation; Contract grant number: DMS 0302456 (to D.D.L.); Contract grant sponsor: National Science Council; Contract grant number: NSC95-2115-M-110-013-MY3 (to X.Z.). Journal of Graph Theory ᭧ 2009 Wiley Periodicals, Inc. 311 312 JOURNAL OF GRAPH THEORY vertices are disjoint. The kth chromatic number of a graph G, denoted by k (G), is the minimum total number of colors used in a k-fold coloring of G. Let (G) denote the Mycielskian of G. For any positive integer k,it + ≤ ≤ + holds that k (G) 1 k( (G)) k(G) k (W. Lin, Disc. Math., 308 (2008), 3565–3573). Although both bounds are attainable, it was proved in (Z. Pan, X.
    [Show full text]
  • Counting Subgraphs Via Homomorphisms∗
    Counting Subgraphs via Homomorphisms∗ Omid Aminiy Fedor V. Fominz Saket Saurabhx Abstract We introduce a generic approach for counting subgraphs in a graph. The main idea is to relate counting subgraphs to counting graph homomorphisms. This approach provides new algorithms and unifies several well known results in algorithms and combinatorics includ- ing the recent algorithm of Bj¨orklund,Husfeldt and Koivisto for computing the chromatic polynomial, the classical algorithm of Kohn, Gottlieb, Kohn, and Karp for counting Hamil- tonian cycles, Ryser's formula for counting perfect matchings of a bipartite graph, and color coding based algorithms of Alon, Yuster, and Zwick. By combining our method with known combinatorial bounds, ideas from succinct data structures, partition functions and the color coding technique, we obtain the following new results: • The number of optimal bandwidth permutations of a graph on n vertices excluding n+o(n) a fixed graph as a minor can be computedp in time O(2 ); in particular in time O(2nn3) for trees and in time 2n+O( n) for planar graphs. • Counting all maximum planar subgraphs, subgraphs of bounded genus, or more gen- erally subgraphs excluding a fixed graph M as a minor can be done in 2O(n) time. • Counting all subtrees with a given maximum degree (a generalization of counting Hamiltonian paths) of a given graph can be done in time 2O(n). • A generalization of Ryser's formula: Let G be a graph with an independent set of size `. Then the number of perfect matchings in G can be found in time O(2n−`n3).
    [Show full text]
  • Approximation Algorithms for Graph Homomorphism Problems
    Approximation Algorithms for Graph Homomorphism Problems Michael Langberg?1, Yuval Rabani??2, and Chaitanya Swamy3 1 Dept. of Computer Science, Caltech, Pasadena, CA 91125. [email protected] 2 Computer Science Dept., Technion — Israel Institute of Technology, Haifa 32000, Israel. [email protected] 3 Center for the Mathematics of Information, Caltech, Pasadena, CA 91125. [email protected] Abstract. We introduce the maximum graph homomorphism (MGH) problem: given a graph G, and a target graph H, find a mapping ϕ : VG 7→ VH that maximizes the number of edges of G that are mapped to edges of H. This problem encodes various fundamental NP-hard prob- lems including Maxcut and Max-k-cut. We also consider the multiway uncut problem. We are given a graph G and a set of terminals T ⊆ VG. We want to partition VG into |T | parts, each containing exactly one terminal, so as to maximize the number of edges in EG having both endpoints in the same part. Multiway uncut can be viewed as a special case of prela- 0 beled MGH where one is also given a prelabeling ϕ : U 7→ VH ,U ⊆ VG, and the output has to be an extension of ϕ0. Both MGH and multiway uncut have a trivial 0.5-approximation algo- rithm. We present a 0.8535-approximation algorithm for multiway uncut based on a natural linear programming relaxation. This relaxation has 6 an integrality gap of 7 ' 0.8571, showing that our guarantee is almost 1 tight. For maximum graph homomorphism, we show that a 2 + ε0 - approximation algorithm, for any constant ε0 > 0, implies an algorithm for distinguishing between certain average-case instances of the subgraph isomorphism problem that appear to be hard.
    [Show full text]