DOCSLIB.ORG

Vertex-Minors of Graphs

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Vertex-Minors of Graphs Vertex-minors of graphs Sang-il Oum (엄상일) IBS Discrete Mathematics Group / KAIST International Conference on Network Games, Tropical Geometry, and Quantum Communication Berlin June 6, 2019 Quantum Information Theory and Graph Theory Graph States |G> Graphs 3 operations to reduce some meaningful operations Vertex-minors (local Clifford operations, Local complementation Pauli Z measurements on vertices) deletion Schmit-rank width rank-width Plan • Planar graphs and minors • Circle graphs and vertex-minors • Connectivity Functions • Width Parameters • Extending the graph minors project of Robertson and Seymour • Weakening of conjectures on induced subgraphs Planar graphs and minors A graph G is planar if it can be drawn on the plane with no edge crossing. Operations that preserve planarity edge deletion G\e H is a minor of G if v e H is obtained from G by a sequence of deleting edges/vertices and contracting edges contraction G/e Easy Observation: vertex deletion If H is a minor of a planar graph G, then H is planar. G∖v Kuratowski's theorem on planar graphs (1930) Theorem (Kuratowski 1930 / Wagner 1937) G is planar if and only if G has no minor isomorphic to K5 or K3,3 K5 K3,3 Two minor-minimal non-planar graphs Circle graphs and vertex-minors / pivot-minors Circle graph = intersection graph of chords of a circle 1 2 1 5 chords vertices 3 3 2 3 intersect edges 4 1 4 2 5 4 5 A minor of a circle graph is not necessarily a circle graph. K6 is a circle graph Impossible to minor characterize circle graphs in terms of forbidden minors W5 is not a circle graph Local complementation and vertex-minors 2 1 2 1 1 6 5 1 6 6 6 5 3 3 3 3 2 3 2 3 1 4 1 4 6 6 4 2 5 4 2 5 4 5 4 5 G G * 1 G G * 3 "local complementation at 1" If G is a circle graph, then G*v is a circle graph. H is a vertex-minor of G if H can be Easy Observation: obtained from G by a sequence of If H is a vertex-minor of G and local complementations and G is a circle graph, vertex deletions then H is a circle graph. Pivot and pivot-minors 1 1 2 1 2 4 6 6 6 5 6 6 1 2 3 3 2 3 3 3 3 1 4 6 5 4 4 5 4 5 4 2 5 1 2 5 G G ∧ 23 If G is a circle graph, "pivot an edge 23" then G∧vw is a circle graph. H is a pivot-minor of G if H can be Easy Observation: obtained from G by a sequence of If H is a pivot-minor of G and pivots and G is a circle graph, vertex deletions then H is a circle graph. Every pivot-minor is a vertex-minor 6 2 1 1 2 4 2 2 4 5 6 6 6 6 6 5 1 1 3 3 3 3 3 3 3 3 1 4 1 4 4 5 5 4 6 64 1 4 2 5 2 5 2 5 1 2 5 G G * 3 G * 3 * 2 G * 3 * 2 * 3 = G ∧ 23 In general, G ∧ uv = G * u * v * u Every pivot-minor is a vertex-minor. (The converse is false.) CIRCLE GRAPH OBSTRUCTIONS UNDER PIVOTING JIM GEELEN AND SANG-IL OUM Abstract. A circle graph is the intersection graph of a set of chords of a circle. The class of circle graphs is closed under pivot- minors. We determine the pivot-minor-minimal non-circle-graphs; there are 15 obstructions. These obstructions are found, by com- puter search, as a corollary to Bouchet’s characterization of circle graphs under local complementation. Our characterization gener- alizes Kuratowski’s Theorem. 1. Introduction The class of circle graphs is closed with respect to vertex-minors and hence also pivot-minors. (Definitions are postponed until Section 2.) Bouchet [5]Forbidden gave the vertex-minors following characterization for circle graphs of circle graphs; the graphs W5, W7, and BW3 are defined in Figure 1. All graphs in this paper areTheorem simple; graphs(Bouchet have 1994) no loops and no parallel edges. G is a circle graph Theorem if 1.1and only(Bouchet) if . A graph is a circle graph if and only it has no vertex-minor G has no that vertex-minor is isomorphic isomorphic to W to5, W7, or BW3. W5 W7 BW3 Figure 1. W , W , and BW : Excluded vertex-minors Three5 vertex-minor7 minimal3 non-circle graphs for circle graphs. As a corollary to Bouchet’s theorem we prove the following result. Date: April 11, 2007 submitted; August 2008 revised. 1991 Mathematics Subject Classification. 05B35. Key words and phrases. circle graphs, delta-matroids, pivoting, principally uni- modular matrices, eulerian delta-matroids. The first author was partially supported by a grant from the Natural Sciences and Engineering Research Council of Canada. The second author was partially supported by the SRC Program of Korea Sci- ence and Engineering Foundation (KOSEF) grant funded by the Korea government (MOST) (No. R11-2007-035-01002-0). 1 Forbidden pivot-minors for circle graphs Theorem (Geelen, O. 2009) G is a circle graph if and only if G has no pivot-minor isomorphicCIRCLE GRAPH OBSTRUCTIONS to 3 FIGURE 2. Excluded pivot-minors for circle graphs. FIGURE 3. H1, H2, and Q3. fundamental graphs of regular matroids. Seymour’s decomposition Theorem [11] provides a good characterization and a recognition algorithm for regular matroids and we hope to obtain similar results for PU-orientable graphs. Bouchet [2] proved that circle graphs admit PU-orientations and we hope that the class of circle graphs will play a central role in a decomposition theorem for PU-orientable graphs. The class of PU-orientable graphs is closed under pivot-minors but not under vertex-minors, and hence it is desirable to have the excluded pivot-minors for the class of circle graphs. Although the class of PU-orientable graphs is not closed under local comple- mentation, Bouchet’s theorem does imply the following curious connection between PU-orientability and circle graphs: a graph is a circle graph if and only if every locally equivalent graph is PU-orientable. We prove Theorem 1.2 by studying the graphs that are pivot-minor-minimal while containing a vertex-minor isomorphic to one of W5, W7, or BW3. We require the following two lemmas that are proved in Section 3. The proofs are direct but inelegant. These facts are transparent in the context of isotropic systems; see Bouchet [3]. However, the direct proofs are shorter than the requisite introduction to isotropic systems. Journal of Graph Theory DOI 10.1002/jgt 34 H. de Fmyssek Fig. 2. Let C be an isomorphic inrape of the: unit circle S1 drawn close to the base 8 such that C is the border of a ubuiar neighbourhood of B (see Fig. 2). The chords corresponding to the edges in B’- are obtained by restricting these edges to the outside of the disc delimited by C. .,4 chord corresponding to 8n edge e in B &ins the two arcs of C drawn parallely along e. The chords intersecting e are obviously the ones corresponding to the funda- mental cocircuit associated with e. (2) Let G be a bipartite chordable graph. The two sets of chords, correspond- ing to the bipartition of the set of vertices of G, can be represented by two systems of chords inside and outside the unit circle S’ (see Fig. 3). The chords drawn inside S” partition the disc delimited by S’ into faces {I$}isr in the center of which we place a point Vi.The set {Ui}<,=Iis the set of vertices of the graphical representation PW of W(G) whose edges are drawn in the following 3W4i 3 yI H. de Fmyssek First join the vertices of PW corresponding to adjacent faces. Let B be the resulting set of edges. The set BL of other edges of PW is obtained by extending the outside chords to the vertices t+, Uj corresponding to the faces Fi, 4 to which they are incident. One can easily check that B is a tree of PW (resp. BA a cotree of PW), that is, a base of W(G) (resp. a cobase of W(G)) and that G is the fundamenta! interlacement graph associated with the base B of W(G), Fig. 2. Let C be an isomorphic inrape of the: unit circle S1 drawn close to the base 8 such that C is the border of a ubuiar neighbourhood of B (see Fig. 2). The chords corresponding to the edges in B’- are obtained by restricting these 2 edges to the outside of the disc delimited by C. .,4 chord corresponding to 8n edge Theoreme in (de B &insFraysseix the two 1981) arcs of C drawn parallely along e. The chords intersecting e are obviously the ones corresponding to the funda- A bipartite graph is a circle graph Fig. 3. mental cocircuit associated with e. if and only if it is a fundamental graph of a planar graph. (2) Let G be a bipartite chordable graph. The two sets of chords, correspond- ing to the bipartition of the set of vertices of G, can be represented by two systems of chords inside and outside the unit circle S’ (see Fig. 3). The chords drawn inside S” partition the disc delimited by S’ into faces {I$}isr in the center of which we place a point Vi.The set {Ui}<,=Iis the set of vertices of the graphical representation PW of W(G) whose edges are drawn in the following Wi3 yI First join the vertices of PW corresponding to adjacent faces.
Load more

