DOCSLIB.ORG

Parameterized Domination in Circle Graphs

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Parameterized Domination in Circle Graphs Parameterized domination in circle graphs Ignasi Sau CNRS, LIRMM, Montpellier, France Joint work with: Nicolas Bousquet, Daniel Gonc¸alves, George B. Mertzios, Christophe Paul, Stephan´ Thomasse´ [an extended abstract has been presented at WG’12] Algorithms Research Group, University of Bergen October 5, 2012 1/28 Outline 1 Motivation 2 Hardness results Independent dominating set Acyclic dominating set Dominating set Tree dominating set 3 Sketch of the algorithms 4 Conclusions 2/28 Next section is... 1 Motivation 2 Hardness results Independent dominating set Acyclic dominating set Dominating set Tree dominating set 3 Sketch of the algorithms 4 Conclusions 3/28 Circle graphs and domination G 6 2 5 1 4 3 4 7 8 3 7 1 8 5 2 6 Circle graph: intersection graph of chords in a circle. 4/28 Circle graphs and domination G 6 2 5 1 4 3 4 7 8 3 7 1 8 5 2 6 S DOMINATING SET: S ⊆ V (G) s.t. each v 2 V (G) n S has a neighbor in S. 4/28 Circle graphs and domination G 6 2 5 1 4 3 4 7 8 3 7 1 8 5 2 6 G[S] We will impose extra conditions that G[S] must satisfy. 4/28 Circle graphs and domination G 6 2 5 1 4 3 4 7 8 3 7 1 8 5 2 6 G[S] CONNECTED DOMINATING SET: G[S] is connected. 4/28 Circle graphs and domination G 6 2 5 1 4 3 4 7 8 3 7 1 8 5 2 6 G[S] TOTAL DOMINATING SET: G[S] has no isolated vertices. 4/28 Circle graphs and domination G 6 2 5 1 4 3 4 7 8 3 7 1 8 5 2 6 G[S] ACYCLIC DOMINATING SET: G[S] has no cycles. 4/28 Circle graphs and domination G 6 2 5 1 4 3 4 7 8 3 7 1 8 5 2 6 G[S] ACYCLIC DOMINATING SET: G[S] has no cycles. 4/28 Circle graphs and domination G 6 2 5 1 4 3 4 7 8 3 7 1 8 5 2 6 G[S] INDEPENDENT DOMINATING SET: G[S] has no edges. 4/28 Circle graphs and domination G 6 2 5 1 4 3 4 7 8 3 7 1 8 5 2 6 G[S] INDEPENDENT DOMINATING SET: G[S] has no edges. 4/28 The complexity of some problems in circle graphs 2 I Circle graphs can be recognized in O(n ) time. [Spinrad. 1994] I MAXIMUM CLIQUE and MAXIMUM INDEPENDENT SET can be 3 solved in O(n ) time. [Gavril. 1973] 3 I TREEWIDTH can be solved in O(n ) time. [Kloks. 1996] I 3-COLORABILITY can be solved in O(n log n) time. [Unger. 1988] I k-COLORABILITY for k ≥ 4 is NP-complete. [Unger. 1992] 5/28 The complexity of some problems in circle graphs 2 I Circle graphs can be recognized in O(n ) time. [Spinrad. 1994] I MAXIMUM CLIQUE and MAXIMUM INDEPENDENT SET can be 3 solved in O(n ) time. [Gavril. 1973] 3 I TREEWIDTH can be solved in O(n ) time. [Kloks. 1996] I 3-COLORABILITY can be solved in O(n log n) time. [Unger. 1988] I k-COLORABILITY for k ≥ 4 is NP-complete. [Unger. 1992] 5/28 The complexity of some problems in circle graphs 2 I Circle graphs can be recognized in O(n ) time. [Spinrad. 1994] I MAXIMUM CLIQUE and MAXIMUM INDEPENDENT SET can be 3 solved in O(n ) time. [Gavril. 1973] 3 I TREEWIDTH can be solved in O(n ) time. [Kloks. 1996] I 3-COLORABILITY can be solved in O(n log n) time. [Unger. 1988] I k-COLORABILITY for k ≥ 4 is NP-complete. [Unger. 1992] 5/28 Domination in circle graphs I DOMINATING SET,CONNECTED DOMINATING SET, and TOTAL DOMINATING SET are NP-complete. [Keil. 1993] I INDEPENDENT DOMINATING SET is NP-complete. [Damian, Pemmaraju. 1999] I ACYCLIC DOMINATING SET is in P in interval and proper circular-arc graphs. [Hedetniemi, Hedetniemi, Rall. 2000] I ACYCLIC DOMINATING SET is in P in bipartite permutation graphs. [Xu, Kang, Shan. 2006] What about the parameterized complexity of these domination problems, when parameterized by the solution size? 6/28 Domination in circle graphs I DOMINATING SET,CONNECTED DOMINATING SET, and TOTAL DOMINATING SET are NP-complete. [Keil. 1993] I INDEPENDENT DOMINATING SET is NP-complete. [Damian, Pemmaraju. 1999] I ACYCLIC DOMINATING SET is in P in interval and proper circular-arc graphs. [Hedetniemi, Hedetniemi, Rall. 2000] I ACYCLIC DOMINATING SET is in P in bipartite permutation graphs. [Xu, Kang, Shan. 2006] What about the parameterized complexity of these domination problems, when parameterized by the solution size? 6/28 Domination in circle graphs I DOMINATING SET,CONNECTED DOMINATING SET, and TOTAL DOMINATING SET are NP-complete. [Keil. 1993] I INDEPENDENT DOMINATING SET is NP-complete. [Damian, Pemmaraju. 1999] I ACYCLIC DOMINATING SET is in P in interval and proper circular-arc graphs. [Hedetniemi, Hedetniemi, Rall. 2000] I ACYCLIC DOMINATING SET is in P in bipartite permutation graphs. [Xu, Kang, Shan. 2006] What about the parameterized complexity of these domination problems, when parameterized by the solution size? 6/28 Our results (in circle graphs) 1 DOMINATING SET, CONNECTED DOMINATING SET, TOTAL DOMINATING SET, INDEPENDENT DOMINATING SET, ACYCLIC DOMINATING SET are W [1]-hard, parameterized by the size of the solution. 2 Whereas bothC ONNECTED andA CYCLIC DOMINATING SET are W [1]-hard,C ONNECTED ACYCLIC (i.e.,T REE) DOM.SET is inP. 3 If T is a given fixed tree, the problem of deciding whether a circle graph has a dominating set isomorphic to T is I NP-complete, when T is part of the input. I FPT, when parameterized by jV (T )j. 7/28 Our results (in circle graphs) 1 DOMINATING SET, CONNECTED DOMINATING SET, TOTAL DOMINATING SET, INDEPENDENT DOMINATING SET, ACYCLIC DOMINATING SET are W [1]-hard, parameterized by the size of the solution. 2 Whereas bothC ONNECTED andA CYCLIC DOMINATING SET are W [1]-hard, CONNECTED ACYCLIC (i.e.,T REE) DOM.SET is inP. 3 If T is a given fixed tree, the problem of deciding whether a circle graph has a dominating set isomorphic to T is I NP-complete, when T is part of the input. I FPT, when parameterized by jV (T )j. 7/28 Our results (in circle graphs) 1 DOMINATING SET, CONNECTED DOMINATING SET, TOTAL DOMINATING SET, INDEPENDENT DOMINATING SET, ACYCLIC DOMINATING SET are W [1]-hard, parameterized by the size of the solution. 2 Whereas bothC ONNECTED andA CYCLIC DOMINATING SET are W [1]-hard, CONNECTED ACYCLIC (i.e.,T REE) DOM.SET is inP. 3 If T is a given fixed tree, the problem of deciding whether a circle graph has a dominating set isomorphic to T is I NP-complete, when T is part of the input. I FPT, when parameterized by jV (T )j. 7/28 Our results (in circle graphs) 1 DOMINATING SET, CONNECTED DOMINATING SET, TOTAL DOMINATING SET, INDEPENDENT DOMINATING SET, ACYCLIC DOMINATING SET are W [1]-hard, parameterized by the size of the solution. 2 Whereas bothC ONNECTED andA CYCLIC DOMINATING SET are W [1]-hard, CONNECTED ACYCLIC (i.e.,T REE) DOM.SET is inP. 3 If T is a given fixed tree, the problem of deciding whether a circle graph has a dominating set isomorphic to T is I NP-complete, when T is part of the input. I FPT, when parameterized by jV (T )j. 7/28 Our results (in circle graphs) 1 DOMINATING SET, CONNECTED DOMINATING SET, TOTAL DOMINATING SET, INDEPENDENT DOMINATING SET, ACYCLIC DOMINATING SET are W [1]-hard, parameterized by the size of the solution. 2 Whereas bothC ONNECTED andA CYCLIC DOMINATING SET are W [1]-hard, CONNECTED ACYCLIC (i.e.,T REE) DOM.SET is inP. 3 If T is a given fixed tree, the problem of deciding whether a circle graph has a dominating set isomorphic to T is I NP-complete, when T is part of the input. I FPT, when parameterized by jV (T )j. 7/28 Our results (in circle graphs) 1 DOMINATING SET, CONNECTED DOMINATING SET, TOTAL DOMINATING SET, INDEPENDENT DOMINATING SET, ACYCLIC DOMINATING SET are W [1]-hard, parameterized by the size of the solution. 2 Whereas bothC ONNECTED andA CYCLIC DOMINATING SET are W [1]-hard, CONNECTED ACYCLIC (i.e.,T REE) DOM.SET is inP. 3 If T is a given fixed tree, the problem of deciding whether a circle graph has a dominating set isomorphic to T is I NP-complete, when T is part of the input. I FPT, when parameterized by jV (T )j. 7/28 Parameterized complexity in one slide I Idea: given an NP-hard problem, fix one parameter of the input to see if the problem gets more “tractable”. Example: the size of a VERTEX COVER. I Given a (NP-hard) problem with input of size n and a parameter k, a fixed-parameter tractable(FPT) algorithm runs in f (k) · nO(1); for some function f . Examples: k-VERTEX COVER, k-LONGEST PATH. I Barometer of intractability: FPT ⊆ W [1] ⊆ W [2] ⊆ W [3] ⊆ · · · ⊆ XP I The higher a problem is located in the W -hierarchy, the more unlikely it is to be in FPT. 8/28 Next section is... 1 Motivation 2 Hardness results Independent dominating set Acyclic dominating set Dominating set Tree dominating set 3 Sketch of the algorithms 4 Conclusions 9/28 Multicolored Clique k-COLORED CLIQUE espai Instance: A graph G = (V ; E) and a coloring of V using k colors.
Load more

