DOCSLIB.ORG

Three Years of Graphs and Music: Some Results in Graph Theory and Its

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Three Years of Graphs and Music: Some Results in Graph Theory and Its Three years of graphs and music : some results in graph theory and its applications Nathann Cohen To cite this version: Nathann Cohen. Three years of graphs and music : some results in graph theory and its applications. Discrete Mathematics [cs.DM]. Université Nice Sophia Antipolis, 2011. English. tel-00645151 HAL Id: tel-00645151 https://tel.archives-ouvertes.fr/tel-00645151 Submitted on 26 Nov 2011 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. UNIVERSITE´ DE NICE-SOPHIA ANTIPOLIS - UFR SCIENCES ECOLE´ DOCTORALE STIC SCIENCES ET TECHNOLOGIES DE L’INFORMATION ET DE LA COMMUNICATION TH ESE` pour obtenir le titre de Docteur en Sciences de l’Universite´ de Nice - Sophia Antipolis Mention : INFORMATIQUE Present´ ee´ et soutenue par Nathann COHEN Three years of graphs and music Some results in graph theory and its applications These` dirigee´ par Fred´ eric´ HAVET prepar´ ee´ dans le Projet MASCOTTE, I3S (CNRS/UNS)-INRIA soutenue le 20 octobre 2011 Rapporteurs : Jørgen BANG-JENSEN - Professor University of Southern Denmark, Odense Daniel KRAL´ ’ - Associate Professor, Charles University, Prague Andras´ SEBO˝ - Directeur de Recherches, G-SCOP Laboratory, Grenoble Directeur : Fred´ eric´ HAVET - Charge´ de Recherches, Mascotte, Sophia-Antipolis Examinateurs : Stephane´ BESSY - Maitre de Conferences,´ LIRMM, Montpellier Victor CHEPOI - Professeur, Universite´ de la Mediterranee,´ Luminy Ioan TODINCA - Professeur, LIFO, Universite´ d’Orleans´ Invite´ : Stephane´ PERENNES - Directeur de Recherches, Mascotte, Sophia-Antipolis 2 Three years of graphs and music Some results in graph theory and its applications Nathann Cohen 20 october 2011 2 Contents A few words 6 Pretty conjectures . 9 0 Coloring-oriented introduction to Graph Theory 11 0.1 Several graphs we will need . 12 0.2 Graph Coloring . 13 0.2.1 χ(G) seen from other parameters . 15 Maximum degree ∆(G) ............................ 16 Maximum clique ω(G) ............................. 17 Girth g(G) ................................... 18 Fractional Chromatic number χf (G) ..................... 19 0.3 Choosability . 20 0.3.1 Definition . 20 Bipartite graphs . 21 Certificates . 22 0.3.2 Nullstellensatz - Alon Tarsi - Bipartite graphs . 22 Choosability through the Nullstellensatz . 23 Bipartite Graphs . 24 A game version of choosability . 24 0.4 Edge coloring . 25 Vizing’s theorem . 26 Fractional Chromatic Index . 26 Obstructions - Overfull subgraphs . 27 Kempe chains . 28 Vizing’s theorem – Proof (Diestel’s Algorithm) . 28 List coloring conjecture . 29 Galvin’s proof for bipartite graphs – Choosability by kernels . 30 0.5 Planar graphs . 31 0.5.1 Maximum Average Degree . 32 Algorithmically . 33 Computing the maximum average degree by Linear Programming . 34 0.5.2 Girth . 35 0.5.3 Discharging . 35 3 4 CONTENTS 1 Acyclicity and colorings of planar graphs 37 1.1 Proper coloring . 37 1.2 Acyclicity . 39 Acyclic vertex coloring . 40 Acyclic edge coloring . 40 The 16∆ bound and the Local Lemma . 41 Actual computation . 43 1.2.1 Linear arboricity . 43 The intersection of three matroids . 44 1.2.2 Acyclic edge coloring of planar graphs . 46 1.2.3 Linear and 2-frugal choosability in graphs of small maximum average degree 47 2 Graph and Hypergraph decomposition 49 2.1 Arboricity in hypergraphs . 51 2.2 Induced decompositions . 55 2.2.1 Induced 2K2-decomposition of dense graphs . 56 2.2.2 Induced decomposition of dense graphs (second construction) . 57 2.2.3 Induced decompositions of dense graphs into small graphs H . 57 2.2.4 Enlarging our family of dense graphs . 59 2.2.5 Induced H-decompositions of dense graphs . 60 Using Frankl and Rodl’s¨ lemma . 61 3 Algorithms 63 3.1 Subgraph detection using color coding . 63 3.1.1 Color coding . 63 Derandomization – covering arrays . 64 3.1.2 FPT Complexity . 65 3.2 Reconfiguration problem . 66 Dependency digraph – second formulation . 67 Finding good reconfiguration orderings . 68 3.3 Good edge Labelling . 68 4 Wiener and Zagreb indices in chemical graphs 71 5 Applied theoretical research – Sage 75 5.1 Several new LP formulation of optimization problems . 78 Longest path . 80 Traveling Salesman Problem . 80 Steiner Tree . 80 Minor Testing . 80 Edge-disjoint spanning tree . 81 Linear arboricity . 81 Acyclic edge coloring . 81 CONTENTS 5 6 Appendices 83 Mixed Integer Linear Program formulations . 83 Acyclic edge-coloring of planar graphs . 91 Linear and 2-frugal choosability of graphs of small maximum average degree . 110 Planar graphs with maximum degree ∆ 9 are (∆ + 1)-edge-choosable – short proof . 125 ≥ The α-arboricity of complete uniform hypergraphs . 129 Algorithm for Finding k-Vertex Out-trees and its Application to k-Internal Out-branching Problem . 142 Tradeoffs in process strategy games with application in the WDM reconfiguration problem 161 Good Edge-Labelling of Graphs . 185 Graph Classes (Dis)satisfying the Zagreb Indices Inequality . 206 On Wiener index of graphs and their line graphs . 219 A note on Zagreb indices inequality for trees and unicyclic graphs . 230 Nomenclature 235 6 CONTENTS A few words This thesis is about three years happily spent playing with graphs, walking absentmindedly in cor- ridors or standing in front a whiteboard, while whistling or listening to music. It contains results obtained with several coauthors, as well as many of the elegant and more classical results I met reading books or papers, which to my sense gave a wider understanding of the problems presented. It has for background the laboratory of the MASCOTTE team set up by Jean-Claude Bermond and now headed by David Coudert, its offices whose doors open on whiteboards covered with neat and well-thought formulas – or hasty drawings depending on the character of the inhabitants – and its collection of open problems on which all of us have once tried our luck. I owe the time I spent on graph coloring to my advisor Fred´ eric´ Havet, on problems of hypergraphs to Jean-Claude Bermond, and the mixture of flows, graph decompositions and linear programming that helped me all along is definitely MASCOTTE’s own tune. I have met in Sophia-Antipolis and elsewhere quantity of people who never hesitated to sit down and think whenever a question was asked, for the sheer pleasure of doing so. I thank them all whole- heartedly, and in particular Stephane Perennes who, unbeknownst to him, probably taught me all I know of graphs today by mixing together in the same sentences the most remote notions, legitimately “confusing” one word with another, leaving to me to notice days later that “indeed, in this context replacing the natural notion with this apprently unrelated one was the best way to look at the problem at hand”. Because I regularly contributed to the math software Sage [145] during the last two years, I also found a place inside of a much wider family of mathematicians, sticking together for their interest in translating into algorithms the words of mathematical theory. It probably would have taken me much longer, if not for them, to notice how deeply mathematics is an experimental science, and I can but wonder at how much I would have missed if not for those nights spent implementing, fixing, testing and rewriting many of the most elementary algorithms graph theory has to offer, and that I wrongly assumed I had understood before explaining them to a computer. My fellow Sage developpers I want to thank for their energy, for their infinite enthusiasm, for the discussions at any time of day or night thanks the timezones they cover, and for constantly daring me to work on the whole spectrum of mathematics at the same time. Hence, I am largely indebted to my coauthors from here and abroad, and to all of the genuinely curious people I have had the pleasure to work with along the years. Let me also thank Jørgen Bang- Jensen, Daniel Kral` and Andras´ Sebo˝ who kindly accepted to read this manuscript as well as Stephane´ Bessy, Victor Chepoi, and Ioan Todinca who were in my jury. Oh. And because I never miss an occasion to advertise good books – especially when it is out of place – let me mention many names that were always around during those three years of graphs and music : Alessandro Barricco, Carlos Castaneda, Michel Foucault, Allen Ginsberg, Hermann 7 8 CONTENTS Hesse, Jack Kerouac, Milan Kundera, Robert Pirsig, Henry-David Thoreau (Walden), Oscar Wilde, and Stefan Zweig. Just yesterday I finished “The Island” from Aldous Huxley, which was a fantasic read too. I can find no words for my mother, who by now is aware that the largest part of everything I do she taught me herself. Nathann CONTENTS 9 Pretty conjectures On this page are presented four conjectures which, along with many unsolved others represent the largest part of the time I spent working during those three years of Ph.D. Though these do not appear in the following pages, open questions are in many respects much more interesting that known results. As they taught me much and are, after all, probably the best of what I learned during all these years, it would have been terribly ungrateful not to give them some space in this document. Chvatal’s´ conjecture This conjecture first appeared in 1974 in an article from Vasekˇ Chvatal´ [48]. Given a hereditary Set System, i.e. a family of sets 2X such that S any subset of F ⊆ ∀ ∈ F S is also an element of , one obtains an intersecting family (i.e.
Load more