Recommended publications
  • On Treewidth and Graph Minors
    On Treewidth and Graph Minors Daniel John Harvey Submitted in total fulfilment of the requirements of the degree of Doctor of Philosophy February 2014 Department of Mathematics and Statistics The University of Melbourne Produced on archival quality paper ii Abstract Both treewidth and the Hadwiger number are key graph parameters in structural and al- gorithmic graph theory, especially in the theory of graph minors. For example, treewidth demarcates the two major cases of the Robertson and Seymour proof of Wagner's Con- jecture. Also, the Hadwiger number is the key measure of the structural complexity of a graph. In this thesis, we shall investigate these parameters on some interesting classes of graphs. The treewidth of a graph defines, in some sense, how \tree-like" the graph is. Treewidth is a key parameter in the algorithmic field of fixed-parameter tractability. In particular, on classes of bounded treewidth, certain NP-Hard problems can be solved in polynomial time. In structural graph theory, treewidth is of key interest due to its part in the stronger form of Robertson and Seymour's Graph Minor Structure Theorem. A key fact is that the treewidth of a graph is tied to the size of its largest grid minor. In fact, treewidth is tied to a large number of other graph structural parameters, which this thesis thoroughly investigates. In doing so, some of the tying functions between these results are improved. This thesis also determines exactly the treewidth of the line graph of a complete graph. This is a critical example in a recent paper of Marx, and improves on a recent result by Grohe and Marx.
    [Show full text]
  • 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]
  • Minimal Acyclic Forbidden Minors for the Family of Graphs with Bounded Path-Width
    Discrete Mathematics 127 (1994) 293-304 293 North-Holland Minimal acyclic forbidden minors for the family of graphs with bounded path-width Atsushi Takahashi, Shuichi Ueno and Yoji Kajitani Department of Electrical and Electronic Engineering, Tokyo Institute of Technology. Tokyo, 152. Japan Received 27 November 1990 Revised 12 February 1992 Abstract The graphs with bounded path-width, introduced by Robertson and Seymour, and the graphs with bounded proper-path-width, introduced in this paper, are investigated. These families of graphs are minor-closed. We characterize the minimal acyclic forbidden minors for these families of graphs. We also give estimates for the numbers of minimal forbidden minors and for the numbers of vertices of the largest minimal forbidden minors for these families of graphs. 1. Introduction Graphs we consider are finite and undirected, but may have loops and multiple edges unless otherwise specified. A graph H is a minor of a graph G if H is isomorphic to a graph obtained from a subgraph of G by contracting edges. A family 9 of graphs is said to be minor-closed if the following condition holds: If GEB and H is a minor of G then H EF. A graph G is a minimal forbidden minor for a minor-closed family F of graphs if G#8 and any proper minor of G is in 9. Robertson and Seymour proved the following deep theorems. Theorem 1.1 (Robertson and Seymour [15]). Every minor-closed family of graphs has a finite number of minimal forbidden minors. Theorem 1.2 (Robertson and Seymour [14]).
    [Show full text]
  • Characterizations of Graphs Without Certain Small Minors by J. Zachary
    Characterizations of Graphs Without Certain Small Minors By J. Zachary Gaslowitz Dissertation Submitted to the Faculty of the Graduate School of Vanderbilt University in partial fulfillment of the requirements for the degree of DOCTOR OF PHILOSOPHY in Mathematics May 11, 2018 Nashville, Tennessee Approved: Mark Ellingham, Ph.D. Paul Edelman, Ph.D. Bruce Hughes, Ph.D. Mike Mihalik, Ph.D. Jerry Spinrad, Ph.D. Dong Ye, Ph.D. TABLE OF CONTENTS Page 1 Introduction . 2 2 Previous Work . 5 2.1 Planar Graphs . 5 2.2 Robertson and Seymour's Graph Minor Project . 7 2.2.1 Well-Quasi-Orderings . 7 2.2.2 Tree Decomposition and Treewidth . 8 2.2.3 Grids and Other Graphs with Large Treewidth . 10 2.2.4 The Structure Theorem and Graph Minor Theorem . 11 2.3 Graphs Without K2;t as a Minor . 15 2.3.1 Outerplanar and K2;3-Minor-Free Graphs . 15 2.3.2 Edge-Density for K2;t-Minor-Free Graphs . 16 2.3.3 On the Structure of K2;t-Minor-Free Graphs . 17 3 Algorithmic Aspects of Graph Minor Theory . 21 3.1 Theoretical Results . 21 3.2 Practical Graph Minor Containment . 22 4 Characterization and Enumeration of 4-Connected K2;5-Minor-Free Graphs 25 4.1 Preliminary Definitions . 25 4.2 Characterization . 30 4.3 Enumeration . 38 5 Characterization of Planar 4-Connected DW6-minor-free Graphs . 51 6 Future Directions . 91 BIBLIOGRAPHY . 93 1 Chapter 1 Introduction All graphs in this paper are finite and simple. Given a graph G, the vertex set of G is denoted V (G) and the edge set is denoted E(G).
    [Show full text]
  • Minor-Closed Graph Classes with Bounded Layered Pathwidth
    Minor-Closed Graph Classes with Bounded Layered Pathwidth Vida Dujmovi´c z David Eppstein y Gwena¨elJoret x Pat Morin ∗ David R. Wood { 19th October 2018; revised 4th June 2020 Abstract We prove that a minor-closed class of graphs has bounded layered pathwidth if and only if some apex-forest is not in the class. This generalises a theorem of Robertson and Seymour, which says that a minor-closed class of graphs has bounded pathwidth if and only if some forest is not in the class. 1 Introduction Pathwidth and treewidth are graph parameters that respectively measure how similar a given graph is to a path or a tree. These parameters are of fundamental importance in structural graph theory, especially in Roberston and Seymour's graph minors series. They also have numerous applications in algorithmic graph theory. Indeed, many NP-complete problems are solvable in polynomial time on graphs of bounded treewidth [23]. Recently, Dujmovi´c,Morin, and Wood [19] introduced the notion of layered treewidth. Loosely speaking, a graph has bounded layered treewidth if it has a tree decomposition and a layering such that each bag of the tree decomposition contains a bounded number of vertices in each layer (defined formally below). This definition is interesting since several natural graph classes, such as planar graphs, that have unbounded treewidth have bounded layered treewidth. Bannister, Devanny, Dujmovi´c,Eppstein, and Wood [1] introduced layered pathwidth, which is analogous to layered treewidth where the tree decomposition is arXiv:1810.08314v2 [math.CO] 4 Jun 2020 required to be a path decomposition.
    [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]
  • Sphere-Cut Decompositions and Dominating Sets in Planar Graphs
    Sphere-cut Decompositions and Dominating Sets in Planar Graphs Michalis Samaris R.N. 201314 Scientific committee: Dimitrios M. Thilikos, Professor, Dep. of Mathematics, National and Kapodistrian University of Athens. Supervisor: Stavros G. Kolliopoulos, Dimitrios M. Thilikos, Associate Professor, Professor, Dep. of Informatics and Dep. of Mathematics, National and Telecommunications, National and Kapodistrian University of Athens. Kapodistrian University of Athens. white Lefteris M. Kirousis, Professor, Dep. of Mathematics, National and Kapodistrian University of Athens. Aposunjèseic sfairik¸n tom¸n kai σύνοla kuriarqÐac se epÐpeda γραφήματa Miχάλης Σάμαρης A.M. 201314 Τριμελής Epiτροπή: Δημήτρioc M. Jhlυκός, Epiblèpwn: Kajhγητής, Tm. Majhmatik¸n, E.K.P.A. Δημήτρioc M. Jhlυκός, Staύρoc G. Kolliόποuloc, Kajhγητής tou Τμήμatoc Anaπληρωτής Kajhγητής, Tm. Plhroforiκής Majhmatik¸n tou PanepisthmÐou kai Thl/ni¸n, E.K.P.A. Ajhn¸n Leutèrhc M. Kuroύσης, white Kajhγητής, Tm. Majhmatik¸n, E.K.P.A. PerÐlhyh 'Ena σημαντικό apotèlesma sth JewrÐa Γραφημάτwn apoteleÐ h apόdeixh thc eikasÐac tou Wagner από touc Neil Robertson kai Paul D. Seymour. sth σειρά ergasi¸n ‘Ελλάσσοna Γραφήματα’ apo to 1983 e¸c to 2011. H eikasÐa αυτή lèei όti sthn κλάση twn γραφημάtwn den υπάρχει άπειρη antialusÐda ¸c proc th sqèsh twn ελλασόnwn γραφημάτwn. H JewrÐa pou αναπτύχθηκε gia thn απόδειξη αυτής thc eikasÐac eÐqe kai èqei ακόμα σημαντικό antÐktupo tόσο sthn δομική όσο kai sthn algoriθμική JewrÐa Γραφημάτwn, άλλα kai se άλλα pedÐa όπως h Παραμετρική Poλυπλοκόthta. Sta πλάιsia thc απόδειξης oi suggrafeÐc eiσήγαγαν kai nèec paramètrouc πλά- touc. Se autèc ήτan h κλαδοαποσύνθεση kai to κλαδοπλάτoc ενός γραφήματoc. H παράμετρος αυτή χρησιμοποιήθηκε idiaÐtera sto σχεδιασμό algorÐjmwn kai sthn χρήση thc τεχνικής ‘διαίρει kai basÐleue’.
    [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]
  • Linearity of Grid Minors in Treewidth with Applications Through Bidimensionality∗
    Linearity of Grid Minors in Treewidth with Applications through Bidimensionality∗ Erik D. Demaine† MohammadTaghi Hajiaghayi† Abstract We prove that any H-minor-free graph, for a fixed graph H, of treewidth w has an Ω(w) × Ω(w) grid graph as a minor. Thus grid minors suffice to certify that H-minor-free graphs have large treewidth, up to constant factors. This strong relationship was previously known for the special cases of planar graphs and bounded-genus graphs, and is known not to hold for general graphs. The approach of this paper can be viewed more generally as a framework for extending combinatorial results on planar graphs to hold on H-minor-free graphs for any fixed H. Our result has many combinatorial consequences on bidimensionality theory, parameter-treewidth bounds, separator theorems, and bounded local treewidth; each of these combinatorial results has several algorithmic consequences including subexponential fixed-parameter algorithms and approximation algorithms. 1 Introduction The r × r grid graph1 is the canonical planar graph of treewidth Θ(r). In particular, an important result of Robertson, Seymour, and Thomas [38] is that every planar graph of treewidth w has an Ω(w) × Ω(w) grid graph as a minor. Thus every planar graph of large treewidth has a grid minor certifying that its treewidth is almost as large (up to constant factors). In their Graph Minor Theory, Robertson and Seymour [36] have generalized this result in some sense to any graph excluding a fixed minor: for every graph H and integer r > 0, there is an integer w > 0 such that every H-minor-free graph with treewidth at least w has an r × r grid graph as a minor.
    [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]
  • Tree-Decomposition Graph Minor Theory and Algorithmic Implications
    DIPLOMARBEIT Tree-Decomposition Graph Minor Theory and Algorithmic Implications Ausgeführt am Institut für Diskrete Mathematik und Geometrie der Technischen Universität Wien unter Anleitung von Univ.Prof. Dipl.-Ing. Dr.techn. Michael Drmota durch Miriam Heinz, B.Sc. Matrikelnummer: 0625661 Baumgartenstraße 53 1140 Wien Datum Unterschrift Preface The focus of this thesis is the concept of tree-decomposition. A tree-decomposition of a graph G is a representation of G in a tree-like structure. From this structure it is possible to deduce certain connectivity properties of G. Such information can be used to construct efficient algorithms to solve problems on G. Sometimes problems which are NP-hard in general are solvable in polynomial or even linear time when restricted to trees. Employing the tree-like structure of tree-decompositions these algorithms for trees can be adapted to graphs of bounded tree-width. This results in many important algorithmic applications of tree-decomposition. The concept of tree-decomposition also proves to be useful in the study of fundamental questions in graph theory. It was used extensively by Robertson and Seymour in their seminal work on Wagner’s conjecture. Their Graph Minors series of papers spans more than 500 pages and results in a proof of the graph minor theorem, settling Wagner’s conjecture in 2004. However, it is not only the proof of this deep and powerful theorem which merits mention. Also the concepts and tools developed for the proof have had a major impact on the field of graph theory. Tree-decomposition is one of these spin-offs. Therefore, we will study both its use in the context of graph minor theory and its several algorithmic implications.
    [Show full text]