Seventh Cologne-Twente Workshop on Graphs and Combinatorial Optimization

Total Page:16

File Type:pdf, Size:1020Kb

Seventh Cologne-Twente Workshop on Graphs and Combinatorial Optimization Seventh Cologne-Twente Workshop on Graphs and Combinatorial Optimization Scientific Program Gargnano, Italy May 13th to 15th, 2008 2 INDEX: List of Corresponding Authors: page 197 List of Participants: page 199 Contributed Papers: Track A Graph theory (I) (A1) page 1 Coloring 1 (A2) page 31 Polyhedra and formulations (A3) page 57 Graph theory (II) (A4) page 87 Coloring 2 (A5) page 117 Graph theory (III) (A6) page 143 Mathematical programming (A7) page 173 Track B Network design (B1) page 15 Graph optimization (I) (B2) page 43 On-line optimization and uncertainty (B3) page 71 Graph optimization (II) (B4) page 103 Routing (B5) page 131 Column generation (B6) page 157 Location (B7) page 185 4 Graph theory (I) Room A, Session 1 Tuesday 13, 10:30-12:00 1 Improving the gap of Erdos-Pósa˝ property for minor-closed graph classes 1 a,2 a,2 b,3, Fedor V. Fomin Saket Saurabh Dimitrios M. Thilikos ∗ aDepartment of Informatics University of Bergen PO Box 7800, 5020 Bergen, Norway bDepartment of Mathematics, University of Athens, Panepistimioupolis, GR-15784 Athens, Greece. Abstract Let and be graph classes. We say that has the Erdos-Pósa˝ property for if for anyH graph GG , the minimum vertex coveringH of all -subgraphs of G is boundedG by a function f ∈of G the maximum packing of -subgraphsH in G (by -subgraph of G we mean any subgraph of G that belongs to ).H In his monograph “GraphH Theory”, R. Diestel proves that if is the class of all graphsH that can be contracted to a fixed planar graph H, then hasH the Erdös-Pósa property for the class of all graphs (with an exponential boundingH function). In this note, we give an alternative proof of this result with a better (still exponential) bounding function. Our proof, for the case when is some non-trivial minor-closed graph class, yields a low degree polynomial bounding functioG n f. In particular f(k)= O(k1.5). Key words: Erdos-Pósa˝ property, treewidth, graph packing, graph covering 1. Introduction Given a graph G we denote by V (G) and E(G) its vertex and edge set respectively. A graph class is called non-trivial if it does not contain all graphs. We use the notation H G to denote that H is a subgraph of G. We say that a graph G is a -subgraph⊆ of a graph G′ if G G′ and G . G ⊆ ∈ G 1 This research has been done while the first two authors were visiting the Department of Mathematics of the National and Kapodistrian University of Athens during October 2007. 2 Supported by the Research Council of Norway. 3 Supported by the Project “Kapodistrias” (AΠ 736/24.3.2006) of the National and Kapodistrian University of Athens (project code: 70/4/8757). CTW08 - Università degli Studi di Milano, Gargnano (Italy), May 13-15 2008 Let be a class of graphs. Given a graph G, we define the covering number of G withH respect to the class as H cover (G) = min k S V (G) H * G S . H { | ∃ ⊆ ∀H∈H 6 − } In other words, coverH(G) k if there is a set of at most k vertices meeting any -subgraph of G. We also define≤ the packing number of G with respect to the class H as H pack (G) = max k a partition V ,...,V of V (G) H { | ∃ 1 k such that H G[V ] . ∀i∈{1,...,k}∃H∈H ⊆ i } Less formally, pack (G) k if G contains k vertex-disjoint -subgraphs. H ≥ H A graph class satisfies the Erdös-Pósa property for some graph class if there is a function f H(depending only on and ) such that, for any graph G G , H G ∈ G pack (G) cover (G) f(pack (G)). (1) H ≤ H ≤ H We say that a graph G can be contracted to H if H can be obtained from G after a series of edge contractions (the contraction of an edge e = (u, v) in G results ′ in a graph G , in which u and v are replaced by a new vertex ve and in which for ′ every neighbour w of u or v in G, there is an edge (w,ve) in G ). We say that H is a minor of G if some subgraph of G can be contracted to H. We say that a graph class is minor-closed if any minor of a graph in is again a member of . We denoteG by (H) the class of graphs that can be contractedG to H. G Theorem 1M (Corollary 12.3.10 and Exercise 39 in [2]) (H) satisfies the Erdös- Pósa property for all graphs if and only if H is a connectedM planar graph. According to the proof of Theorem 1, the bounding function f(k) of Relation (1) is exponential in k. Given a connected planar graph H and a graph class we denote G by f : N N the optimal upper bounding function with the property that, for H,G → any graph G , Relation (1) holds when = (H) (we know that fH,G exists because of Theorem∈ G 1). H M For instance, according to the classic result of Erdös and Pósa [3] if H = K3 and contains all the graphs, then f (k)= O(k log k). However, if we restrict to G H,G · G be a class of planar graphs, then fH,G(k) = O(k) [4]. In this note, we conjecture that this last fact extends when H is any planar graph and when is any non-trivial minor-closed graph class. G Conjecture 2 If is a non-trivial minor-closed graph class, then fH,G is a linear function for any planarG graph H. The purpose of this short note is to prove that the above conjecture holds if we ask for a polynomial bound for fH,G, thereby sharpening the result of Diestel in [2]. 3 2. The main result and the proof Our main result is the following: Theorem 3 Let H be for some planar graph and let be the class of graphs that are contractible to H. Let also be a non-trivial minor-closedH graph class. Then G there is a constant cG,H depending only on and H such that for every graph G , it holds that G ∈ G pack (G) cover (G) c (pack (G))3/2. H ≤ H ≤ G,H · H The proof of Theorem 3 will be the immediate consequence of Lemmata 1 and 2 below. Before we state and prove them, we need first to define the notions of tree decomposition and treewidth. Let G be a graph. A tree decomposition of G is a pair (T, = Xt t∈V (T )) where the following conditions hold. X { } = V (G) • ∪u∈V (T ) e∈E(G) t∈V (T ) : e Xt • ∀ ∃T [ t v X⊆ ] is connected. • ∀v∈V (G) { | ∈ t} The width of a tree decomposition is maxt∈V (T ) X 1 and the treewidth of G is the minimum width over all the tree decompositions| | of− G. Our first observation is the following. Lemma 1 Let H be a connected planar graph and let = (H). Let also be H M G a non-trivial minor closed graph class. Then, there is a constant cG,H , depending only on and H such that for any graph G, tw(G) c (pack (G))1/2. G ≤ G,H · H Proof. Let k = packM(H)(G). During this proof, for any positive integer t we will denote by Γ the (t t)-grid. Let t × c = min r H is a minor of the (r r)-grid H { | × } and notice that if m = k1/2 + 1, then pack (Γ ) > k. We conclude that G ⌈ ⌉ M(H) m·cH does not contain Γm·cH as a minor. From the main result in [1], there is a constant c depending only on such that tw(G) c m c and the lemma follows. G G ≤ G · · H For the proof of the next Lemma, we will enhance the definition of a tree decom- position (T, ) as follows: T is a tree rooted on some node r where Xr = , each of its nodes haveX at most two children and can be one of the following ∅ ′ (1) Introduce node: a node t that has only one child t where Xt Xt′ and such that t′ is not an introuce node. ⊃ ′ (2) Forget node: a node t that has only one child t where Xt Xt′ and such that t′ is not a forget node. ⊂ (3) Join node: a node t with two children t1 and t2 such that Xt = Xt1 = Xt2 . 4 (4) Base node: a node t that is a leaf of t, is different than the root and X = . t ∅ Notice that, according the the above definitions, the root r of T is either a forget or a join node. It is easy to see that any tree decomposition can be transformed to one with the above requirements while maintaining the same width. From now one when we refer to a tree decomposition (T, ) we will presume the above require- ments. X Given a tree decomposition (T, ) and some node t of T , we define as T the X t subtree of T rooted on t. Clearly, if r is the root of T , it holds that Tr = T . We also − define Gt = G[ s∈V (Tt)Xs] and Gt = Gt Xt. Lemma 2 Let H∪ be a connected planar graph− and let = (H). Then for any graph G, it holds that cover (G) (tw(G)+1) packH(G).M H ≤ · H Proof.
Recommended publications
  • A Brief History of Edge-Colorings — with Personal Reminiscences
    Discrete Mathematics Letters Discrete Math. Lett. 6 (2021) 38–46 www.dmlett.com DOI: 10.47443/dml.2021.s105 Review Article A brief history of edge-colorings – with personal reminiscences∗ Bjarne Toft1;y, Robin Wilson2;3 1Department of Mathematics and Computer Science, University of Southern Denmark, Odense, Denmark 2Department of Mathematics and Statistics, Open University, Walton Hall, Milton Keynes, UK 3Department of Mathematics, London School of Economics and Political Science, London, UK (Received: 9 June 2020. Accepted: 27 June 2020. Published online: 11 March 2021.) c 2021 the authors. This is an open access article under the CC BY (International 4.0) license (www.creativecommons.org/licenses/by/4.0/). Abstract In this article we survey some important milestones in the history of edge-colorings of graphs, from the earliest contributions of Peter Guthrie Tait and Denes´ Konig¨ to very recent work. Keywords: edge-coloring; graph theory history; Frank Harary. 2020 Mathematics Subject Classification: 01A60, 05-03, 05C15. 1. Introduction We begin with some basic remarks. If G is a graph, then its chromatic index or edge-chromatic number χ0(G) is the smallest number of colors needed to color its edges so that adjacent edges (those with a vertex in common) are colored differently; for 0 0 0 example, if G is an even cycle then χ (G) = 2, and if G is an odd cycle then χ (G) = 3. For complete graphs, χ (Kn) = n−1 if 0 0 n is even and χ (Kn) = n if n is odd, and for complete bipartite graphs, χ (Kr;s) = max(r; s).
    [Show full text]
  • Cliques, Degrees, and Coloring: Expanding the Ω, ∆, Χ Paradigm
    Cliques, Degrees, and Coloring: Expanding the !; ∆; χ paradigm by Thomas Kelly A thesis presented to the University of Waterloo in fulfillment of the thesis requirement for the degree of Doctor of Philosophy in Combinatorics & Optimization Waterloo, Ontario, Canada, 2019 c Thomas Kelly 2019 Examining Committee Membership The following served on the Examining Committee for this thesis. The decision of the Examining Committee is by majority vote. External Examiner: Alexandr Kostochka Professor, Dept. of Mathematics, University of Illinois at Urbana-Champaign. Supervisor: Luke Postle Associate Professor, Dept. of Combinatorics & Optimization, University of Waterloo. Internal Members: Penny Haxell Professor, Dept. of Combinatorics & Optimization, University of Waterloo. Jim Geelen Professor, Dept. of Combinatorics & Optimization, University of Waterloo. Internal-External Member: Lap Chi Lau Associate Professor, Cheriton School of Computer Science, University of Waterloo. ii I hereby declare that I am the sole author of this thesis. This is a true copy of the thesis, including any required final revisions, as accepted by my examiners. I understand that my thesis may be made electronically available to the public. iii Abstract Many of the most celebrated and influential results in graph coloring, such as Brooks' Theorem and Vizing's Theorem, relate a graph's chromatic number to its clique number or maximum degree. Currently, several of the most important and enticing open problems in coloring, such as Reed's !; ∆; χ Conjecture, follow this theme. This thesis both broadens and deepens this classical paradigm. In PartI, we tackle list-coloring problems in which the number of colors available to each vertex v depends on its degree, denoted d(v), and the size of the largest clique containing it, denoted !(v).
    [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]
  • Bidirected Graph from Wikipedia, the Free Encyclopedia Contents
    Bidirected graph From Wikipedia, the free encyclopedia Contents 1 Bidirected graph 1 1.1 Other meanings ............................................ 1 1.2 See also ................................................ 2 1.3 References ............................................... 2 2 Bipartite double cover 3 2.1 Construction .............................................. 3 2.2 Examples ............................................... 3 2.3 Matrix interpretation ......................................... 4 2.4 Properties ............................................... 4 2.5 Other double covers .......................................... 4 2.6 See also ................................................ 5 2.7 Notes ................................................. 5 2.8 References ............................................... 5 2.9 External links ............................................. 6 3 Complex question 7 3.1 Implication by question ........................................ 7 3.2 Complex question fallacy ....................................... 7 3.2.1 Similar questions and fallacies ................................ 8 3.3 Notes ................................................. 8 4 Directed graph 10 4.1 Basic terminology ........................................... 11 4.2 Indegree and outdegree ........................................ 11 4.3 Degree sequence ............................................ 12 4.4 Digraph connectivity .......................................... 12 4.5 Classes of digraphs .........................................
    [Show full text]
  • Some Coloring Problems of Graphs Renyu Xu
    Some coloring problems of graphs Renyu Xu To cite this version: Renyu Xu. Some coloring problems of graphs. Discrete Mathematics [cs.DM]. Université Paris Saclay (COmUE); Shandong University (Jinan, Chine), 2017. English. NNT : 2017SACLS104. tel- 01561631 HAL Id: tel-01561631 https://tel.archives-ouvertes.fr/tel-01561631 Submitted on 13 Jul 2017 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. 2017SACLS104 THÈSE DE DOCTORAT DE SHANDONG UNIVERSITY ET DE L’UNIVERSITÉ PARIS-SACLAY PRÉPARÉE À L’UNIVERSITÉ PARIS-SUD ÉCOLE DOCTORALE N°580 Sciences et technologies de l’information et de la communication GRADUATE SCHOOL of Mathematics Spécialité Informatique Par Mme Renyu Xu Quelques problèmes de coloration du graphe Thèse présentée et soutenue à Jinan, le 27 Mai 2017 : Composition du Jury : M. Hongjian Lai, Professeur, West Virginia University, Présidente du Jury Mme Lianying Miao, Professeure, China University of Mining and Technology, Rapporteur Mme Yinghong Ma, Professeure, Shandong Normal University, Rapporteur M. Evripidis Bampis, Professeur, Université Paris VI, Rapporteur Mme Michèle Sebag, Directrice de Recherche CNRS, Examinatrice M. Yannis Manoussakis, Professeur, Directeur de thèse M. Jianliang Wu, Professeur, CoDirecteur de thèse Contents Abstract iii Re´sume´(Abstract in French) vii Symbol Description xiii Chapter 1 Introduction 1 1.1 Basic Definitions and Notations .
    [Show full text]
  • Arxiv:1812.05833V1 [Math.CO] 14 Dec 2018 Total Colorings-A Survey
    Total Colorings-A Survey J. Geetha1, Narayanan. N2, and K. Somasundaram1 1Department of Mathematics, Amrita School of Engineering-Coimbatore, Amrita Vishwa Vidyapeetham, India. 2Department of Mathematics, Indian Institute of Technology Madras, Chennai, India. Abstract: The smallest integer k needed for the assignment of colors to the elements so that the coloring is proper (vertices and edges) is called the total chromatic number of a graph. Vizing [86] and Behzed [4, 5] conjectured that the total coloring can be done using at most ∆(G) + 2 colors, where ∆(G) is the maximum degree of G. It is not settled even for planar graphs. In this paper we give a survey on total coloring of graphs. 1 Introduction Let G be a simple graph with vertex set V (G) and edge set E(G). An element of G is a vertex or an edge of G. The total coloring of a graph G is an assignment of colors to the vertices and edges such that no two incident or adjacent elements receive the same color. The total chromatic number of G, denoted by χ′′(G), is the least number of colors required for a total coloring. Clearly, χ′′(G) ∆(G) + 1, where ∆(G) is the maximum degree of G. Behzed [4, 5] and Vizing [86] independently≥ posed a conjecture called Total Coloring Conjecture (TCC) which states that for any simple graph G, the total chromatic number is either ∆(G)+1 or ∆(G) + 2. In [67], Molly and Reed gave a probabilistic approach to prove 26 arXiv:1812.05833v1 [math.CO] 14 Dec 2018 that for sufficiently large ∆(G), the total chromatic number is at most ∆(G)+10 .
    [Show full text]
  • Graph Coloring
    Graph coloring depends on the number of colors but not on what they are. Graph coloring enjoys many practical applications as well as theoretical challenges. Beside the classical types of problems, different limitations can also be set on the graph, or on the way a color is assigned, or even on the color itself. It has even reached popularity with the gen- eral public in the form of the popular number puzzle Sudoku. Graph coloring is still a very active field of re- search. Note: Many terms used in this article are defined in Glossary of graph theory. 1 History See also: History of the four color theorem and History of graph theory A proper vertex coloring of the Petersen graph with 3 colors, the minimum number possible. The first results about graph coloring deal almost exclu- In graph theory, graph coloring is a special case of graph sively with planar graphs in the form of the coloring of labeling; it is an assignment of labels traditionally called maps. While trying to color a map of the counties of “colors” to elements of a graph subject to certain con- England, Francis Guthrie postulated the four color con- straints. In its simplest form, it is a way of coloring the jecture, noting that four colors were sufficient to color vertices of a graph such that no two adjacent vertices the map so that no regions sharing a common border re- share the same color; this is called a vertex coloring. ceived the same color. Guthrie’s brother passed on the Similarly, an edge coloring assigns a color to each edge question to his mathematics teacher Augustus de Mor- so that no two adjacent edges share the same color, and gan at University College, who mentioned it in a letter a face coloring of a planar graph assigns a color to each to William Hamilton in 1852.
    [Show full text]
  • Subject Index to Volumes 1–75
    Information Processing Letters 78 (2001) 5–336 Subject Index to Volumes 1–75 The numbers mentioned in this Subject Index refer to the Reference List of Indexed Articles (pp. 337–448 of this issue). 0, 1 semaphore, 470 1NPDA, 894 0, 1 sequence, 768 1T-NPDA, 1065 (0, 1)-CVP, 2395 1T-NPDA(1), 1065 (0, 1)-matrix, 2395, 2462, 2588, 3550 1T-NPDA(k), 1065 (0, 2)-graph, 583 1-approximation algorithm, 3109 0/1 knapsack problem, 2404, 2529 1-bounded conflict free Petri net, 2154, 2369 0L 1-center, 3000 language, 47, 2665 1-colourable, 2299 scheme, 940 1-conservative Petri net, 2253 system, 47, 940 1-copy serializability, 3001 systems, 297 1-dimensional space, 281 0L-D0L equivalence problem, 456 1-DNF consistent with a positive sample, 3856 0-1 1-edge fault tolerant, 3467 integer programming, 3597 1-EFT graph, 3467 law, 3232, 3276 1-EFT(G), 3467 linear programming, 1533 graph, 3467 matrix, see (0, 1)-matrix 1-enabled, 67 polynomial, 436 1-factor, 234 programming, 216 1-fault tolerant design, 3997 resource, 648 for token rings, 3997 0-capacity channel, 2055 1-Hamiltonian, 3997 0-dimensional object, 281 graph, 3675, 3997 0.5-bounded, 2404 1-inkdot Turing machine, 2473, 2752 greedy algorithm, 2404, 2529 1-MFA, 2063 (1, 0)/(1, 1) ms precedence form, 955 1-neighborhood chordal, 3703 (1, 1)-disjoint Boolean sums, 3711 1-persistent protocol, 2487 (1, 1)-method, 26 1-resilient symmetric function, 2677 1ACMP-(k, i), 1139 1-restricted ETOL system, 778 1DFA, 663 1-SDR, 510 1DFA(3), 1371 problem, 510 1DFA(k), 1371 1-sided error logspace polynomial expected time, 1DPDA, 1103 2616 1GDSAFA, 2038 1-spiral polygon, 2939 1NFA, 663, 1065 1-vertex ranking, 3217 1NFA(2), 1065 1-way checking stack automaton language, 144 1NFA(k), 1065 1-width, 3658 0020-0190/2001 Published by Elsevier Science B.V.
    [Show full text]
  • A Study of the Total Coloring of Graphs
    University of Louisville ThinkIR: The University of Louisville's Institutional Repository Electronic Theses and Dissertations 12-2012 A study of the total coloring of graphs. Maxfield dwinE Leidner University of Louisville Follow this and additional works at: https://ir.library.louisville.edu/etd Recommended Citation Leidner, Maxfield dwin,E "A study of the total coloring of graphs." (2012). Electronic Theses and Dissertations. Paper 815. https://doi.org/10.18297/etd/815 This Doctoral Dissertation is brought to you for free and open access by ThinkIR: The University of Louisville's Institutional Repository. It has been accepted for inclusion in Electronic Theses and Dissertations by an authorized administrator of ThinkIR: The University of Louisville's Institutional Repository. This title appears here courtesy of the author, who has retained all other copyrights. For more information, please contact [email protected]. A STUDY OF THE TOTAL COLORING OF GRAPHS By Maxfield Edwin Leidner B.S., University of Louisville, 2006 M.A., University of Louisville, 2010 A Dissertation Submitted to the Faculty of the College of Arts and Sciences of the University of Louisville in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy Department of Mathematics University of Louisville Louisville, KY December 2012 A STUDY OF THE TOTAL COLORING OF GRAPHS Submitted by Maxfield Edwin Leidner A Dissertation Approved on November 20, 2012 (Date) by the Following Reading and Examination Committee: Grzegorz Kubicki, Dissertation Director Ewa Kubicka André E. Kézdy David Wildstrom Rammohan K. Ragade ii ACKNOWLEDGEMENTS I have three people to thank for getting me interested in graph theory.
    [Show full text]