Recommended publications
  • The Hadwiger Number, Chordal Graphs and Ab-Perfection Arxiv
    The Hadwiger number, chordal graphs and ab-perfection∗ Christian Rubio-Montiel [email protected] Instituto de Matem´aticas, Universidad Nacional Aut´onomade M´exico, 04510, Mexico City, Mexico Department of Algebra, Comenius University, 84248, Bratislava, Slovakia October 2, 2018 Abstract A graph is chordal if every induced cycle has three vertices. The Hadwiger number is the order of the largest complete minor of a graph. We characterize the chordal graphs in terms of the Hadwiger number and we also characterize the families of graphs such that for each induced subgraph H, (1) the Hadwiger number of H is equal to the maximum clique order of H, (2) the Hadwiger number of H is equal to the achromatic number of H, (3) the b-chromatic number is equal to the pseudoachromatic number, (4) the pseudo-b-chromatic number is equal to the pseudoachromatic number, (5) the arXiv:1701.08417v1 [math.CO] 29 Jan 2017 Hadwiger number of H is equal to the Grundy number of H, and (6) the b-chromatic number is equal to the pseudo-Grundy number. Keywords: Complete colorings, perfect graphs, forbidden graphs characterization. 2010 Mathematics Subject Classification: 05C17; 05C15; 05C83. ∗Research partially supported by CONACyT-Mexico, Grants 178395, 166306; PAPIIT-Mexico, Grant IN104915; a Postdoctoral fellowship of CONACyT-Mexico; and the National scholarship programme of the Slovak republic. 1 1 Introduction Let G be a finite graph. A k-coloring of G is a surjective function & that assigns a number from the set [k] := 1; : : : ; k to each vertex of G.A k-coloring & of G is called proper if any two adjacent verticesf haveg different colors, and & is called complete if for each pair of different colors i; j [k] there exists an edge xy E(G) such that x &−1(i) and y &−1(j).
    [Show full text]
  • Building a Larger Class of Graphs for Efficient Reconfiguration
    Building a larger class of graphs for efficient reconfiguration of vertex colouring by Owen Merkel A thesis presented to the University of Waterloo in fulfillment of the thesis requirement for the degree of Master of Mathematics in Computer Science Waterloo, Ontario, Canada, 2020 c Owen Merkel 2020 This thesis consists of material all of which I authored or co-authored: see Statement of Contributions included in the 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. ii Statement of Contributions Owen Merkel is the sole author of Chapters 1, 2, 3, and 6 which were written under the supervision of Prof. Therese Biedl and Prof. Anna Lubiw and were not written for publication. Exceptions to sole authorship are Chapters 4 and 5, which is joint work with Prof. Therese Biedl and Prof. Anna Lubiw and consists in part of a manuscript written for publication. iii Abstract A k-colouring of a graph G is an assignment of at most k colours to the vertices of G so that adjacent vertices are assigned different colours. The reconfiguration graph of the k-colourings, Rk(G), is the graph whose vertices are the k-colourings of G and two colourings are joined by an edge in Rk(G) if they differ in colour on exactly one vertex. For a k-colourable graph G, we investigate the connectivity and diameter of Rk+1(G). It is known that not all weakly chordal graphs have the property that Rk+1(G) is connected.
    [Show full text]
  • The Algebra of Projective Spheres on Plane, Sphere and Hemisphere
    Journal of Applied Mathematics and Physics, 2020, 8, 2286-2333 https://www.scirp.org/journal/jamp ISSN Online: 2327-4379 ISSN Print: 2327-4352 The Algebra of Projective Spheres on Plane, Sphere and Hemisphere István Lénárt Eötvös Loránd University, Budapest, Hungary How to cite this paper: Lénárt, I. (2020) Abstract The Algebra of Projective Spheres on Plane, Sphere and Hemisphere. Journal of Applied Numerous authors studied polarities in incidence structures or algebrization Mathematics and Physics, 8, 2286-2333. of projective geometry [1] [2]. The purpose of the present work is to establish https://doi.org/10.4236/jamp.2020.810171 an algebraic system based on elementary concepts of spherical geometry, ex- tended to hyperbolic and plane geometry. The guiding principle is: “The Received: July 17, 2020 Accepted: October 27, 2020 point and the straight line are one and the same”. Points and straight lines are Published: October 30, 2020 not treated as dual elements in two separate sets, but identical elements with- in a single set endowed with a binary operation and appropriate axioms. It Copyright © 2020 by author(s) and consists of three sections. In Section 1 I build an algebraic system based on Scientific Research Publishing Inc. This work is licensed under the Creative spherical constructions with two axioms: ab= ba and (ab)( ac) = a , pro- Commons Attribution International viding finite and infinite models and proving classical theorems that are License (CC BY 4.0). adapted to the new system. In Section Two I arrange hyperbolic points and http://creativecommons.org/licenses/by/4.0/ straight lines into a model of a projective sphere, show the connection be- Open Access tween the spherical Napier pentagram and the hyperbolic Napier pentagon, and describe new synthetic and trigonometric findings between spherical and hyperbolic geometry.
    [Show full text]
  • Results on the Grundy Chromatic Number of Graphs Manouchehr Zaker
    Discrete Mathematics 306 (2006) 3166–3173 www.elsevier.com/locate/disc Results on the Grundy chromatic number of graphs Manouchehr Zaker Institute for Advanced Studies in Basic Sciences, 45195-1159 Zanjan, Iran Received 7 November 2003; received in revised form 22 June 2005; accepted 22 June 2005 Available online 7 August 2006 Abstract Given a graph G,byaGrundy k-coloring of G we mean any proper k-vertex coloring of G such that for each two colors i and j, i<j, every vertex of G colored by j has a neighbor with color i. The maximum k for which there exists a Grundy k-coloring is denoted by (G) and called Grundy (chromatic) number of G. We first discuss the fixed-parameter complexity of determining (G)k, for any fixed integer k and show that it is a polynomial time problem. But in general, Grundy number is an NP-complete problem. We show that it is NP-complete even for the complement of bipartite graphs and describe the Grundy number of these graphs in terms of the minimum edge dominating number of their complements. Next we obtain some additive Nordhaus–Gaddum-type inequalities concerning (G) and (Gc), for a few family of graphs. We introduce well-colored graphs, which are graphs G for which applying every greedy coloring results in a coloring of G with (G) colors. Equivalently G is well colored if (G) = (G). We prove that the recognition problem of well-colored graphs is a coNP-complete problem. © 2006 Elsevier B.V. All rights reserved. Keywords: Colorings; Chromatic number; Grundy number; First-fit colorings; NP-complete; Edge dominating sets 1.
    [Show full text]
  • The Edge Grundy Numbers of Some Graphs
    b b International Journal of Mathematics and M Computer Science, 12(2017), no. 1, 13–26 CS The Edge Grundy Numbers of Some Graphs Loren Anderson1, Matthew DeVilbiss2, Sarah Holliday3, Peter Johnson4, Anna Kite5, Ryan Matzke6, Jessica McDonald4 1School of Mathematics University of Minnesota Twin Cities Minneapolis, MN 55455, USA 2Department of Mathematics, Statistics, and Computer Science University of Illinois at Chicago Chicago, IL 60607-7045, USA 3Department of Mathematics Kennesaw State University Kennesaw, GA 30144, USA 4Department of Mathematics and Statistics Auburn University Auburn, AL 36849, USA 5Department of Mathematics Wayland Baptist University Plainview, TX 79072, USA 6Department of Mathematics Gettysburg College Gettysburg, PA 17325, USA email: [email protected], [email protected], [email protected], [email protected], [email protected], [email protected] (Received October 27, 2016, Accepted November 19, 2016) Key words and phrases: Grundy coloring, edge Grundy coloring, line graph, grid. AMS (MOS) Subject Classifications: 05C15. This research was supported by NSF grant no. 1262930. ISSN 1814-0432, 2017 http://ijmcs.future-in-tech.net 14 Anderson, DeVilbiss, Holliday, Johnson, Kite, Matzke, McDonald Abstract The edge Grundy numbers of graphs in a number of different classes are determined, notably for the complete and the complete bipartite graphs, as well as for the Petersen graph, the grids, and the cubes. Except for small-graph exceptions, these edge Grundy numbers turn out to equal a natural upper bound of the edge Grundy number, or to be one less than that bound. 1 Grundy colorings and Grundy numbers A Grundy coloring of a (finite simple) graph G is a proper coloring of the vertices of G with positive integers with the property that if v ∈ V (G) is colored with c > 1, then all the colors 1,...,c − 1 appear on neighbors of v.
    [Show full text]
  • Lower Bounds for the Partial Grundy Number of the Lexicographic Product of Graphs
    Lower Bounds for the Partial Grundy Number of the Lexicographic Product of Graphs Kenny Domingues , Yuri Silva de Oliveira , Ana Silva 1ParGO Group - Parallelism, Graphs and Optimization Centro de Ciências - Departamento de Matemática Universidade Federal do Ceará (UFC) fkennywille,[email protected], [email protected] Abstract. A Grundy coloring of a graph G is a coloring obtained by applying the greedy algorithm according to some order of the vertices of G. The Grundy number of G is then the largest k such that G has a greedy coloring with k colors. A partial Grundy coloring is a coloring where each color class contains at least one greedily colored vertex, and the partial Grundy number of G is the largest k for which G has a partial greedy coloring. In this article, we give some results on the partial Grundy number of the lexicographic product of graphs, drawing a parallel with known results for the Grundy number. 1. Introduction The definitions and notations used in this paper are standard and can be found in any graph theory book. Also, we consider only simple graphs. Graph coloring problems are perhaps the most studied problems in graph theory, due to their practical and theoretical importance. A independent set in a graph G is a subset S ⊆ V (G) such that uv2 = E(G) for every u; v 2 S.A proper k-coloring (from now on called simply a coloring) of a graph G is a partition of V (G) into k independent sets, and the chromatic number of G is the minimum value χ(G) for which G has a proper k-coloring.
    [Show full text]
  • 1. Math Olympiad Dark Arts
    Preface In A Mathematical Olympiad Primer , Geoff Smith described the technique of inversion as a ‘dark art’. It is difficult to define precisely what is meant by this phrase, although a suitable definition is ‘an advanced technique, which can offer considerable advantage in solving certain problems’. These ideas are not usually taught in schools, mainstream olympiad textbooks or even IMO training camps. One case example is projective geometry, which does not feature in great detail in either Plane Euclidean Geometry or Crossing the Bridge , two of the most comprehensive and respected British olympiad geometry books. In this volume, I have attempted to amass an arsenal of the more obscure and interesting techniques for problem solving, together with a plethora of problems (from various sources, including many of the extant mathematical olympiads) for you to practice these techniques in conjunction with your own problem-solving abilities. Indeed, the majority of theorems are left as exercises to the reader, with solutions included at the end of each chapter. Each problem should take between 1 and 90 minutes, depending on the difficulty. The book is not exclusively aimed at contestants in mathematical olympiads; it is hoped that anyone sufficiently interested would find this an enjoyable and informative read. All areas of mathematics are interconnected, so some chapters build on ideas explored in earlier chapters. However, in order to make this book intelligible, it was necessary to order them in such a way that no knowledge is required of ideas explored in later chapters! Hence, there is what is known as a partial order imposed on the book.
    [Show full text]
  • The Complexity of Grundy Coloring and Its Variants
    Introduction Grundy Coloring Weak Grundy Coloring Connected Grundy Coloring The Complexity of Grundy Coloring and its Variants Joint work with Florent Foucaud, Eun Jung Kim, and Florian Sikora Institute for Computer Science and Control, Hungarian Academy of Sciences, Budapest, Hungary (MTA SZTAKI) FPT seminar of October 7, 2015 AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA I Order the vertices v1, v2,..., vn to #colors used by the coloring. I Greedy coloring: vi gets the first color c(vi ) that does not appear in its neighborhood. I Connected version: ∀i, G[v1 ∪ ... ∪ vi ] is connected. I Weak version: vi can be colored with any color 6 c(vi ). AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA Grundy number Γ(G), connected/weak Grundy number Introduction Grundy Coloring Weak Grundy Coloring Connected Grundy Coloring Grundy coloring The worst way of reasonably coloring a graph. AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA I Connected version: ∀i, G[v1 ∪ ... ∪ vi ] is connected. I Weak version: vi can be colored with any color 6 c(vi ). AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA Grundy number Γ(G), connected/weak Grundy number Introduction Grundy Coloring Weak Grundy Coloring Connected Grundy Coloring Grundy coloring The worst way of reasonably coloring a graph. I Order the vertices v1, v2,..., vn to maximize #colors used by the greedy coloring. I Greedy coloring: vi gets the first color c(vi ) that does not appear in its neighborhood. AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA I Connected version: ∀i, G[v1 ∪ ... ∪ vi ] is connected. I Weak version: vi can be colored with any color 6 c(vi ). AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA Grundy number Γ(G), connected/weak Grundy number Introduction Grundy Coloring Weak Grundy Coloring Connected Grundy Coloring Grundy coloring The worst way of reasonably coloring a graph.
    [Show full text]
  • Grundy Distinguishes Treewidth from Pathwidth
    Grundy Distinguishes Treewidth from Pathwidth Rémy Belmonte University of Electro-Communications, Chofu, Tokyo, 182-8585, Japan [email protected] Eun Jung Kim Université Paris-Dauphine, PSL University, CNRS, LAMSADE, 75016, Paris, France [email protected] Michael Lampis Université Paris-Dauphine, PSL University, CNRS, LAMSADE, 75016, Paris, France [email protected] Valia Mitsou Université de Paris, IRIF, CNRS, 75205, Paris, France [email protected] Yota Otachi Nagoya University, Nagoya, 464-8601, Japan [email protected] Abstract Structural graph parameters, such as treewidth, pathwidth, and clique-width, are a central topic of study in parameterized complexity. A main aim of research in this area is to understand the “price of generality” of these widths: as we transition from more restrictive to more general notions, which are the problems that see their complexity status deteriorate from fixed-parameter tractable to intractable? This type of question is by now very well-studied, but, somewhat strikingly, the algorithmic frontier between the two (arguably) most central width notions, treewidth and pathwidth, is still not understood: currently, no natural graph problem is known to be W-hard for one but FPT for the other. Indeed, a surprising development of the last few years has been the observation that for many of the most paradigmatic problems, their complexities for the two parameters actually coincide exactly, despite the fact that treewidth is a much more general parameter. It would thus appear that the extra generality of treewidth over pathwidth often comes “for free”. Our main contribution in this paper is to uncover the first natural example where this generality comes with a high price.
    [Show full text]
  • On the Configurations of Nine Points on a Cubic Curve
    On the configurations of nine points on a cubic curve Alessandro Logar 1 Dipartimento di Matematica e Geoscienze, Universit`adegli Studi di Trieste, Via Valerio 12/1, 34127 Trieste, Italy. Sara Paronitti Dipartimento di Matematica e Geoscienze, Universit`adegli Studi di Trieste, Via Valerio 12/1, 34127 Trieste, Italy. Abstract We study the reciprocal position of nine points in the plane, according to their collinearities. In particular, we consider the case in which the nine points are con- tained in an irreducible cubic curve and we give their classification. If we consider two configurations different when the associated incidence structures are not iso- morphic, we see that there are 131 configurations that can be realized in 2 , and p PQ 2 there are two more in PK , where K = Q[ −3] (one of the two is the Hesse configu- ration given by the nine inflection points of a cubic curve). Finally, we compute the possible Hilbert functions of the ideals of the nine points. 1 Introduction arXiv:1912.08115v1 [math.CO] 17 Dec 2019 The study of reciprocal position of a finite number of points in the plane and a finite set of lines joining some of the points, is a classical problem whose origin dates back to the past and that has been considered from many different points of view. Recall, for instance, the Pappus configuration which takes its name from Pappus of Alexandria, or the Sylvester problem (see [20]), formulated by Sylvester in the last decade of the nineteenth century, or the Orchard Planting Email addresses: [email protected] (Alessandro Logar), [email protected] (Sara Paronitti).
    [Show full text]
  • The Game Grundy Number of Graphs Frédéric Havet, Xuding Zhu
    The game Grundy number of graphs Frédéric Havet, Xuding Zhu To cite this version: Frédéric Havet, Xuding Zhu. The game Grundy number of graphs. [Research Report] RR-7646, INRIA. 2011. inria-00600738 HAL Id: inria-00600738 https://hal.inria.fr/inria-00600738 Submitted on 15 Jun 2011 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. INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE The game Grundy number of graphs Frédéric Havet — Xuding Zhu N° 7646 June 2011 Thème COM apport de recherche ISSN 0249-6399 ISRN INRIA/RR--7646--FR+ENG The game Grundy number of graphs Fr´ed´eric Havet ∗ , Xuding Zhu † Th`eme COM — Syst`emes communicants Equipe-Projet´ Mascotte Rapport de recherche n° 7646 — June 2011 — 16 pages Abstract: Given a graph G = (V,E), two players, Alice and Bob, alternate their turns in choosing uncoloured vertices to be coloured. Whenever an un- coloured vertex is chosen, it is coloured by the least positive integer not used by any of its coloured neighbours. Alice’s goal is to minimize the total number of colours used in the game, and Bob’s goal is to maximize it.
    [Show full text]
  • Results for Grundy Number of the Complement of Bipartite Graphs
    Results for grundy number of the complement of bipartite graphs Ali Mansouri ,Mohamed Salim Bouhlel Department of Electronic Technologies of Information and Telecommunications Sfax, Tunisia. [email protected] [email protected] ABSTRACT Our work becomes integrated into the general problem of the stability of the network ad hoc. Some, works attacked(affected) this problem. Among these works, we find the modelling of the network ad hoc in the form of a graph. Thus the problem of stability of the network ad hoc which corresponds to a problem of allocation of frequency amounts to a problem of allocation of colors in the vertex of graph. we present use a parameter of coloring " the number of Grundy” A Grundy k-coloring of a graph G, is a vertex k-coloring of G such that for each two colors i and j with i < j, every vertex of G colored by j has a neighbor with color i. The Grundy chromatic number Γ(G), is the largest integer k for which there exists a Grundy k-coloring for G. In this note we first give an interpretation of Γ(G) in terms of the total graph of G, when G is the complement of a bipartite graph. Then we prove that determining the Grundy number of the complement of bipartite graphs is an NP-Complete problem. Keywords: Grundy number, graph coloring, NP-Complete, total graph, edge dominating set. 1 INTRODUCTION 2 GRUNDY NUMBER In this paper we consider undirected graphs without loops and multiple edges. By a k-coloring of The Grundy number of a graph G is the a graph G we mean a proper vertex coloring of G maximum number k of colors used to color the with colors1,2,...,k.
    [Show full text]