MMNA GRAPHS on EIGHT VERTICES OR FEWER a Thesis Presented To

Total Page:16

File Type:pdf, Size:1020Kb

MMNA GRAPHS on EIGHT VERTICES OR FEWER a Thesis Presented To MMNA GRAPHS ON EIGHT VERTICES OR FEWER A Thesis Presented to the Faculty of California State University, Chico In Partial Fulfillment of the Requirements for the DeGree Master of Science in Mathematics Education by HuGo E. Ayala Summer 2014 TABLE OF CONTENTS PAGE List of Tables………………................................................................................................................. iv List of Figures..……………................................................................................................................. v Abstract.……………………................................................................................................................... xxi CHAPTER I. Introduction.………………………………………………………………………….. 1 Statement of Problem.…………………………………………………. 1 Map of Thesis..……………………………………………………………... 4 II. Definitions and Preliminary Constructions.…………………………….. 5 Definition of Terms.………………………………………….…..……... 5 Non-planar (7, 12) graphs..………………………………………….. 13 TrianGulations on Seven Vertices.………………………………… 35 Petersen Graphs and their Complements.……………………... 57 III. Proof of Theorem A.……………………………………………………………….. 72 Lemmas and Prior Results.…………………………………………... 72 Theorem 1.………………………………………………………………….. 75 Theorem 2.………………………………………………………………….. 84 References Cited.………………………………………………………………………………………….. 187 iii LIST OF TABLES TABLE PAGE 2.3.1 The Five Triangulations…………………………………………………………… 52 3.3.1 The Candidate MMNA Graphs…………………………………………………... 86 iv LIST OF FIGURES FIGURE PAGE 1.1.1 The Utility Problem.…………………………………………………………………. 1 1.1.2 The K3,3 Graph……………………..…………………………………………………… 2 1.1.3 The K5 Graph………...…………………………………………………………………. 2 1.1.4 The J1 Graph, the K6 Graph, and the K3,3,1 Graph………………………… 3 1.1.5 The P7 Graph, the K4,4 – e Graph, and the P8 Graph…………..…………. 4 2.1.1 Graph G………..……………………..…………………………………………………… 9 2.1.2 Graph G’..……..……………………..……………………………………………………. 9 2.1.3 Graph H...……..……………………..……………………………………………………. 10 2.1.4 Graph H with Vertex B Split…...………………………………………………….. 10 2.1.5 Graph J.....……..……………………..……………………………………………………. 11 2.1.6 Graph J with a (1,2) Split of Vertex B…………………………………………. 11 2.1.7 Graph J with a Second (1,2) Split of Vertex B…………………...…………. 12 2.1.8 Graph J with a Third (1,2) Split of Vertex B.……………………….………. 12 2.1.9 A DeGree Four Vertex, B.……..……………………………………………………. 12 2.1.10 A DeGree Four Vertex, B, Split into (0,4).……………………………………. 13 2.2.1 The K3,3 Graph……….…………………………………………………………………. 14 2.2.2 The Only Non-Planar (6,10) Graph with δ(G) > 2.………………………. 14 2.2.3 First Derived Non-Planar (6,11) Graph……..……………………….………. 15 v 2.2.4 Second Derived Non-Planar (6,11) Graph.…………………………………. 16 2.2.5 The K5 Graph……………………..………………..……………………………………. 16 2.2.6 Non-Planar (6,11) Graph Derived from K5…………………………………. 17 2.2.7 ComparinG Two Non-Planar Graphs. ………………………………………… 18 2.2.8 Third Derived Non-Planar (6,11) Graph…...……………………….………. 18 2.2.9 The Only Non-Planar (7,10) Graph with δ(G) > 2……………………….. 19 2.2.10 First Non-Planar (7,11) Graph……………..……………………………………. 20 2.2.11 Second Non-Planar (7,11) Graph. ..……………………………………………. 21 2.2.12 Third Non-Planar (7,11) Graph. ..………………………………………………. 21 2.2.13 Fourth Non-Planar (7,11) Graph. ..……………………………….……………. 22 2.2.14 Fifth Non-Planar (7,11) Graph. ..…….…………………………………………. 22 2.2.15 First (5, 42, 33, 2) Graph...……..……………………………………………………. 23 2.2.16 Second (5, 42, 33, 2) Graph...…….…………………………………………………. 24 2.2.17 Third (5, 42, 33, 2) Graph...…...….…………………………………………………. 24 2.2.18 The (5, 4, 35) Graph………………………………….……………………….………. 25 2.2.19 First (43, 34) Graph……….……..……………………………………………………. 25 2.2.20 Second (43, 34) Graph…...……..……………………………………………………. 26 2.2.21 Third (43, 34) Graph……….…...……………………………………………………. 26 2.2.22 First (44, 32, 2) Graph…………………………..……………………………………. 27 2.2.23 Second (44, 32, 2) Graph…………..…………..……………………………………. 28 2.2.24 Third (44, 32, 2) Graph……..…………………..……………………………………. 28 2.2.25 Fourth (44, 32, 2) Graph…………...…………..……………………………………. 29 vi 2.2.26 Fourth (43, 34) Graph…………………………..……………………………………. 29 2.2.27 Fifth (43, 34) Graph……………………….……..……………………………………. 30 2.2.28 First (45, 22) Graph.…………………….……..……………………………...………. 31 2.2.29 Second (45, 22) Graph.…………………..……..……………………………………. 31 2.2.30 Third (45, 22) Graph..…………………….……..……………………………………. 32 2.2.31 Fourth (5, 42, 33, 2) Graph…………….……..……………………………………. 33 2.2.32 The (52, 34, 2) Graph.…………………….……..……………………………………. 34 2.2.33 Fifth (44, 32, 2) Graph..………………….……..……………………………………. 34 2.3.1 A (5, 15) Graph…….……………………….……..……………………………………. 37 2.3.2 A (52, 25) Graph…...……………………….……..……………………………………. 38 2.3.3 A (52, 4, 32, 22) Graph..………………….……..……………………………………. 38 2.3.4 The (52, 45) Triangulation.…………….……..……………………………………. 39 2.3.5 A (6, 16) Graph…….……………………….……..……………………………………. 39 2.3.6 A (6, 36) Graph…….……………………….……..……………………………………. 40 2.3.7 A (6, 44, 32) Graph….…………………………………………………………………. 40 2.3.8 The (6, 46) Graph is Not a TrianGulation.…………………………………… 41 2.3.9 A (5, 15) Graph……..…………………….……..……………………………...………. 41 2.3.10 A (5, 4, 24, 1) Graph…..…………………..……..……………………………………. 42 2.3.11 A (5, 43, 33) Graph…..…………………….……..……………………………………. 42 2.3.12 A (52, 43, 32) Graph……………………….……..……………………………………. 43 2.3.13 The (53, 43, 3) Triangulation..…….….……..……………………………………. 43 2.3.14 A (6, 16) Graph……….....………………….……..……………………………………. 44 vii 2.3.15 A (6, 36) Graph.…………………………….……..……………………………………. 44 2.3.16 A (6, 5, 42, 33) Graph.…………………….……..……………………………………. 45 2.3.17 The (6, 5, 44, 3) Graph is Not a TrianGulation.……………………………. 45 2.3.18 A (6, 36) Graph……………….…………….……..……………………………………. 46 2.3.19 The (62, 43, 32) Triangulation….…….……..……………………………………. 46 2.3.20 A (6, 36) Graph……..…………………….……..……………………………...………. 47 2.3.21 A (6, 5, 42, 33) Graph...…………………..……..……………………………………. 47 2.3.22 The (6, 52, 42, 32) Triangulation…….……..……………………………………. 48 2.3.23 A (5, 35, 2) Graph………………………….……..……………………………………. 48 2.3.24 A (54, 32, 2) Graph……………....…….….……..……………………………………. 49 2.3.25 The (54, 4, 32) Graph is Not a TrianGulation….……………………………. 49 2.3.26 A (6, 36) Graph..…………...……………….……..……………………………………. 50 2.3.27 The (6, 53, 33) Triangulation.……….……..………………..……………………. 50 2.3.28 A (6, 16) Graph…………………………………………...……………………………. 51 2.3.29 A (62, 25) Graph.…………….…………….……..……………………………………. 51 2.3.30 The (63, 34) Graph is Not a TrianGulation….……….………………………. 52 2.3.31 (52, 45) Graph and its Complement..……..……………………………………. 53 2.3.32 The “Pentagon – SeGment” Graph….……..……………………………………. 53 2.3.33 Graph and its Complement………………………....……………………………. 53 2.3.34 The “Thin – Y” Graph.……..…………….……..……………………………………. 54 2.3.35 (62, 43, 32) Graph and its Complement.....……………………………………. 54 2.3.36 The “House” Graph…………………….……..……………………………...………. 55 viii 2.3.37 (6, 52, 42, 32) Graph and its Complement..…..………………………………. 55 2.3.38 The “Fat – Y” Graph………………..…….……..……………………………………. 55 2.3.39 (6, 53, 33) Graph and its Complement…..……………………………………. 56 2.3.40 The “Hat” Graph………………....…….….……..……………………………………. 56 2.3.41 A ListinG of Complements of the Five Triangulations on Seven Vertices………………………………………………………………………………. 56 2.4.1 The K6 Graph, the K3,3,1 Graph, and the P7 Graph………...………………. 57 2.4.2 The K4,4 – e Graph, the P8 Graph, and the P9 Graph.….…………………. 57 2.4.3 The Petersen Graph.…………………………………...……………………………. 58 2.4.4 The Petersen Graph P8 and its Complement.…..…………………………. 59 2.4.5 The Petersen Graph K4,4 – e and its Complement...….…………………. 59 2.4.6 The Petersen Graph P7 and its Complement...…….………………………. 59 2.4.7 The Complement of the P7 Graph…..……..……………………………………. 60 2.4.8 The P7 Graph Plus a Degree Zero Vertex, X………………...………………. 60 2.4.9 The P7 Complement Plus a Vertex X of Full DeGree….…………………. 60 2.4.10 The Petersen Graph P7…………………………………………………..…………. 61 2.4.11 The First Graph on EiGht Vertices Derived from the P7 Graph, and its Complement..…..……………………………………………...………. 61 2.4.12 The Second Graph on EiGht Vertices Derived from the P7 Graph, and its Complement..…..……………………………………………...………. 62 2.4.13 The Third Graph on EiGht Vertices Derived from the P7 Graph, and its Complement..…..……………………………………………...………. 62 2.4.14 The Fourth Graph on EiGht Vertices Derived from the P7 Graph, and its Complement..…..……………………………………………...………. 63 ix 2.4.15 The Fifth Graph on EiGht Vertices Derived from the P7 Graph, and its Complement..…..……………………………………………...………. 63 2.4.16 The Sixth Graph on EiGht Vertices Derived from the P7 Graph, and its Complement..…..……………………………………………...………. 64 2.4.17 The Petersen Graph K3,3,1 and its Complement…....….…………………. 65 2.4.18 The K3,3,1 Complement Plus a Vertex X of Full DeGree...………………. 65 2.4.19 The First Graph on EiGht Vertices Derived from the K3,3,1 Graph, and its Complement..…..……………………………………………...………. 66 2.4.20 The Second Graph on EiGht Vertices Derived from the K3,3,1 Graph, and its Complement..…..……………………………………………...………. 66 2.4.21 The Third Graph on EiGht Vertices Derived from the K3,3,1 Graph, and its Complement..…..……………………………………………...………. 67 2.4.22 The K6 Graph……………………..………………..…………………………………… 68 2.4.23 A Graph on Seven Vertices Derived from the K6 Graph…….………… 68 2.4.24 A Graph on EiGht Vertices Derived from the K6 Graph..……...………. 69 2.4.25 The Complement Derived from a Graph of EiGht Vertices that has a K6 Minor..…..……..…………………………….…………………………. 69 2.4.26 Complements Constructed from the Two Petersen Graphs of EiGht Vertices..…..………………..…………………………….…………………………. 70 2.4.27 Complements Created from the P7 Graph on EiGht Vertices……..…. 70 2.4.28 Complements Created from the K3,3,1 Graph on EiGht Vertices….…. 71 2.4.29 The Complement Created from the K6 Graph on EiGht Vertices..…. 71 3.1.1
Recommended publications
  • On a Conjecture Concerning the Petersen Graph
    On a conjecture concerning the Petersen graph Donald Nelson Michael D. Plummer Department of Mathematical Sciences Department of Mathematics Middle Tennessee State University Vanderbilt University Murfreesboro,TN37132,USA Nashville,TN37240,USA [email protected] [email protected] Neil Robertson* Xiaoya Zha† Department of Mathematics Department of Mathematical Sciences Ohio State University Middle Tennessee State University Columbus,OH43210,USA Murfreesboro,TN37132,USA [email protected] [email protected] Submitted: Oct 4, 2010; Accepted: Jan 10, 2011; Published: Jan 19, 2011 Mathematics Subject Classifications: 05C38, 05C40, 05C75 Abstract Robertson has conjectured that the only 3-connected, internally 4-con- nected graph of girth 5 in which every odd cycle of length greater than 5 has a chord is the Petersen graph. We prove this conjecture in the special case where the graphs involved are also cubic. Moreover, this proof does not require the internal-4-connectivity assumption. An example is then presented to show that the assumption of internal 4-connectivity cannot be dropped as an hypothesis in the original conjecture. We then summarize our results aimed toward the solution of the conjec- ture in its original form. In particular, let G be any 3-connected internally-4- connected graph of girth 5 in which every odd cycle of length greater than 5 has a chord. If C is any girth cycle in G then N(C)\V (C) cannot be edgeless, and if N(C)\V (C) contains a path of length at least 2, then the conjecture is true. Consequently, if the conjecture is false and H is a counterexample, then for any girth cycle C in H, N(C)\V (C) induces a nontrivial matching M together with an independent set of vertices.
    [Show full text]
  • INTRINSIC LINKING in DIRECTED GRAPHS 1. Introduction Research
    INTRINSIC LINKING IN DIRECTED GRAPHS JOEL STEPHEN FOISY, HUGH NELSON HOWARDS, NATALIE ROSE RICH* Abstract. We extend the notion of intrinsic linking to directed graphs. We give methods of constructing intrinsically linked directed graphs, as well as complicated directed graphs that are not intrinsically linked. We prove that the double directed version of a graph G is intrinsically linked if and only if G is intrinsically linked. One Corollary is that J6, the complete symmetric directed graph on 6 vertices (with 30 directed edges), is intrinsically linked. We further extend this to show that it is possible to find a subgraph of J6 by deleting 6 edges that is still intrinsically linked, but that no subgraph of J6 obtained by deleting 7 edges is intrinsically linked. We also show that J6 with an arbitrary edge deleted is intrinsically linked, but if the wrong two edges are chosen, J6 with two edges deleted can be embedded linklessly. 1. Introduction Research in spatial graphs has been rapidly on the rise over the last fif- teen years. It is interesting because of its elegance, depth, and accessibility. Since Conway and Gordon published their seminal paper in 1983 [4] show- ing that the complete graph on 6 vertices is intrinsically linked (also shown independently by Sachs [10]) and the complete graph on 7 vertices is in- trinsically knotted, over 62 papers have been published referencing it. The topology of graphs is, of course, interesting because it touches on chem- istry, networks, computers, etc. This paper takes the natural step of asking about the topology of directed graphs, sometimes called digraphs.
    [Show full text]
  • A Splitter for Graphs with No Petersen Family Minor John Maharry*
    Journal of Combinatorial Theory, Series B TB1800 Journal of Combinatorial Theory, Series B 72, 136139 (1998) Article No. TB971800 A Splitter for Graphs with No Petersen Family Minor John Maharry* Department of Mathematics, The Ohio State University, Columbus, Ohio 43210-1174 E-mail: maharryÄmath.ohio-state.edu Received December 2, 1996 The Petersen family consists of the seven graphs that can be obtained from the Petersen Graph by Y2- and 2Y-exchanges. A splitter for a family of graphs is a maximal 3-connected graph in the family. In this paper, a previously studied graph, Q13, 3 , is shown to be a splitter for the set of all graphs with no Petersen family minor. Moreover, Q13, 3 is a splitter for the family of graphs with no K6 -minor, as well as for the family of graphs with no Petersen minor. 1998 Academic Press View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector In this paper all graphs are assumed to be finite and simple. A graph H is called a minor of a graph G if H can be obtained from a subgraph of G by contracting edges. This is denoted Hm G. A simple graph with at least 4 vertices is 3-connected if it remains connected after the deletion of any two vertices. Let y be a vertex of a graph G such that y has exactly three distinct neighbors [a, b, c]. Let H be the graph obtained from G by deleting y and adding a triangle on the vertices, [a, b, c].
    [Show full text]
  • Arxiv:1708.08439V2 [Math.CO] 7 Feb 2019 Vertex a All Introduction 1 7Dcme 2018
    THE EXTREMAL FUNCTION FOR BIPARTITE LINKLESSLY EMBEDDABLE GRAPHS1 Rose McCarty and Robin Thomas School of Mathematics Georgia Institute of Technology Atlanta, Georgia 30332-0160, USA Abstract An embedding of a graph in 3-space is linkless if for every two disjoint cycles there exists an embedded ball that contains one of the cycles and is disjoint from the other. We prove that every bipartite linklessly embeddable (simple) graph on n 5 vertices has ≥ at most 3n 10 edges, unless it is isomorphic to the complete bipartite graph K3,n−3. − 1 Introduction All graphs in this paper are finite and simple. Paths and cycles have no “repeated” vertices. An embedding of a graph in 3-space is linkless if for every two disjoint cycles there exists an embedded ball that contains one of the cycles and is disjoint from the other. We prove the following theorem. Theorem 1.1. Every bipartite linklessly embeddable graph on n 5 vertices has at most ≥ 3n 10 edges, unless it is isomorphic to the complete bipartite graph K ,n− . − 3 3 The question of whether linklessly embeddable bipartite graphs on n 5 vertices have ≥ at most 3n 9 edges is stated as [18, Problem 2.3], and Theorem 1.1 is implied by [6, − Conjecture 4.5]. The following are equivalent conditions for a graph to be linklessly embeddable. A graph H is obtained from a graph G by a Y ∆ transformation if H is obtained from G by deleting arXiv:1708.08439v2 [math.CO] 7 Feb 2019 a vertex v of degree 3 and joining every pair of non-adjacent neighbors of v by an edge.
    [Show full text]
  • Arxiv:2009.06565V2 [Math.GT] 20 Jul 2021 Petersen Family
    CLASSIFYING INTRINSICALLY LINKED TOURNAMENTS BY SCORE SEQUENCE THOMAS FLEMING AND JOEL FOISY Abstract. A tournament on 8 or more vertices may be intrinsically linked as a directed graph. We begin the classification of intrinsically linked tourna- ments by examining their score sequences. While many distinct tournaments may have the same score sequence, there exist score sequences S such that any tournament with score sequence S has an embedding with no nonsplit consistently oriented link. We call such score sequences linkless, and we show that the vast majority of score sequences for 8 vertex tournaments are linkless. We also extend these results to n vertex tournaments and are able to classify many longer score sequences as well. We show that for any n, there exist at least O(n) linkless score sequences, but we conjecture that the fraction of score sequences of length n that are linkless goes to 0 as n becomes large. 1. Introduction A graph is called intrinsically linked if every embedding of that graph into S3 contains disjoint cycles that form a non-split link. This property was first studied in [14] and [2]. A directed graph G is said to be intrinsically linked as a directed graph if every embedding of G into S3 contains cycles that form a non-split link L, and the edges of G that make up each component of L have a consistent orienta- tion. Intrinsically linked directed graphs were first studied in [6]. The existence of intrinsically linked directed graphs with linking and knotting structures as complex as the unoriented graph case has been established [10].
    [Show full text]
  • Knots, Links and Spatial Graphs
    Knots, Links and Spatial Graphs Spring 2020 Yangxinyu Xie 1 Introduction 2 2 Links and K6 3 2.1 Crossing change . .3 2.2 Linked Embedding of K6 ........................................3 2.3 Peterson family . .4 3 Knots and K7 6 3.1 Arf Invariant . .6 3.2 Main Proof . .7 4 Acknowledgement 9 —————————————————————— Last updated April 29, 2020 1 1. Introduction v In 1983, John Conway and Cameron Gordon published a well-known paper Knots and links in spatial graph [CMG83] that stimulated a wide range of interests in the study of spatial graph theory. In this note, we review this classical paper and some of the earliest results in intrinsic properties of graphs. We first review some of the definitions. Definition 1.1 (Graphs). A graph is a pair G = (V; E) of sets such that E ⊆ [V ]2; thus, the elements of E are 2-element subsets of V . The elements of V are the vertices of the graph G, and the elements of E are called edges of G. Two vertices u; v 2 V are called adjacent if (u; v) 2 E. We restrict our attention to undirected graphs, i.e. each pair in E is unordered. Definition 1.2 (Graph isomorphism). Let G = (V; E) and G0 = (V 0;E0) be two graphs. A bijective map φ : V ! V 0 is called an isomorphism from G to G0 if both φ and its inverse φ−1 preserves the adjacency of vertices. We say that G and G0 are isomorphic and write G =∼ G0. Definition 1.3 (Embedding).
    [Show full text]
  • The Extremal Function for Petersen Minors
    JID:YJCTB AID:3129 /FLA [m1L; v1.232; Prn:27/02/2018; 14:01] P.1 (1-34) Journal of Combinatorial Theory, Series B ••• (••••) •••–••• Contents lists available at ScienceDirect Journal of Combinatorial Theory, Series B www.elsevier.com/locate/jctb The extremal function for Petersen minors Kevin Hendrey 1, David R. Wood 2 School of Mathematical Sciences, Monash University, Melbourne, Australia a r t i c l e i n f o a b s t r a c t Article history: We prove that every graph with n vertices and at least 5n − 8 Received 23 September 2016 edges contains the Petersen graph as a minor, and this bound Available online xxxx is best possible. Moreover we characterise all Petersen-minor- free graphs with at least 5n − 11 edges. It follows that every Keywords: graph containing no Petersen minor is 9-colourable and has Graph minor Extremal function vertex arboricity at most 5. These results are also best possi- Petersen graph ble. Chromatic number © 2018 The Authors. Published by Elsevier Inc. All rights Vertex arboricity reserved. 1. Introduction A graph H is a minor of a graph G if a graph isomorphic to H can be obtained from G by the following operations: vertex deletion, edge deletion and edge contraction. The theory of graph minors, initiated in the seminal work of Robertson and Seymour, is at the forefront of research in graph theory. A fundamental question at the intersection of graph minor theory and extremal graph theory asks, for a given graph H, what is the maximum number exm(n, H)of edges in an n-vertex graph containing no H-minor? The function exm(n, H)is called the extremal function for H-minors.
    [Show full text]
  • On Intrinsically Knotted and Linked Graphs
    A BRIEF SURVEY ON INTRINSICALLY KNOTTED AND LINKED GRAPHS RAMIN NAIMI 1. Introduction In the early 1980's, Sachs [36, 37] showed that if G is one of the seven graphs in Figure 1, known as the Petersen family graphs, then every spatial embedding of G, i.e. embedding of G in S3 or R3, contains a nontrivial link | specifically, two cycles that have odd linking number. Henceforth, spatial embedding will be shortened to embedding; and we will not distinguish between an embedding and its image. A graph is intrinsically linked (IL) if every embedding of it contains a nontrivial link. For example, Figure 1 shows a specific embedding of the first graph in the Petersen family, K6, the complete graph on six vertices, with a nontrivial 2-component link highlighted. At about the same time, Conway and Gordon [4] also showed that K6 is IL. They further showed that K7 in intrinsically knotted (IK), i.e. every spatial embedding of it contains a nontrivial knot. Figure 1. Left: The Petersen family graphs [42]. Right: An embedding of K6, with a nontrivial link highlighted. A graph H is a minor of another graph G if H can be obtained from a subgraph arXiv:2006.07342v1 [math.GT] 12 Jun 2020 of G by contracting zero or more edges. It's not difficult to see that if G has a linkless (resp. knotless) embedding, i.e., G is not IL (IK), then every minor of G has a linkless (knotless) embedding [6, 30]. So we say the property of having a linkless (knotless) embedding is minor closed (also called hereditary).
    [Show full text]
  • Computing Linkless and Flat Embeddings of Graphs in R3
    Computing Linkless and Flat Embeddings of Graphs in R3 Stephan Kreutzer Technical University Berlin based on joint work with Ken-ichi Kawarabayashi, Bojan Mohar and Bruce Reed Graph Theory @ Georgie Tech Symposium in Honour of Robin Thomas 7 - 11 May 2012 Drawing Graphs Nicely Graph drawing. The motivation for this work comes from graph drawing: we would like to draw a graph in a way that it is nicely represented. Drawing in two dimensions. Usually we draw graphs on the plane or other surfaces. Planar graphs. Draw a graph on the plane such that no edges cross. Plane embeddings of planar graphs can be computed in linear time. STEPHAN KREUTZER COMPUTING LINKLESS AND FLAT EMBEDDINGS IN R3 2/21 Kuratowski Graphs Of course not every graph is planar. The graphs K3,3 and K5 are examples of non-planar graphs. Theorem. (Kuratowski) Every non-planar graph contains a sub-division of K5 or K3,3 as sub-graph. Definition. • Kuratowski graph: subdivision of K5 or K3,3. • H Kuratowski-subgraph of G if H ⊆ G is isomorphic to a subdivision of K3,3 or K5 STEPHAN KREUTZER COMPUTING LINKLESS AND FLAT EMBEDDINGS IN R3 3/21 Drawings in R3 Non-planar graphs. One option is to draw them on surfaces of higher genus. Again such embeddings (if exist) can be computed in linear time (Mohar) Drawings in R3. We are interested in drawing graphs nicely in R3. Clearly, every graph can be drawn in R3 without crossing edges. To define nice drawings one wants to generalise the property of planar graphs that disjoint cycles are not intertwined, i.e.
    [Show full text]
  • [Math.CO] 1 Jan 1993
    APPEARED IN BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 28, Number 1, January 1993, Pages 84-89 LINKLESS EMBEDDINGS OF GRAPHS IN 3-SPACE Neil Robertson, P. D. Seymour, and Robin Thomas Abstract. We announce results about flat (linkless) embeddings of graphs in 3- space. A piecewise-linear embedding of a graph in 3-space is called flat if every circuit of the graph bounds a disk disjoint from the rest of the graph. We have shown: (i) An embedding is flat if and only if the fundamental group of the complement in 3-space of the embedding of every subgraph is free. (ii) If two flat embeddings of the same graph are not ambient isotopic, then they differ on a subdivision of K5 or K3,3. (iii) Any flat embedding of a graph can be transformed to any other flat embedding of the same graph by “3-switches”, an analog of 2-switches from the theory of planar embeddings. In particular, any two flat embeddings of a 4-connected graph are either ambient isotopic, or one is ambient isotopic to a mirror image of the other. (iv) A graph has a flat embedding if and only if it has no minor isomorphic to one of seven specified graphs. These are the graphs that can be obtained from K6 by means of Y ∆- and ∆Y -exchanges. 1. Introduction All spatial embeddings are assumed to be piecewise linear. If C, C′ are disjoint simple closed curves in S3, then their linking number, lk(C, C′), is the number of times (mod 2) that C crosses over C′ in a regular projection of C ∪C′.
    [Show full text]
  • Open Problems for the Barbados Graph Theory Workshop 2017
    Open Problems for the Barbados Graph Theory Workshop 2017 An up-to-date version of this list is maintained at https://web.math.princeton.edu/~gjg2/ barbadosopenproblems2017.pdf. Please send your open problems and comments to Gregory Gauthier ([email protected]) to be included here. The website for the workshop is https://web.math.princeton.edu/~pds/barbados17/index. html. 1. Let a; b be vertices of a graph G, such that for every vertex v, there is an induced path between a; b containing v. Can we test in polynomial time whether all induced paths between a; b have the same length? (Alex Scott and Paul Seymour) This open problem is brought to you by: 5th International Combinatorics Conference (5ICC) http://www.monash.edu/5icc 2. 4{9 December 2017, Monash University, Melbourne, Australia. Invited speakers include Maria Chudnovsky, David Eppstein, Jacob Fox, Daniela K¨uhn,Alexander Scott, Paul Seymour. A graph G is k-colourable with defect d, or simply (k; d)-colourable, if each vertex v of G can be assigned one of k colours so that at most d neighbours of v are assigned the same colour as v. That is, each monochromatic subgraph has maximum degree at most d. Let's focus on minimising the number of colours k rather than the degree bound d. This viewpoint motivates the following definition [7]. The defective chromatic number of a graph class C is the minimum integer k (if such a k exists) for which there exists an integer d such that every graph in C is (k; d)-colourable.
    [Show full text]
  • Projective-Planar Graphs with No K3,4-Minor
    Wright State University CORE Scholar Mathematics and Statistics Faculty Publications Mathematics and Statistics 3-2011 Projective-Planar Graphs With No K3,4-Minor John Maharry Dan Slilaty Wright State University - Main Campus, [email protected] Follow this and additional works at: https://corescholar.libraries.wright.edu/math Part of the Applied Mathematics Commons, Applied Statistics Commons, and the Mathematics Commons Repository Citation Maharry, J., & Slilaty, D. (2011). Projective-Planar Graphs With No K3,4-Minor. Journal of Graph Theory, 70 (2), 121-134. https://corescholar.libraries.wright.edu/math/315 This Article is brought to you for free and open access by the Mathematics and Statistics department at CORE Scholar. It has been accepted for inclusion in Mathematics and Statistics Faculty Publications by an authorized administrator of CORE Scholar. For more information, please contact [email protected]. Projective-planar graphs with no K3;4-minor John Maharry ∗ Daniel Slilaty y December 28, 2010 Abstract An exact structure is described to classify the projective-planar graphs that do not contain a K3;4-minor. 1 Introduction There are several graphs H for which the precise structure of graphs that do not contain a minor isomorphic to H is known. In particular, such structure theorems are known for K5 [13], V8 [8] and [7], the cube [3], the octahedron [4], and several others. Such characterizations can often be very useful, e.g., Hadwiger's conjecture for k = 4 is verified by using the structure for K5-free graphs, and the structure theorem for V8-free graphs is used to characterize how projective-planar graphs may be re-embedded in the projective plane [5].
    [Show full text]