Folding List of Graphs Obtained from a Given Graph

Total Page:16

File Type:pdf, Size:1020Kb

Folding List of Graphs Obtained from a Given Graph Hindawi International Journal of Mathematics and Mathematical Sciences Volume 2020, Article ID 1316497, 9 pages https://doi.org/10.1155/2020/1316497 Research Article Folding List of Graphs Obtained from a Given Graph E. M. El-Kholy 1 and H. Ahmed2 1Department of Mathematics, Faculty of Science, Tanta University, Tanta, Egypt 2Department of Mathematics, Faculty of Shoubra Engineering, Banha University, Banha, Egypt Correspondence should be addressed to E. M. El-Kholy; [email protected] Received 6 August 2020; Revised 26 September 2020; Accepted 27 October 2020; Published 12 December 2020 Academic Editor: Irena Lasiecka Copyright © 2020 E. M. El-Kholy and H. Ahmed. ,is is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. In this paper, we examine the relation between graph folding of a given graph and foldings of new graphs obtained from this graph by some techniques like dual, gear, subdivision, web, crown, simplex, crossed prism, and clique-sum graphs. In each case, we obtained the necessary and sufficient conditions, if exist, for these new graphs to be folded. 1. Introduction as a complete bipartite graph from which edges ui; vj; i � 1; ... ; n, have been removed. Let G � (V; E) be a graph, where V is the set of its vertices (6) A simplex graph κ(G) of an undirected graph G is and E is the set of its edges. By a graph, we mean a simple and itself a graph, with a vertex for each clique in G. Two finite connected graph; that is, a graph without multiple vertices of κ(G) are joined by an edge whenever the edges or loops. Let G be a graph, then corresponding two cliques differ in the presence or (1) ,e dual graph G∗ of a graph G is obtained by absence of a single vertex. ,e single vertices are placing a vertex in every face of G and an edge called the zero vertices [6]. joining every two vertices in neighbouring faces [1]. (7) A crossed prism graph for positive even n is a graph C (2) A gear graph, denoted Gn, is a graph obtained by obtained by taking two disjoint cycle graphs n and inserting an extra vertex between each pair of adding edges (vk; v2k+1) and (vk+1; v2k) for adjacent vertices on the perimeter of a wheel k � 1; 3; ... ; (n − 1) [7]. We will denote this graph CP graph Wn. ,us, Gn has 2n + 1 vertices and 3n by n. edges [2]. (8) If two graphs G and H each contain cliques of equal (3) If the edge e joins vertices v and w, then the sub- size, the clique-sum of G and H is formed from their division of e replaces e by a new vertex u and two disjoint union by identifying pairs of vertices in new edges vu and uw [3]. A subdivision of a graph G these two cliques to form a single shared clique, is a graph obtained from G by applying a finite without deleting any of the clique edges [8]. number of subdivisions of edges in succession. (9) Let G1 and G2 be two simple graphs and f: G1 G (4) ,e web graph Wn;r is a graph consisting of r ⟶ 2 a continuous map. ,en, f is called a graph concentric copies of the cycle graphs Cn, with map, if corresponding vertices connected by edges [4]. (i) For each vertex vεV(G1); f(v) is a vertex in n (5) Crown graph on 2 vertices is an undirected graph V(G2). u ; u ; ... ; u with two sets of vertices � 1 2 n� and (ii) For each edge eεE(G1); f(e) is either a vertex or �v1; v2; ... ; vn� and with an edge from ui to vj an edge of the graph G2, i.e., f(e)εV(G2) whenever i ≠ j [5]. ,e crown graph can be viewed or f(e)εE(G2) [9]. 2 International Journal of Mathematics and Mathematical Sciences (10) A graph map f: G1 ⟶ G2 is called a graph folding 3. Graph Folding of the Gear and the if and only if f maps vertices to vertices and edges to Subdivision Graphs edges [10]. (11) A graph G is planar if it can be drawn in the plane in It should be noted that any graph folding of the wheel graph such a way that no two edges meet each other except Wn maps the hup into itself. at a vertex to which they are both incident. Any such drawing is called a plane drawing of G. Any plane Theorem 2. Let Wn be a wheel graph and Gn be the cor- drawing of G divides the plane into regions called responding gear graph. Let f: Wn ⟶ Wn be a graph faces. folding. 3en, the graph map g: Gn ⟶ Gn is defined by (i) g� v ; v � � �v ; v � and gn v ; v o � �v ; v � if and only If the edges and vertices of a face σi of G1 are mapped to i r k s r j s l if fn v ; v o � �v ; v �, where v and v are the extra the edges and vertices of a face σj of G2, then we write i j k l r s v ; v f(σi) � σj. vertices inserting between the adjacent vertices i j and vk; vl, respectively. 2. Graph Folding of the Dual Graph (ii) For the hub v, g(v) � v. Theorem 1. Let G1 and G2 be graphs and f: G1 ⟶ G2 a Proof. Let f: Wn ⟶ Wn be a graph folding, and consider graph folding. Consider the graph map g: G∗ ⟶ G∗ defined 1 2 the edges nvi; vj o, �vk; vl � ∈ E(Wn) such that by fn vi; vj o � �vk; vl �, i.e., f� vi � � �vk � and fn vj o � �vl �. Now, (i) For all v∗ ∈ V(G∗), g(v∗) � v∗ if and only if i 1 i i let vr and vs be the new vertices inserted between the vertices f(σi) � σi, where σi is a face of G1 of the edges nvi; vj o and �vk; vl �, respectively. ,en, we have (ii) If f(σi) � σj and f(σj) � σj where σi and σj are the ∗ ∗ ∗ ∗ four new edges �vi; vr �, nvr; vj o, �vk; vs �, and �vs ; vl � ∈ neighbouring faces, then gn vi ; vj o � gn vk ; vj o ∗ E(G ), but g� v ; v � � �v ; v � and gn v ; v o � �v ; v �, i.e., the where vk is the vertex of the face σk which is n i r k s r j s l neighbouring to σj but not neighbouring to σi map g maps edges of Gn to other edges of Gn. Also, for all ∗ ∗ vi; vk ∈ V(Wn) if f(vi) � vk, then g maps the edge �vi; v � to (iii) If f(σi) � σj and f(σk) � σl, then g(vi ) � (vi ) and ∗ ∗ the edge �vk; v � where v is the hub, and consequently g is a g(vk ) � (vj ) such that each of σi, σk and σj, σl are neighbouring faces graph folding of the gear graph Gn. □ Example 2. Consider the wheel graph W7 and the corre- sponding gear graph G . Let f: W ⟶ W be a graph Proof. Let f: G1 ⟶ G2 be a graph folding. Suppose that σi, 7 7 7 folding defined by f� v ; v � � �v ; v � and f�(v ; v ); (v ; σj, σk, and σl are the faces of the graph G1 such that f(σi) � 2 3 6 5 2 1 2 v3); (v2; v7); (v3; v4); (v3; v7)} �� (v6; v1); (v6; v5); (v6; v7); σj and f(σj) � σj where σi and σj are the neighbouring (v5; v4); (v5; v7)}. ,en, the graph map g: G7 ⟶ G7 defined faces. If σk is neighbouring to σj and not neighbouring to σi, g� v ; v ; v ; v ; v � � �v ; v ; v ; v ; v � ∗ ∗ ∗ by 8 2 9 3 10 13 6 12 5 11 is a graph then there are no edges joining vi and vk in G1 , but each of folding, see Figure 2. In this case, g maps the edges (v1, v8), nv∗; v∗ o nv∗; v∗ o G∗ i j and k j is an edge of 1 . ,us, by the given (v8, v2), (v2, v7), (v2, v9), (v9, v3), (v3, v7), (v3, v10), and (v10, definition, g maps edges to edges. Now, let f(σi) � σj and v4) to the edges (v1, v13), (v13, v6), (v6, v7), (v6, v12), (v12, v5), v v v v v v f(σk) � σl ,en, by the given definition of g, it maps the ( 5, 7), ( 5, 11), and ( 11, 4), respectively. ∗ ∗ ∗ ∗ vertex vi to vl and the vertex vk to vj . Now, since each of the ∗ ∗ Definition 1. For a graph G, if we subdivide each edge once, we faces σi, σk and σj, σl are neighbouring, then each of �vi ; vk � ∗ ∗ ∗ get a new graph Gs, and we will call it the subdivision graph. and nvl ; vj o is an edge of G1 , i.e., the map g maps edges to edges. And, consequently g is a graph folding of the dual Theorem 3. Let G be a graph and Gs the subdivision graph of graph of G1. □ G. Let f: G ⟶ G be a graph folding defined by for all nvi; vj o ∈ E(G), fn vi; vj o � �vk; vl � ∈ E(G). 3en, the graph map g: Gs ⟶ Gs is defined by Example 1.
Recommended publications
  • PDF Reference
    NetworkX Reference Release 1.2 Aric Hagberg, Dan Schult, Pieter Swart August 01, 2010 CONTENTS 1 Introduction 1 1.1 Who uses NetworkX?..........................................1 1.2 The Python programming language...................................1 1.3 Free software...............................................1 1.4 Goals...................................................1 1.5 History..................................................2 2 Overview 3 2.1 NetworkX Basics.............................................3 2.2 Nodes and Edges.............................................4 3 Graph types 9 3.1 Which graph class should I use?.....................................9 3.2 Basic graph types.............................................9 4 Algorithms 133 4.1 Bipartite................................................. 133 4.2 Blockmodeling.............................................. 135 4.3 Boundary................................................. 136 4.4 Centrality................................................. 137 4.5 Clique.................................................. 145 4.6 Clustering................................................ 147 4.7 Components............................................... 150 4.8 Cores................................................... 158 4.9 Cycles.................................................. 158 4.10 Directed Acyclic Graphs......................................... 159 4.11 Distance Measures............................................ 161 4.12 Eulerian.................................................
    [Show full text]
  • PDF Reference
    NetworkX Reference Release 1.0 Aric Hagberg, Dan Schult, Pieter Swart January 08, 2010 CONTENTS 1 Introduction 1 1.1 Who uses NetworkX?..........................................1 1.2 The Python programming language...................................1 1.3 Free software...............................................1 1.4 Goals...................................................1 1.5 History..................................................2 2 Overview 3 2.1 NetworkX Basics.............................................3 2.2 Nodes and Edges.............................................4 3 Graph types 9 3.1 Which graph class should I use?.....................................9 3.2 Basic graph types.............................................9 4 Operators 129 4.1 Graph Manipulation........................................... 129 4.2 Node Relabeling............................................. 134 4.3 Freezing................................................. 135 5 Algorithms 137 5.1 Boundary................................................. 137 5.2 Centrality................................................. 138 5.3 Clique.................................................. 142 5.4 Clustering................................................ 145 5.5 Cores................................................... 147 5.6 Matching................................................. 148 5.7 Isomorphism............................................... 148 5.8 PageRank................................................. 161 5.9 HITS..................................................
    [Show full text]
  • Online Assessment of Graph Theory
    ONLINE ASSESSMENT OF GRAPH THEORY A thesis submitted for the degree of Doctor of Philosophy By Justin Dale Hatt College of Engineering, Design and Physical Sciences Brunel University August 2016 Abstract The objective of this thesis is to establish whether or not online, objective questions in elementary graph theory can be written in a way that exploits the medium of computer-aided assessment. This required the identification and resolution of question design and programming issues. The resulting questions were trialled to give an extensive set of answer files which were analysed to identify whether computer delivery affected the questions in any adverse ways and, if so, to identify practical ways round these issues. A library of questions spanning commonly-taught topics in elementary graph theory has been designed, programmed and added to the graph theory topic within an online assessment and learning tool used at Brunel University called Mathletics. Distracters coded into the questions are based on errors students are likely to make, partially evidenced by final examination scripts. Questions were provided to students in Discrete Mathematics modules with an extensive collection of results compiled for analysis. Questions designed for use in practice environments were trialled on students from 2007 – 2008 and then from 2008 to 2014 inclusive under separate testing conditions. Particular focus is made on the relationship of facility and discrimination between comparable questions during this period. Data is grouped between topic and also year group for the 2008 – 2014 tests, namely 2008 to 2011 and 2011 to 2014, so that it may then be determined what factors, if any, had an effect on the overall results for these questions.
    [Show full text]
  • Topics in Algebraic Graph Theory
    Topics in Algebraic Graph Theory The rapidly expanding area of algebraic graph theory uses two different branches of algebra to explore various aspects of graph theory: linear algebra (for spectral theory) and group theory (for studying graph symmetry). These areas have links with other areas of mathematics, such as logic and harmonic analysis, and are increasingly being used in such areas as computer networks where symmetry is an important feature. Other books cover portions of this material, but this book is unusual in covering both of these aspects and there are no other books with such a wide scope. This book contains ten expository chapters written by acknowledged international experts in the field. Their well-written contributions have been carefully edited to enhance readability and to standardize the chapter structure, terminology and notation throughout the book. To help the reader, there is an extensive introductory chapter that covers the basic background material in graph theory, linear algebra and group theory. Each chapter concludes with an extensive list of references. LOWELL W. BEINEKE is Schrey Professor of Mathematics at Indiana University- Purdue University Fort Wayne. His graph theory interests include topological graph theory, line graphs, tournaments, decompositions and vulnerability. With Robin J. Wilson he has edited Selected Topics in Graph Theory (3 volumes), Applications of Graph Theory and Graph Connections.Heiscurrently the Editor of the College Mathematics Journal. ROBIN J. WILSON is Head of the Pure Mathematics Department at the Open University and Gresham Professor of Geometry, London. He has written and edited many books on graph theory and combinatorics and on the history of mathematics, including Introduction to Graph Theory and Four Colours Suffice.
    [Show full text]
  • 40 DM12 Abstracts
    40 DM12 Abstracts IP0 [email protected] Dnes Knig Prize Lecture: Talk Title TBD Abstract not available at time of publication. IP4 Adding and Counting Zeev Dvir Princeton University In mathematics, the stuff of partitions seems like mere [email protected] child’s play. The speaker will explain how the sim- ple task of adding and counting has fascinated many of the world’s leading mathematicians: Euler, Ramanujan, IP1 Hardy, Rademacher, Dyson, to name a few. And as is typ- Cell Complexes in Combinatorics ical in number theory, many of the most fundamental (and simple to state) questions have remained open. In 2010, Cell complexes of various kinds have been invented in the speaker, with the support of the American Institute for topology to help analyze manifolds and other spaces. By Mathematics and the National Science Foundation, assem- introducing a combinatorial structure they make algo- bled an international team of researchers to attack some rithms for computing topological invariants possible. Sim- of these problems. Come hear Professor Ono speak about plicial complexes are well-known examples. In the other their findings: new theories which solve some of the famous direction, several structures studied in combinatorics nat- old questions. urally suggest associated cell complexes. Can the link to topology provided by these cell complexes be of use for Ken Ono dealing with purely combinatorial questions, or are they Emory University just idle curiosities? The answer is definitely ”yes” in the Department of Mathematics and Computer Science simplicial case, as testified by several successes of what has [email protected] come to be called ”topological combinatorics”.
    [Show full text]
  • E-Positivity Conjecture and Line Graphs by David E
    E-POSITIVITY CONJECTURE AND LINE GRAPHS BY DAVID E NICHOLS A Thesis Submitted to the Graduate Faculty of WAKE FOREST UNIVERSITY GRADUATE SCHOOL OF ARTS AND SCIENCES in Partial Fulfillment of the Requirements for the Degree of MASTER OF ARTS Mathematics & Statistics May 2020 Winston-Salem, North Carolina Approved By: Sarah Mason, Ph.D., Advisor Edward Allen, Ph.D., Chair Hugh Howards, Ph.D. Acknowledgments I wish to express my deep and sincere gratitude to my research advisor, Dr. Sarah Mason, for her continual support, encouragement, and guidance through the entirety of the research process. I would like to thank my friends and classmates, Andres Guerrero-Guzman, De- siree Martin, and Heidi Whiteside, for their support both personally and academically. Finally, I would like to thank my parents, Fred and Tami Nichols, for their sacri- fices that allowed me to pursue an education. ii Table of Contents Acknowledgments . ii Abstract . iv Chapter 1 Introduction . 1 Chapter 2 Background . 3 Chapter 3 Line Graphs. 11 Chapter 4 Modified Line Graphs . 21 Chapter 5 Incomparability Graphs . 27 Chapter 6 Future Work . 38 Bibliography . 39 Appendix A Connected Simple Graphs with 6 Vertices. 40 Appendix B Edge Chromatic Polynomial Calculator . 44 Curriculum Vitae . 47 iii Abstract David Nichols Motivated by Richard Stanley's e-positivity conjecture, we explore the relationships between line graphs, modified line graphs, and incomparability graphs. We show that line graphs and modified line graphs will fail to contain the set of all incomparability graphs of (3+1)-free posets. In an effort to start finding a list of forbidden graphs for incomparability graphs, we test all simple, connected graphs with 6 or fewer vertices.
    [Show full text]
  • Igraph’ October 6, 2020 Version 1.2.6 Title Network Analysis and Visualization Author See AUTHORS file
    Package ‘igraph’ October 6, 2020 Version 1.2.6 Title Network Analysis and Visualization Author See AUTHORS file. Maintainer Gábor Csárdi <[email protected]> Description Routines for simple graphs and network analysis. It can handle large graphs very well and provides functions for generating random and regular graphs, graph visualization, centrality methods and much more. Depends methods Imports graphics, grDevices, magrittr, Matrix, pkgconfig (>= 2.0.0), stats, utils Suggests ape, digest, graph, igraphdata, rgl, scales, stats4, tcltk, testthat, withr License GPL (>= 2) URL https://igraph.org SystemRequirements gmp (optional), libxml2 (optional), glpk (optional) BugReports https://github.com/igraph/igraph/issues Encoding UTF-8 RoxygenNote 7.1.1 Collate 'adjacency.R' 'auto.R' 'assortativity.R' 'attributes.R' 'basic.R' 'bipartite.R' 'centrality.R' 'centralization.R' 'cliques.R' 'cocitation.R' 'cohesive.blocks.R' 'community.R' 'components.R' 'console.R' 'conversion.R' 'data_frame.R' 'decomposition.R' 'degseq.R' 'demo.R' 'embedding.R' 'epi.R' 'fit.R' 'flow.R' 'foreign.R' 'games.R' 'glet.R' 'hrg.R' 'igraph-package.R' 'incidence.R' 'indexing.R' 'interface.R' 'iterators.R' 'layout.R' 'layout_drl.R' 'lazyeval.R' 'make.R' 'minimum.spanning.tree.R' 'motifs.R' 'nexus.R' 'operators.R' 'other.R' 'package.R' 'palette.R' 'par.R' 'paths.R' 'plot.R' 'plot.common.R' 'plot.shapes.R' 'pp.R' 'print.R' 'printr.R' 'random_walk.R' 'rewire.R' 'scan.R' 'scg.R' 'sgm.R' 'similarity.R' 'simple.R' 'sir.R' 'socnet.R' 'sparsedf.R' 1 2 R topics documented: 'structural.properties.R' 'structure.info.R' 'test.R' 'tkplot.R' 'topology.R' 'triangles.R' 'utils.R' 'uuid.R' 'versions.R' 'weakref.R' 'zzz-deprecate.R' NeedsCompilation yes Repository CRAN Date/Publication 2020-10-06 12:40:05 UTC R topics documented: igraph-package .
    [Show full text]
  • Coloring Problems in Graph Theory Kevin Moss Iowa State University
    Iowa State University Capstones, Theses and Graduate Theses and Dissertations Dissertations 2017 Coloring problems in graph theory Kevin Moss Iowa State University Follow this and additional works at: https://lib.dr.iastate.edu/etd Part of the Computer Sciences Commons, and the Mathematics Commons Recommended Citation Moss, Kevin, "Coloring problems in graph theory" (2017). Graduate Theses and Dissertations. 15383. https://lib.dr.iastate.edu/etd/15383 This Dissertation is brought to you for free and open access by the Iowa State University Capstones, Theses and Dissertations at Iowa State University Digital Repository. It has been accepted for inclusion in Graduate Theses and Dissertations by an authorized administrator of Iowa State University Digital Repository. For more information, please contact [email protected]. Coloring problems in graph theory by Kevin Moss A dissertation submitted to the graduate faculty in partial fulfillment of the requirements for the degree of DOCTOR OF PHILOSOPHY Major: Mathematics Program of Study Committee: Bernard Lidick´y,Co-major Professor Steve Butler, Co-major Professor Clifford Bergman Ryan Martin Sung-Yell Song The student author and the program of study committee are solely responsible for the content of this dissertation. The Graduate College will ensure this dissertation is globally accessible and will not permit alterations after a degree is conferred. Iowa State University Ames, Iowa 2017 Copyright c Kevin Moss, 2017. All rights reserved. ii TABLE OF CONTENTS LIST OF TABLES . v LIST OF FIGURES . vi ACKNOWLEDGEMENTS . viii ABSTRACT . ix CHAPTER 1. GENERAL INTRODUCTION . 1 1.1 Introduction . .1 1.2 Basic Definitions . .1 1.3 Planar Graphs . .4 1.3.1 Graph Coloring .
    [Show full text]
  • Graph Theory, an Antiprism Graph Is a Graph That Has One of the Antiprisms As Its Skeleton
    Graph families From Wikipedia, the free encyclopedia Chapter 1 Antiprism graph In the mathematical field of graph theory, an antiprism graph is a graph that has one of the antiprisms as its skeleton. An n-sided antiprism has 2n vertices and 4n edges. They are regular, polyhedral (and therefore by necessity also 3- vertex-connected, vertex-transitive, and planar graphs), and also Hamiltonian graphs.[1] 1.1 Examples The first graph in the sequence, the octahedral graph, has 6 vertices and 12 edges. Later graphs in the sequence may be named after the type of antiprism they correspond to: • Octahedral graph – 6 vertices, 12 edges • square antiprismatic graph – 8 vertices, 16 edges • Pentagonal antiprismatic graph – 10 vertices, 20 edges • Hexagonal antiprismatic graph – 12 vertices, 24 edges • Heptagonal antiprismatic graph – 14 vertices, 28 edges • Octagonal antiprismatic graph– 16 vertices, 32 edges • ... Although geometrically the star polygons also form the faces of a different sequence of (self-intersecting) antiprisms, the star antiprisms, they do not form a different sequence of graphs. 1.2 Related graphs An antiprism graph is a special case of a circulant graph, Ci₂n(2,1). Other infinite sequences of polyhedral graph formed in a similar way from polyhedra with regular-polygon bases include the prism graphs (graphs of prisms) and wheel graphs (graphs of pyramids). Other vertex-transitive polyhedral graphs include the Archimedean graphs. 1.3 References [1] Read, R. C. and Wilson, R. J. An Atlas of Graphs, Oxford, England: Oxford University Press, 2004 reprint, Chapter 6 special graphs pp. 261, 270. 2 1.4. EXTERNAL LINKS 3 1.4 External links • Weisstein, Eric W., “Antiprism graph”, MathWorld.
    [Show full text]