Recommended publications
  • Domination in Circle Graphs
    Circles graphs Dominating set Some positive results Open Problems Domination in circle graphs Nicolas Bousquet Daniel Gon¸calves George B. Mertzios Christophe Paul Ignasi Sau St´ephanThomass´e WG 2012 Domination in circle graphs Circles graphs Dominating set Some positive results Open Problems 1 Circles graphs 2 Dominating set 3 Some positive results 4 Open Problems Domination in circle graphs W [1]-hardness Under some algorithmic hypothesis, the W [1]-hard problems do not admit FPT algorithms. Circles graphs Dominating set Some positive results Open Problems Parameterized complexity FPT A problem parameterized by k is FPT (Fixed Parameter Tractable) iff it admits an algorithm which runs in time Poly(n) · f (k) for any instances of size n and of parameter k. Domination in circle graphs Circles graphs Dominating set Some positive results Open Problems Parameterized complexity FPT A problem parameterized by k is FPT (Fixed Parameter Tractable) iff it admits an algorithm which runs in time Poly(n) · f (k) for any instances of size n and of parameter k. W [1]-hardness Under some algorithmic hypothesis, the W [1]-hard problems do not admit FPT algorithms. Domination in circle graphs Circles graphs Dominating set Some positive results Open Problems Circle graphs Circle graph A circle graph is a graph which can be represented as an intersection graph of chords in a circle. 3 3 4 2 5 4 2 6 1 1 5 7 7 6 Domination in circle graphs Independent dominating sets. Connected dominating sets. Total dominating sets. All these problems are NP-complete. Circles graphs Dominating set Some positive results Open Problems Dominating set 3 4 5 2 6 1 7 Dominating set Set of chords which intersects all the chords of the graph.
    [Show full text]
  • Coloring Clean and K4-Free Circle Graphs 401
    Coloring Clean and K4-FreeCircleGraphs Alexandr V. Kostochka and Kevin G. Milans Abstract A circle graph is the intersection graph of chords drawn in a circle. The best-known general upper bound on the chromatic number of circle graphs with clique number k is 50 · 2k. We prove a stronger bound of 2k − 1 for graphs in a simpler subclass of circle graphs, called clean graphs. Based on this result, we prove that the chromatic number of every circle graph with clique number at most 3 is at most 38. 1 Introduction Recall that the chromatic number of a graph G, denoted χ(G), is the minimum size of a partition of V(G) into independent sets. A clique is a set of pairwise adjacent vertices, and the clique number of G, denoted ω(G), is the maximum size of a clique in G. Vertices in a clique must receive distinct colors, so χ(G) ≥ ω(G) for every graph G. In general, χ(G) cannot be bounded above by any function of ω(G). Indeed, there are triangle-free graphs with arbitrarily large chromatic number [4, 18]. When graphs have additional structure, it may be possible to bound the chromatic number in terms of the clique number. A family of graphs G is χ-bounded if there is a function f such that χ(G) ≤ f (ω(G)) for each G ∈G. Some families of intersection graphs of geometric objects have been shown to be χ-bounded (see e.g. [8,11,12]). Recall that the intersection graph of a family of sets has a vertex A.V.
    [Show full text]
  • Open Problems on Graph Drawing
    Open problems on Graph Drawing Alexandros Angelopoulos Corelab E.C.E - N.T.U.A. February 17, 2014 Outline Introduction - Motivation - Discussion Variants of thicknesses Thickness Geometric thickness Book thickness Bounds Complexity Related problems & future work 2/ Motivation: Air Traffic Management Separation -VerticalVertical - Lateral - Longitudinal 3/ Motivation: Air Traffic Management : Maximization of \free flight” airspace c d c d X f f i1 i4 i0 i2 i3 i5 e e Y a b a b 8 Direct-to flight (as a choice among \free flight") increases the complexity of air traffic patterns Actually... 4 Direct-to flight increases the complexity of air traffic patterns and we have something to study... 4/ Motivation: Air Traffic Management 5/ How to model? { Graph drawing & thicknesses Geometric thickness (θ¯) Book thickness (bt) Dillencourt et al. (2000) Bernhart and Kainen (1979) : only straight lines : convex positioning of nodes v4 v5 v1 v2 θ(G) ≤ θ¯(G) ≤ bt(G) v5 v3 v0 v4 4 v1 Applications in VLSI & graph visualizationv3 Thickness (θ) v0 8 θ, θ¯, bt characterize the graph (minimizations over all allowedv2 drawings) Tutte (1963), \classical" planar decomposition 6/ Geometric graphs and graph drawings Definition 1.1 (Geometric graph, Bose et al. (2006), many Erd¨ospapers). A geometric graph G is a pair (V (G);E(G)) where V (G) is a set of points in the plane in general position and E(G) is set of closed segments with endpoints in V (G). Elements of V (G) are vertices and elements of E(G) are edges, so we can associate this straight-line drawing with the underlying abstract graph G(V; E).
    [Show full text]
  • Local Page Numbers
    Local Page Numbers Bachelor Thesis of Laura Merker At the Department of Informatics Institute of Theoretical Informatics Reviewers: Prof. Dr. Dorothea Wagner Prof. Dr. Peter Sanders Advisor: Dr. Torsten Ueckerdt Time Period: May 22, 2018 – September 21, 2018 KIT – University of the State of Baden-Wuerttemberg and National Laboratory of the Helmholtz Association www.kit.edu Statement of Authorship I hereby declare that this document has been composed by myself and describes my own work, unless otherwise acknowledged in the text. I declare that I have observed the Satzung des KIT zur Sicherung guter wissenschaftlicher Praxis, as amended. Ich versichere wahrheitsgemäß, die Arbeit selbstständig verfasst, alle benutzten Hilfsmittel vollständig und genau angegeben und alles kenntlich gemacht zu haben, was aus Arbeiten anderer unverändert oder mit Abänderungen entnommen wurde, sowie die Satzung des KIT zur Sicherung guter wissenschaftlicher Praxis in der jeweils gültigen Fassung beachtet zu haben. Karlsruhe, September 21, 2018 iii Abstract A k-local book embedding consists of a linear ordering of the vertices of a graph and a partition of its edges into sets of edges, called pages, such that any two edges on the same page do not cross and every vertex has incident edges on at most k pages. Here, two edges cross if their endpoints alternate in the linear ordering. The local page number pl(G) of a graph G is the minimum k such that there exists a k-local book embedding for G. Given a graph G and a vertex ordering, we prove that it is NP-complete to decide whether there exists a k-local book embedding for G with respect to the given vertex ordering for any fixed k ≥ 3.
    [Show full text]
  • A Fast Heuristic Algorithm Based on Verification and Elimination Methods for Maximum Clique Problem
    A Fast Heuristic Algorithm Based on Verification and Elimination Methods for Maximum Clique Problem Sabu .M Thampi * Murali Krishna P L.B.S College of Engineering, LBS College of Engineering Kasaragod, Kerala-671542, India Kasaragod, Kerala-671542, India [email protected] [email protected] Abstract protein sequences. A major application of the maximum clique problem occurs in the area of coding A clique in an undirected graph G= (V, E) is a theory [1]. The goal here is to find the largest binary ' code, consisting of binary words, which can correct a subset V ⊆ V of vertices, each pair of which is connected by an edge in E. The clique problem is an certain number of errors. A maximal clique is a clique that is not a proper set optimization problem of finding a clique of maximum of any other clique. A maximum clique is a maximal size in graph . The clique problem is NP-Complete. We have succeeded in developing a fast algorithm for clique that has the maximum cardinality. In many maximum clique problem by employing the method of applications, the underlying problem can be formulated verification and elimination. For a graph of size N as a maximum clique problem while in others a N subproblem of the solution procedure consists of there are 2 sub graphs, which may be cliques and finding a maximum clique. This necessitates the hence verifying all of them, will take a long time. Idea is to eliminate a major number of sub graphs, which development of fast and approximate algorithms for cannot be cliques and verifying only the remaining sub the problem.
    [Show full text]
  • Arxiv:1908.08911V1 [Cs.DS] 23 Aug 2019
    Parameterized Algorithms for Book Embedding Problems? Sujoy Bhore1, Robert Ganian1, Fabrizio Montecchiani2, and Martin N¨ollenburg1 1 Algorithms and Complexity Group, TU Wien, Vienna, Austria fsujoy,rganian,[email protected] 2 Engineering Department, University of Perugia, Perugia, Italy [email protected] Abstract. A k-page book embedding of a graph G draws the vertices of G on a line and the edges on k half-planes (called pages) bounded by this line, such that no two edges on the same page cross. We study the problem of determining whether G admits a k-page book embedding both when the linear order of the vertices is fixed, called Fixed-Order Book Thickness, or not fixed, called Book Thickness. Both problems are known to be NP-complete in general. We show that Fixed-Order Book Thickness and Book Thickness are fixed-parameter tractable parameterized by the vertex cover number of the graph and that Fixed- Order Book Thickness is fixed-parameter tractable parameterized by the pathwidth of the vertex order. 1 Introduction A k-page book embedding of a graph G is a drawing that maps the vertices of G to distinct points on a line, called spine, and each edge to a simple curve drawn inside one of k half-planes bounded by the spine, called pages, such that no two edges on the same page cross [20,25]; see Fig.1 for an illustration. This kind of layout can be alternatively defined in combinatorial terms as follows. A k-page book embedding of G is a linear order ≺ of its vertices and a coloring of its edges which guarantee that no two edges uv, wx of the same color have their vertices ordered as u ≺ w ≺ v ≺ x.
    [Show full text]
  • Exponential Time Algorithms for the Minimum Dominating Set Problem on Some Graph Classes
    Exponential Time Algorithms for the Minimum Dominating Set Problem on Some Graph Classes Serge Gaspers1, Dieter Kratsch2, and Mathieu Liedloff2 1 Department of Informatics, University of Bergen, N-5020 Bergen, Norway [email protected] 2 LITA, Universit´e de Paul Verlaine - Metz, 57045 Metz Cedex 01, France {kratsch, liedloff}@univ-metz.fr Abstract. The Minimum Dominating Set problem remains NP-hard when restricted to chordal graphs, circle graphs and c-dense graphs (i.e. |E|≥cn2 for a constant c,0<c<1/2). For each of these three graph classes we present an exponential time algorithm solving the Min- imum Dominating Set problem. The running times of those algorithms n n are O(1.4173√ ) for chordal graphs, O(1.4956 ) for circle graphs, and O(1.2303(1+ 1−2c)n)forc-dense graphs. 1 Introduction During the last years there has been a growing interest in the design of exact exponential time algorithms. Woeginger has written a nice survey on the subject [19] emphasizing the major techniques used to design exact exponential time algorithms. We also refer the reader to the recent survey of Fomin et al. [9] discussing some new techniques in the design of exponential time algorithms. In particular they discuss treewidth based techniques, Measure & Conquer and memorization. Known Results. AsetD ⊆ V of a graph G =(V,E) is dominating if every ver- tex of V \ D has a neighbor in D. The Minimum Dominating Set problem (MDS) asks to compute a dominating set of the input graph of minimum cardinality. Exact exponential time algorithms for the Minimum Dominating Set problem have not been studied until recently.
    [Show full text]
  • MA Algorithms for Crossing Minimization in Book Drawings
    Algorithms for crossing minimisation in book drawings Master Thesis of Jonathan Klawitter At the Department of Informatics Institute of Theoretical Informatics Chair of Algorithmics I Reviewer: Prof. Dr. Dorothea Wagner Second reviewer: Priv.-Doz. Dr. Martin Nöllenburg Advisor: Dr. Tamara Mchedlidze Duration:: 23. October 2015 – 22. April 2016 KIT – University of the State of Baden-Wuerttemberg and National Research Center of the Helmholtz Association www.kit.edu I declare that I have developed and written the enclosed thesis completely by myself, and have not used sources or means without declaration in the text. Karlsruhe, 20th April 2016 ......................................... (Jonathan Klawitter) Abstract A book with k pages consists of a line (the spine) and k half-planes (the pages ), each with the spine as boundary. In a k-page book drawing of a graph the vertices lie on the spine, and each edge is drawn as arc in one page. The minimal number of edge crossings in a k-page book drawing of a graph is called its k-page crossing number, which, in general, is -hard to determine [BE14]. A book drawing can be described by an order of the NP vertices on the spine and a distribution of the edges to pages. To compute book drawings, we combine vertex order heuristics with edge distribution heuristics and create heuristics that compute both simultaneously. We experimentally evaluate the performance of these heuristics on a new test suite that is centred on di↵erent graph classes. It turns out that our new heuristics produce drawings with fewer crossings for most of the tested graphs.
    [Show full text]
  • Recognizing Circle Graphs in Polynomial Time
    Recognizing Circle Graphs in Polynomial Time CSABA P. GABOR AND KENNETH J. SUPOWIT Princeton University. Princeton, New Jersey AND WEN-LIAN HSU Northwestern University, Evanston, Illinois Abstract. The main result of this paper is an 0( 1 V 1 x 1E 1) time algorithm for deciding whether a given graph is a circle graph, that is, the intersection graph of a set of chords on a circle. The algorithm utilizes two new graph-theoretic results, regarding necessary induced subgraphs of graphs having neither articulation points nor similar pairs of vertices. Furthermore, as a substep of the algorithm, it is shown how to find in 0( 1 V 1 x 1E 1) time a decomposition of a graph into prime graphs, thereby improving on a result of Cunningham. Categories and Subject Descriptors: F.2.2 [Analysis of Algorithms and Problem Complexity]: Nonnu- merical Algorithms and Problems-computations on discrete structures; G.2. I [Discrete Mathematics]: Combinatorics-combinatorial algorithms; G.2.2 [Discrete Mathematics]: Graph Theory-graph al- gorithms General Terms: Algorithms, Theory, Verification Additional Key Words and Phrases: Circle graph, graph decomposition, induced subgraph, intersection graph, polynomial-time algorithms 1. Introduction An undirected graph G is called a circle graph if there exists a set of chords C on a circle and a one-to-one correspondence between vertices of G and chords of C such that two distinct vertices are adjacent if and only if their corresponding chords intersect. Such a set C is called a (circle-graph) model for G. Figure 1 shows a circle graph, along with a model for it.
    [Show full text]
  • Discrete Mathematics on Circle Graphs with Girth at Least Five
    CORE Metadata, citation and similar papers at core.ac.uk Provided by Elsevier - Publisher Connector Discrete Mathematics 309 (2009) 2217–2222 Contents lists available at ScienceDirect Discrete Mathematics journal homepage: www.elsevier.com/locate/disc On circle graphs with girth at least five Louis Esperet a,∗, Pascal Ochem b a LaBRI, Université Bordeaux 1, 351 Cours de la Libération, 33405 Talence Cedex, France b LRI, CNRS, Bât 490 Université Paris-Sud 11, 91405 Orsay Cedex, France article info a b s t r a c t Article history: Circle graphs with girth at least five are known to be 2-degenerate [A.A. Ageev, Every circle Received 24 May 2007 graph with girth at least 5 is 3-colourable, Discrete Math. 195 (1999) 229–233]. In this Received in revised form 22 April 2008 paper, we prove that circle graphs with girth at least g ≥ 5 and minimum degree at least Accepted 25 April 2008 two contain a chain of g − 4 vertices of degree two, which implies Ageev’s result in the Available online 9 June 2008 case g D 5. We then use this structural property to give an upper bound on the circular chromatic number of circle graphs with girth at least g ≥ 5 as well as a precise estimate of Keywords: their maximum average degree. Circle graphs Maximum average degree ' 2008 Elsevier B.V. All rights reserved. Circular coloring 1. Introduction A circle graph is the intersection graph of the chords of a circle. It is not difficult to show that the class of circle graphs contains all the complete bipartite graphs.
    [Show full text]
  • Graph Equivalences and Decompositions Definable In
    Graph equivalences and decompositions definable in Monadic Second-Order logic Circle Graphs Bruno COURCELLE LaBRI, Bordeaux 1 University Graph Decompositions : 4 motivations 1. Context-free Graph Grammars 2. Algorithmic applications (FPT, preliminary steps) 3. Decidability of logical theories (Monadic 2nd order logic) 4. Graph Theory , structural descriptions : Tree-decompositions and the Graph Minor Theorem Extensions to matroids (in view of a Matroid Minor Theorem) Modular and "split" decompositions Monadic Second-Order Logic MSOL = First-order logic over subsets of the domain Graph G = < V, edg(.,.) > = < Vertices, adjacency relation > Logical expression of graph properties : Non connectivity : ∃ X ( ∃ u. u X ∧ ∃ v. v ∉ X ∈ ∧ [∀ u,v. edg(u,v) ⇒ ( u X ⇔ v X )]) ∈ ∈ Typical Properties : k-colorability ( fixed k ) to be a tree planarity ( by Kuratowsky's characterization ) but cannot express : equal cardinality of two sets ; bijections. Why Monadic Second-Order Logic is interesting ? Context-free Graph Grammars : MS logic Æ Recognizable sets of graphs Æ Transductions (no automata) Algorithmic applications : MS logic Æ Fixed Parameter Tractable problems for tree-width and clique-width Æ Query evaluation techniques implementation of graphs ; linear delay evaluation Decidability of logical theories : * MS2 decidability of graphs implies bounded tree-width, * MS decidability of matroids implies bounded branch-width Graph Theory : Decompositions and Monadic 2nd order logic a) Non-canonical graph decompositions : Tree-decompositions of width
    [Show full text]
  • A Triangle-Free Circle Graph with Chromatic Number 5 A.A
    DISCRETE MATHEMATICS ELSEVIER Discrete Mathematics 152 (1996) 295-298 Communication A triangle-free circle graph with chromatic number 5 A.A. Ageev 1 Institute ofMathematics, Universitetskii pro 4, Novosibirsk 630090, Russia Received 20 November 1995 Communicated by D.R. Woodall Abstract It follows from the results of Karapetyan (1984), Gyirfis and Lehel (1985), and Kostochka (1988) that 4 ~ x* ~ 5 where x* = max {X(G): G is a triangle-free circle graph}. We show that X* ? 5 and thus X* = 5. This disproves the conjecture of Karapetyan that X* = 4 and answers negatively a question of Gyirfis and Lehel. A graph is called a circle graph if it is isomorphic to the intersection graph ofchords ofa circle. Since any complete graph is obviously a circle graph, the chromatic number of an arbitrary circle graph can be arbitrarily large. Gyarfas [1] showed that the chromatic number of a circle graph G without cliques of size more than k, i.e., with w(G) ::::; k, has an upper bound independent of the number of vertices. The best published upper bound is 2kk2 [5]. Recently Kostochka and Kratochvil [6] proved that the better bound 2k + 6 is valid even for a wider class of graphs (for the so-called polygon-circle graphs). The most appealing special case of the problem is the case of triangle-free graphs (w(G) ::::; 2). The lower and upper bounds on the chromatic number of triangle-free circle graphs were first obtained by Karapetyan [4]: 4::::; x*::::; 8; here, and hereafter, x* = max {x(G): G is a triangle-free circle graph}.
    [Show full text]