Graph Embedding Algorithms

Total Page:16

File Type:pdf, Size:1020Kb

Graph Embedding Algorithms Graph Embedding Algorithms by ANDREI GAGARIN A Thesis Submitted to the Faculty of Graduate Studies in Partial Fblfillment of the Requirements for the Degree of DOCTOR OF PHILOSOPHY Department of Computer Science University of Manitoba Winnipeg, Manitoba, Canada @ Copyright by Andrei Gagarin, 2003 June 11, 2003 THE UNIVERSITY OF MANITOBA FACULTY OF GRADUATE STUDIES *t*** COPYRIGHT PERMISSION PAGE GRAPH EMBEDDING ALGORITHMS BY ANDREI GAGARIN A Thesis/Practicum submitted to the Faculty of Graduate Studies of The University of Manitoba in partial fulfillment of the requirements of the degree of Doctor of Philosophy ANDREI GAGARIN @ 2OO3 permission has been granted to the Library of The University of Ma¡ritoba to lend or sell copies of this thesis/practicum, to the National Library of Canada to microfilm this thesis and to lend or sell copies of the film, and to University Microfilm Inc. to publish an abstract of this thesis/practicum. The author reserves other publication rights, and neither this thesis/practicum nor exteruive extracts from it may be printed or otherwise reproduced without the author's written permission. Abstract A topologi,cal surface,S can be obtained from the sphere by adding a number of handles and/or cross-caps. Any topological surface can be represented as a polygon whose sides are identified in pairs. The projectiue plane can be represented as a circular disk with opposite pairs of points on its boundary identified. The torus can be represented as a rectangle with opposite sides of its boundary identified. is possible to Given a graph G and a topological surface ^9, we ask whether it draw the graph on the surface without edge crossings. Such a drawing of G on the surface is called an embeddi,ng of. G in S. It divides the surface into connected regions called faces. An embedding is 2-cell if each face is equivalent to an open disk. Efficient embedding algorithms for the plane are well-known. By Kuratowski's Theorem, a non-planar graph G contains a subdivision of K5 or K3,3 as a subgraph. The objective of this thesis is to devise efficient practical embedding algorithms for the projective plane and torus. The major contributions of the thesis are: o A new linear time algorithm to detect a projective planar graph; Given a K5-subdivision in G, a linear time algorithm to determine if G is toroidal or to provide a K3,3-subdivision in G; o Simple methods to transform a planar embedding into a 2-cell projective planar or toroidal embedding. The known linear time algorithm for the projective plane in [28] appears to be infeasible and it is not clear if the approach is correct. The practical linear time projective planarity algorithm of the thesis improves the O(n2) time algorithm of [30]. The algorithm for the torus permits to reduce toroidality testing to a constant number of planarity checks or to a Ks,g-subdivision in the graph. It runs in linear time and can be used to simplify algorithms presented in [21] and [31]. 1ll Acknowledgements I am very thankful to my advisor, Professor William Kocay, for invoiving me in algorithmic and topological graph theory research. Without his experience, intuition, calm, confidence and understanding this thesis definitely would not be possible. I hope we will collaborate on these nice problems in the future. I would like to thank: my parents and friends overseas for their direct or indirect moral support and encouragement; my former scientific advisors, Professors Igor E. Zverovich, Regina I. Tyshkevich, Pierre Duchet, Charles Payan and Lynn Batten for showing me the taste of real research and for introducing me to such a wonderful research area as Graph Theory and Combinatorics; The Department of Mathematics at the University of Manitoba for pro- viding me the opportunity to study in Winnipeg; The Fields Institute (University of Toronto) and the Department of Com- binatorics and Optimization (University of Waterloo) for inviting me to the Special Year 1999-2000 on Graph Theory and Combinatorial Opti- mization at The Fields Institute; o Professor Helen Cameron and Administrative Assistant Lynne Romuld 1V (Department of Computer Science) for their understanding and help in difiÊcult situations during my studies at the University of Manitoba. List of Figures 2.L The polygonal representation of the sphere 8 2.2 The polygonal representation of the projective plane . I 2.3 The polygonal representation of the torus . 10 2.4 The plane drawing of the cylinder 10 2.5 An embedding of Ks,s on the projective plane T4 3.1 DFS-tree and digraph G'with low points 25 3.2 Embedding chords around a DFS-cycle C 45 4.I Essential and contractible cycles on the projective plane 52 vt 4.2 Cutting the torus surface into a 2-cell 54 4.3 The torus cut into a 2-cell 54 4.4 Planar embedding of G on the projective plane 56 4.5 2-cell embedding of planar G on the projective plane 57 4.6 d-subgraph in a planar embedding of G 58 4.7 Converting a planar embedding into a 2-cell toroidal . 59 5.1 Embedding of Ks,s on the projective plane 63 5.2 Embeddings of K5 on the projective plane 63 5.3 Edge ur overused by toroidal constraints 77 5.4 Embedding for a cyclic set of toroidal constraints 78 5.5 Cylinder embedding for G cut along cycle C 80 5.6 Two edge disjoint paths to cut the cylinder face 81 6.1 K3,3 created by short cut P 86 6.2 K3,3 created by short cut P 86 vlr 6.3 K3,3 created by short cut P 87 6.4 K3,3 created by 3-corner vertex z 87 7.I K5 on the projective plane 94 7.2 K3,3 and its embedding on the projective plane 97 ntr.() The dual graph of the projective planar embedding of Ks,s 97 7.4 Unfolded faces of an embedding of TKs,s 98 7.5 Möbius band cut along a side 99 7.6 The six labelled embeddings of TKs3 101 7.7 Two chords crossing in a face t02 7.8 The unique embedding of G: TKs,s U {"t, ez,es} 105 7.9 The pattern of 1-face chords r07 7.10 The pattern of 3-face chords 108 7.11 The pattern of quadragon 2-face chords 111 7.I2 The pattern of parallel and perpendicular 2-f.ace chords 113 vlll 7.13 Three matched diagonal compatible Möbius bands . i15 7.I4 A pair of matched corner compatible Möbius bands 116 7.L5 3-face chord in the hexagon 119 ^ 7.16 Chords in conflict r22 7.17 Disjoint perpendicular chords t23 7.18 Adjacent perpendicular chords r23 7.I9 non-embeddable component C of M(H) 726 ^ 7.20 A 1-way embeddable component C of M(H) 126 7.27 A Z-way embeddable component 127 7.22 Embedding of component C1 flips component C2 128 7.23 l-way components with perpendicular chords crossing 130 7.24 Independent 2-way components 131 8.1 Möbius band labeling . 134 8.2 Configuration of perpendicular chords in the Möbius band 139 IX 8.3 An optimal placement of a 2-way bundle I4l 8.4 Perpendicular chord e2 flipped by er via parallel chords €',€" 743 8.5 The flip interval for chord e 745 8.6 Consecutive chords in a bundle r46 8.7 Flipping a bundle 747 8.8 Four combinations of perpendicular stars in a bundle t49 8.9 Flipping bundles to embed a parallel chord 151 8.10 DFS-ordering of sides and face labelling of.TKz,s 155 8.1i DFS-ordering of the quadragon facial boundaries 156 8.12 DFS-ordering of the hexagon facial boundary . 161 8.13 The embedding of.TK3p used to calculate a rotation system 169 8.14 The line graph of the Petersen graph 776 8.15 A projective planar embedding example 777 8.16 A projective planar embedding example 178 8.17 Non-projective configuration example 778 9.1 The embeddings of K5 on the torus 180 9.2 A face with one repeated vertex 782 9.3 A face with two repeated vertices 183 9.4 A face with three repeated vertices 184 9.5 A face with four repeated vertices . 185 9.6 Non-toroidal graphs ¡ú, Ng r87 ^¡2, 9.7 Toroidal graph M 188 9.8 Non-toroidal graphs 191 10.1 The two embeddings of Kg,s on the torus 200 X1 Contents 1 Introduction 2 Graphs and Surfaces: Basic Notation and Results 6 n 2.I Basic Notation and Definitions I 2.2 Overview of the Related Results 15 3 Planarity Testing 20 oe 3.1 Cycle and Paths Decomposition Lù 3.2 Properties of the Path Decomposition 30 3.2.1 Path Properties 31 xlt .).) 3.2.2 Segments ùù 3.3 Main Features of the Embedding Algorithm 35 3.3.1 Embedding the First Path of a Segment 36 3.3.2 Recursion 38 3.3.3 Data Structures 39 3.3.4 Complexity of the Algorithm 42 3.4 Summary of the Hopcroft-Tarjan Planarity Algorithm . 43 3.4.I A Spanning initial Cycle 43 3.4.2 Recursion for taversing a Non-Spanning Initial Cycle 46 4 Essential Cycles on the Projective Plane and Torus 50 4.I Embedding Cycles on the Projective Plane 51 4.2 Embedding Cycles on the Torus 53 4.3 2-Cell Embeddings of Planar Graphs on the Projective Plane and Torus 55 xlll Graph Embedding Algorithms Currently Implemented for the Projective Plane and Torus 61 5.1 Practical Projective Planarity Testing 62 5.i.1 Basic Ideas 64 5.7.2 3-Face Bridges 65 5.1.3 Conflicts Between Bridges and 2-SAT Problem 68 5.7.4 Outline of the Quadratic Projective Planarity Algorithm 7I 5.1.5 Analysis and Complexity of the Algorithm 72 5.2 Practical Toroidality Testing 74 5.2.I Flat Cycles and Non-Toroidal Graph Constraints 74 5.2.2 Essential Cycles and Toroidality Testing 79 6 Graphs Containing K5-Subdivisions 83 6.1 Short Cuts and 3-Corner Vertices 84 6.2 Side Components 88 xtv 6.3 Augmented Side Components 90 7 Embedding Graphs on the Projective Plane 92 7.I Ks-Subdivisions and Planarity 92 7.7.I Characterization for Projective Planarity Checking 93 7.I.2 Graphs with a Ks-Subdivision 95 7.2 A Spanning K¡,s-Subdivision .
Recommended publications
  • A Dynamic Data Structure for Planar Graph Embedding
    October 1987 UILU-ENG-87-2265 ACT-83 COORDINATED SCIENCE LABORATORY College of Engineering Applied Computation Theory A DYNAMIC DATA STRUCTURE FOR PLANAR GRAPH EMBEDDING Roberto Tamassia UNIVERSITY OF ILLINOIS AT URBANA-CHAMPAIGN Approved for Public Release. Distribution Unlimited. UNCLASSIFIED___________ SEÒjrtlfy CLASSIFICATION OP THIS PAGE REPORT DOCUMENTATION PAGE 1 a. REPORT SECURITY CLASSIFICATION 1b. RESTRICTIVE MARKINGS Unclassified None 2a. SECURITY CLASSIFICATION AUTHORITY 3. DISTRIBUTION/AVAILABIUTY OF REPORT 2b. DECLASSIFICATION / DOWNGRADING SCHEDULE Approved for public release; distribution unlimited 4. PERFORMING ORGANIZATION REPORT NUMBER(S) 5. MONITORING ORGANIZATION REPORT NUMBER(S) UILU-ENG-87-2265 ACT #83 6a. NAME OF PERFORMING ORGANIZATION 6b. OFFICE SYMBOL 7a. NAME OF MONITORING ORGANIZATION Coordinated Science Lab (If applicati!a) University of Illinois N/A National Science Foundation 6c ADDRESS (City, Statt, and ZIP Coda) 7b. ADDRESS (City, Stata, and ZIP Coda) 1101 W. Springfield Avenue 1800 G Street, N.W. Urbana, IL 61801 Washington, D.C. 20550 8a. NAME OF FUNDING/SPONSORING 8b. OFFICE SYMBOL 9. PROCUREMENT INSTRUMENT IDENTIFICATION NUMBER ORGANIZATION (If applicatila) National Science Foundation ECS-84-10902 8c. ADDRESS (City, Stata, and ZIP Coda) 10. SOURCE OF FUNDING NUMBERS 1800 G Street, N.W. PROGRAM PROJECT TASK WORK UNIT Washington, D.C. 20550 ELEMENT NO. NO. NO. ACCESSION NO. A Dynamic Data Structure for Planar Graph Embedding 12. PERSONAL AUTHOR(S) Tamassia, Roberto 13a. TYPE OF REPORT 13b. TIME COVERED 14-^ A T E OP REPORT (Year, Month, Day) 5. PAGE COUNT Technical FROM______ TO 1987, October 26 ? 41 16. SUPPLEMENTARY NOTATION 17. COSATI CODES 18. SUBJECT TERMS (Continua on ravarsa if nacassary and identify by block number) FIELD GROUP SUB-GROUP planar graph, planar embedding, dynamic data structure, on-line algorithm, analysis of algorithms present a dynamic data structure that allows for incrementally constructing a planar embedding of a planar graph.
    [Show full text]
  • Partial Duality and Closed 2-Cell Embeddings
    Partial duality and closed 2-cell embeddings To Adrian Bondy on his 70th birthday M. N. Ellingham1;3 Department of Mathematics, 1326 Stevenson Center Vanderbilt University, Nashville, Tennessee 37240, U.S.A. [email protected] Xiaoya Zha2;3 Department of Mathematical Sciences, Box 34 Middle Tennessee State University Murfreesboro, Tennessee 37132, U.S.A. [email protected] April 28, 2016; to appear in Journal of Combinatorics Abstract In 2009 Chmutov introduced the idea of partial duality for embeddings of graphs in surfaces. We discuss some alternative descriptions of partial duality, which demonstrate the symmetry between vertices and faces. One is in terms of band decompositions, and the other is in terms of the gem (graph-encoded map) representation of an embedding. We then use these to investigate when a partial dual is a closed 2-cell embedding, in which every face is bounded by a cycle in the graph. We obtain a necessary and sufficient condition for a partial dual to be closed 2-cell, and also a sufficient condition for no partial dual to be closed 2-cell. 1 Introduction In this paper a surface Σ means a connected compact 2-manifold without boundary. By an open or closed disk in Σ we mean a subset of the surface homeomorphic to such a subset of R2. By a simple closed curve or circle in Σ we mean an image of a circle in R2 under a continuous injective map; a simple arc is a similar image of [0; 1]. The closure of a set S is denoted S, and the boundary is denoted @S.
    [Show full text]
  • Some Conjectures in Chromatic Topological Graph Theory Joan P
    Some Conjectures in Chromatic Topological Graph Theory Joan P. Hutchinson Macalester College, emerita Thanks to Stan Wagon for the colorful graphics. Ñ 1 2 3 4 5 6 7 ALMOST FOUR-COLORING ON SURFACES: ALMOST FOUR-COLORING ON SURFACES: #1. M.O. Albertson’s favorite CONJECTURE (1980): All vertices of a triangulation of the torus can be 4-col- ored except for at most three vertices. Motivation: Every graph on the torus can be 7-colored, and every 7-chromatic toroidal graph contains K7, a trian- gulation of the torus. Every 6-chromatic toroidal graph contains one of four graphs. [Thomassen 1994] The list for 5-chromatic toroidal graphs is infinite... An affirmative answer to this conjecture implies the Four Color Theorem. In Jensen & Toft, Graph Coloring Problems, Albertson’s Four-Color Problem. CONJECTURE: For every surface S, there is an integer f HSL such that all but f HSL vertices of a graph embed- dable on S can be 4-colored. TWO & THREE-COLORING ON SURFACES #2. The “easiest” coloring result states that every plane graph can be two-colored provided every face is bounded by an even number of edges. What is true on surfaces? Locally bipartite (aka evenly embedded) graphs are those embedded on a surface with all faces bounded by an even number of edges. There is a Heawood/Ringel type theorem for locally bipar- tite graphs on surfaces. The more “modern” question asks about locally planar, locally bipartite graphs on surfaces: The more “modern” question asks about locally planar, locally bipartite graphs on surfaces: Locally planar (Albertson & Stromquist 1980) means that all noncontractible cycles are long, as long as needed for the conjecture/question/theorem at hand.
    [Show full text]
  • A Study of Solution Strategies for Some Graph
    A STUDY OF SOLUTION STRATEGIES FOR SOME GRAPH EMBEDDING PROBLEMS A Synopsis Submitted in the partial fulfilment of the requirements for the degree of Doctor of Philosophy in Mathematics Submitted by Aditi Khandelwal Prof. Gur Saran Prof. Kamal Srivastava Supervisor Co-supervisor Department of Mathematics Department of Mathematics Prof. Ravinder Kumar Prof. G.S. Tyagi Head, Department of Head, Department of Physics Mathematics Dean, Faculty of Science Department of Mathematics Faculty of Science, Dayalbagh Educational Institute (Deemed University) Dayalbagh, Agra-282005 March, 2017. A STUDY OF SOLUTION STRATEGIES FOR SOME GRAPH EMBEDDING PROBLEMS 1. Introduction Many problems of practical interest can easily be represented in the form of graph theoretical optimization problems like the Travelling Salesman Problem, Time Table Scheduling Problem etc. Recently, the application of metaheuristics and development of algorithms for problem solving has gained particular importance in the field of Computer Science and specially Graph Theory. Although various problems are polynomial time solvable, there are large number of problems which are NP-hard. Such problems can be dealt with using metaheuristics. Metaheuristics are a successful alternative to classical ways of solving optimization problems, to provide satisfactory solutions to large and complex problems. Although they are alternative methods to address optimization problems, there is no theoretical guarantee on results [JJM] but usually provide near optimal solutions in practice. Using heuristic
    [Show full text]
  • On Drawing a Graph Convexly in the Plane (Extended Abstract) *
    On Drawing a Graph Convexly in the Plane (Extended Abstract) * HRISTO N. DJIDJEV Department of Computer Science, Rice University, Hoston, TX 77251, USA Abstract. Let G be a planar graph and H be a subgraph of G. Given any convex drawing of H, we investigate the problem of how to extend the drawing of H to a convex drawing of G. We obtain a necessary and sufficient condition for the existence and a linear Mgorithm for the construction of such an extension. Our results and their corollaries generalize previous theoretical and algorithmic results of Tutte, Thomassen, Chiba, Yamanouchi, and Nishizeki. 1 Introduction The problem of embedding of a graph in the plane so that the resulting drawing has nice geometric properties has received recently .significant attention. This is due to the large number of applications including circuit and VLSI design, algorithm animation, information systems design and analysis. The reader is referred to [1] for annotated bibliography on graph drawings. The first linear-time algorithm for testing a graph for planarity was constructed by Hopcroft and Tarjan [9]. A different linear time algorithm was developed by Booth and Lueker [3], who made use of PQ-trees and a previous algorithm of Lempel et al. [11]. Using the information obtained during the planarity testing, one can find in linear time a planar representation of the graph, if it is planar. Such an algorithm based on [3] has been described by Chiba et al. [4]. A classical result established by Wagner states that every planar graph has a planar straight-line drawing [18].
    [Show full text]
  • On Self-Duality of Branchwidth in Graphs of Bounded Genus ⋆
    On Self-Duality of Branchwidth in Graphs of Bounded Genus ? Ignasi Sau a aMascotte project INRIA/CNRS/UNSA, Sophia-Antipolis, France; and Graph Theory and Comb. Group, Applied Maths. IV Dept. of UPC, Barcelona, Spain. Dimitrios M. Thilikos b bDepartment of Mathematics, National Kapodistrian University of Athens, Greece. Abstract A graph parameter is self-dual in some class of graphs embeddable in some surface if its value does not change in the dual graph more than a constant factor. Self-duality has been examined for several width-parameters, such as branchwidth, pathwidth, and treewidth. In this paper, we give a direct proof of the self-duality of branchwidth in graphs embedded in some surface. In this direction, we prove that bw(G∗) ≤ 6 · bw(G) + 2g − 4 for any graph G embedded in a surface of Euler genus g. Key words: graphs on surfaces, branchwidth, duality, polyhedral embedding. 1 Preliminaries A surface is a connected compact 2-manifold without boundaries. A surface Σ can be obtained, up to homeomorphism, by adding eg(Σ) crosscaps to the sphere. eg(Σ) is called the Euler genus of Σ. We denote by (G; Σ) a graph G embedded in a surface Σ. A subset of Σ meeting the drawing only at vertices of G is called G-normal. If an O-arc is G-normal, then we call it a noose. The length of a noose is the number of its vertices. Representativity, or face-width, is a parameter that quantifies local planarity and density of embeddings. The representativity rep(G; Σ) of a graph embedding (G; Σ) is the smallest length of a non-contractible noose in Σ.
    [Show full text]
  • Biplanar Graphs: a Survey
    ComputersMath.Applic.Vol. 34, No. 11,pp. 1-8, 1997 Pergamon Copyright(FJ1997ElsevierScienceLtd @ Printedin GreatBritain.All rightsreserved 0898-1221/97$17.00+ 0.00 PII: S0898-1221(97)00214-9 Biplanar Graphs: A Survey L. W, BEINEKE Departmentof MathematicalSciences IndianaUniversity-PurdueUniversity Fort Wayne, IN 46805,U.S.A. Abstract—A graphis calledbiplanarif it is the unionof two planargraphs. In this survey, we presenta varietyof reeultson biplanargraphs,somespecialfamiliesof suchgraphs,and some generalizations. Keywords-planar graphs,Biplanargraphs,Thickness,Doublylineargraphs,Visibilitygraphs. 1. BACKGROUND In 1986, as part of the commemorationof the 250thanniversaryof graph theory and the cele- bration of the 65thbirthday of FrankHarary,we gave a surveyof graph thicknessand related concepts [1]. The presentpaper is the resultof an invitationto up-datethat work. The thrust of this paper will be ratherdifferenthowever,focusingon “biplanar”graphs,those that are the union of just two planargraphs. In fact, the thicknessof a graphhas its originsin this question: which complete graphscan be expressedas the unionof two planargraphs? We begin with a few historical comments. In the early 1960’s, Selfridgeobserved that no graphwith elevenverticescan havea planarcomplement.This is easilyseen,sincethe complete graph Kll has fifty-fiveedges, but Euler’s polyhedronformulaimpliesthat a planar graph of order 11 can have no more than twenty-sevenedges. Consequently,KU cannot be the union of two planar graphs. On the other hand, as Figure 1 shows, there are planargraphs of order 8 whose complementsare also planar. (In fact, the examplein Figure 1 is self-complementary.) For graphs of order 9, the questionturned out to be quite difficultto answer. In the event, the answerwas shownto be negative,by Battle, Harary,and Kodama [2]and independentlyby Tutte [3].
    [Show full text]
  • Arxiv:2011.14609V1 [Math.CO] 30 Nov 2020 Vertices in Different Partition Sets Are Linked by a Hamilton Path of This Graph
    Symmetries of the Honeycomb toroidal graphs Primož Šparla;b;c aUniversity of Ljubljana, Faculty of Education, Ljubljana, Slovenia bUniversity of Primorska, Institute Andrej Marušič, Koper, Slovenia cInstitute of Mathematics, Physics and Mechanics, Ljubljana, Slovenia Abstract Honeycomb toroidal graphs are a family of cubic graphs determined by a set of three parameters, that have been studied over the last three decades both by mathematicians and computer scientists. They can all be embedded on a torus and coincide with the cubic Cayley graphs of generalized dihedral groups with respect to a set of three reflections. In a recent survey paper B. Alspach gathered most known results on this intriguing family of graphs and suggested a number of research problems regarding them. In this paper we solve two of these problems by determining the full automorphism group of each honeycomb toroidal graph. Keywords: automorphism; honeycomb toroidal graph; cubic; Cayley 1 Introduction In this short paper we focus on a certain family of cubic graphs with many interesting properties. They are called honeycomb toroidal graphs, mainly because they can be embedded on the torus in such a way that the corresponding faces are hexagons. The usual definition of these graphs is purely combinatorial where, somewhat vaguely, the honeycomb toroidal graph HTG(m; n; `) is defined as the graph of order mn having m disjoint “vertical” n-cycles (with n even) such that two consecutive n-cycles are linked together by n=2 “horizontal” edges, linking every other vertex of the first cycle to every other vertex of the second one, and where the last “vertcial” cycle is linked back to the first one according to the parameter ` (see Section 3 for a precise definition).
    [Show full text]
  • Embeddings of Graphs
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Discrete Mathematics 124 (1994) 217-228 217 North-Holland Embeddings of graphs Carsten Thomassen Mathematisk Institut, Danmarks Tekniske Hojskoie. Bygning 303, DK-Lyngby. Denmark Received 2 June 1990 Abstract We survey some recent results on graphs embedded in higher surfaces or general topological spaces. 1. Introduction A graph G is embedded in the topological space X if G is represented in X such that the vertices of G are distinct elements in X and an edge in G is a simple arc connecting its two ends such that no two edges intersect except possibly at a common end. Graph embeddings in a broad sense have existed since ancient time. Pretty tilings of the plane have been produced for aestetic or religious reasons (see e.g. [7]). The characterization of the Platonic solids may be regarded as a result on tilings of the sphere. The study of graph embeddings in a more restricted sense began with the 1890 conjecture of Heawood [S] that the complete graph K, can be embedded in the orientable surface S, provided Euler’s formula is not violated. That is, g >&(n - 3)(n -4). Much work on graph embeddings has been inspired by this conjecture the proof of which was not completed until 1968. A complete proof can be found in Ringel’s book [12]. Graph embedding problems also arise in the real world, for example in connection with the design of printed circuits. Also, algorithms involving graphs may be very sensitive to the way in which the graphs are represented.
    [Show full text]
  • A Note on Vertex Arboricity of Toroidal Graphs Without 7-Cycles1
    International Mathematical Forum, Vol. 11, 2016, no. 14, 679 - 686 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/imf.2016.6672 A Note on Vertex Arboricity of Toroidal Graphs without 7-Cycles1 Haihui Zhang School of Mathematical Science, Huaiyin Normal University 111 Changjiang West Road Huaian, Jiangsu, 223300, P. R. China Copyright c 2016 Haihui Zhang. This article is distributed under the Creative Com- mons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Abstract The vertex arboricity ρ(G) of a graph G is the minimum number of subsets into which the vertex set V (G) can be partitioned so that each subset induces an acyclic graph. In this paper, it is shown that if G is a toroidal graph without 7-cycles, moreover, G contains no triangular and adjacent 4-cycles, then ρ(G) ≤ 2. Mathematics Subject Classification: Primary: 05C15; Secondary: 05C70 Keywords: vertex arboricity, toroidal graph, structure, cycle 1 Introduction All graphs considered in this paper are finite and simple. For a graph G we denote its vertex set, edge set, maximum degree and minimum degree by V (G), E(G), ∆(G) and δ(G), respectively. The vertex arboricity of a graph G, denoted by ρ(G), is the smallest number of subsets that the vertices of G can be partitioned into such that each subset 1Research was supported by NSFC (Grant No. 11501235) and NSFC Tianyuan foun- dation (Grant No. 11226285), the Natural Science Foundation of Jiangsu (Grant No. BK20140451), and the Natural Science Research Project of Ordinary Universities in Jiangsu (Grant No.
    [Show full text]
  • A 4-Color Theorem for Toroidal Graphs 83
    proceedings of the american mathematical society Volume 34, Number 1, July 1972 A 4-COLOR THEOREM FOR TOROIDAL GRAPHS HUDSON V. KRONK1 AND ARTHUR T. WHITE2 Abstract. It is well known that any graph imbedded in the torus has chromatic number at most seven, and that seven is attained by the graph K-,. In this note we show that any toroidal graph con- taining no triangles has chromatic number at most four, and produce an example attaining this upper bound. The results are then extended for arbitrary girth. 1. Introduction. The chromatic number of a graph G, denoted by %(G), is the minimum number of colors that can be assigned to the points of G so that adjacent points are colored differently. The Four Color Conjecture is that any planar graph has chromatic number at most four; the Five Color Theorem states that %(G)_5, if G is planar. Grötzsch [2] has shown that a planar graph having no triangles has chromatic number at most three; the cycle C5 shows that this bound cannot be improved. It is well known that any toroidal graph has chromatic number at most seven, and that this bound is attained by the complete graph K7. In this note we find an upper bound for the chromatic number of toroidal graphs having no triangles, and show that this bound is best possible. We also consider toroidal graphs of arbitrary girth. A connected graph G is said to be n-line-critical if %(G)=n but, for any line e of G, x(G—e)=n—l.
    [Show full text]
  • Book Embedding of Toroidal Bipartite Graphs
    Book embedding of toroidal bipartite graphs Atsuhiro Nakamoto,∗ Katsuhiro Otayand Kenta Ozekiz Abstract Endo [5] proved that every toroidal graph has a book embedding with at most seven pages. In this paper, we prove that every toroidal bipartite graph has a book embedding with at most five pages. In order to do so, we prove that every bipartite torus quadrangulation Q with n vertices admits two disjoint essential simple closed curves cutting the torus into two annuli so that each of the two annuli contains a spanning connected subgraph of Q with exactly n edges. Keywords: torus, bipartite graph, book embedding, quadrangulation 1 Introduction A book embedding of a graph G is to put the vertices along the spine (a segment) and each edge of G on a single page (a half-plane with the spine as its boundary) so that no two edges intersect transversely in the same page. We say that a graph G is k-page embeddable if G has a book embedding with at most k pages. The pagenumber (or sometimes called stack number or book thickness) of a graph G is the minimum of k such that G is k-page embeddable. This notion was first introduced by Bernhart and Kainen [1]. Since a book embedding is much concerned with theoretical computer science including VLSI design [3, 15], we are interested in bounding the pagenumber. Actually, we can find a number of researches giving upper bounds of the pagenumber for some graph classes, for example, complete bipartite graphs [6, 13] and k-trees [4, 8, 17].
    [Show full text]