DOCSLIB.ORG

Hyper-Hamiltonian Generalized Petersen Graphs

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Hyper-Hamiltonian Generalized Petersen Graphs View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Computers and Mathematics with Applications 55 (2008) 2076–2085 www.elsevier.com/locate/camwa Hyper-Hamiltonian generalized Petersen graphs Ta-Cheng Maia, Jeng-Jung Wanga,∗, Lih-Hsing Hsub a Department of Information Engineering, I-Shou University, Kaohsiung, 84008 Taiwan, ROC b Department of Computer Science and Information Engineering, Providence University, Taichung 43301, Taiwan, ROC Received 8 November 2006; received in revised form 7 June 2007; accepted 30 August 2007 Abstract Assume that n and k are positive integers with n ≥ 2k + 1. A non-Hamiltonian graph G is hypo-Hamiltonian if G − v is Hamiltonian for any v ∈ V (G). It is proved that the generalized Petersen graph P(n, k) is hypo-Hamiltonian if and only if k = 2 and n ≡ 5 (mod 6). Similarly, a Hamiltonian graph G is hyper-Hamiltonian if G − v is Hamiltonian for any v ∈ V (G). In this paper, we will give some necessary conditions and some sufficient conditions for the hyper-Hamiltonian generalized Petersen graphs. In particular, P(n, k) is not hyper-Hamiltonian if n is even and k is odd. We also prove that P(3k, k) is hyper-Hamiltonian if and only if k is odd. Moreover, P(n, 3) is hyper-Hamiltonian if and only if n is odd and P(n, 4) is hyper-Hamiltonian if and only if n 6= 12. Furthermore, P(n, k) is hyper-Hamiltonian if k is even with k ≥ 6 and n ≥ 2k + 2 + (4k − 1)(4k + 1), and P(n, k) is hyper-Hamiltonian if k ≥ 5 is odd and n is odd with n ≥ 6k − 3 + 2k(6k − 2). c 2007 Elsevier Ltd. All rights reserved. Keywords: Hamiltonian; Hypo-Hamiltonian; Hyper-Hamiltonian; Lattice diagram; Generalized Petersen graph 1. Definitions and notations For the graph terminology and notation we follow [1]. G = (V, E) is a graph if V is a finite set and E is a subset of {(u, v) | (u, v) is an unordered pair of V }. We say that V (G) is the vertex set and E(G) is the edge set of G. We delimited a path P in a graph from a vertex v0 to vn by hv0, v1, v2, . , vni. A cycle is a path with at least three vertices such that its first vertex is the same as the last vertex. A cycle is a Hamiltonian cycle if it traverses every vertex of G exactly once. A graph is Hamiltonian if it has a Hamiltonian cycle. Assume that n and k are positive integers with n ≥ 2k + 1. We use ⊕ to denote addition in integer modular n. The generalized Petersen graph P(n, k) is the graph with vertex set {i | 0 ≤ i ≤ n − 1} ∪ {i0 | 0 ≤ i ≤ n − 1} and edge set {(i, i ⊕ 1) | 0 ≤ i ≤ n − 1} ∪ {(i, i0) | 0 ≤ i ≤ n − 1} ∪ {(i0,(i ⊕ k)0) | 0 ≤ i ≤ n − 1}. The Hamiltonian generalized Petersen graph has been extensively studied [2–6]. In particular, Alspach [3] gave the classification on Hamiltonian generalized Petersen graphs as follows. Theorem 1 ([3]). P(n, k) is Hamiltonian if and only if it is neither (1) P(n, 2) =∼ P(n, n − 2) =∼ P(n,(n − 1)/2) =∼ P(n,(n + 1)/2), n ≡ 5 (mod 6) nor (2) P(n, n/2), n ≡ 0 (mod 4) and n ≥ 8. ∗ Corresponding author. E-mail address: [email protected] (J.-J. Wang). 0898-1221/$ - see front matter c 2007 Elsevier Ltd. All rights reserved. doi:10.1016/j.camwa.2007.08.041 T.-C. Mai et al. / Computers and Mathematics with Applications 55 (2008) 2076–2085 2077 In this paper we concentrate on cubic generalized Petersen graphs, the case k = n/2 will be exclusive for consideration. Therefore P(n, k) is not Hamiltonian if and only if k = 2 and n ≡ 5 (mod 6). However, all non- Hamiltonian generalized Petersen graphs satisfy another interesting property. A non-Hamiltonian graph G such that G − v is Hamiltonian for any v ∈ V (G) is called a hypo-Hamiltonian graph. It is proved that the set of hypo- Hamiltonian generalized Petersen graphs is actually the set of non-Hamiltonian generalized Petersen graphs [5]. Similarly, a Hamiltonian graph G is hyper-Hamiltonian if G − v is Hamiltonian for any v ∈ V (G). We are interested in the recognition of hyper-Hamiltonian generalized Petersen graphs. In [7], it is proved that P(n, 1) is hyper-Hamiltonian if and only if n is odd and P(n, 2) is hyper-Hamiltonian if and only if n ≡ 1, 3 (mod 6). In this paper, we will give some necessary conditions and some sufficient conditions for the hyper-Hamiltonian generalized Petersen graphs. In particular, P(n, k) is not hyper-Hamiltonian if n is even and k is odd. We also proved that P(3k, k) is hyper-Hamiltonian if and only if k is odd. Moreover, P(n, 3) is hyper-Hamiltonian if and only if n is odd; P(n, 4) is hyper-Hamiltonian if and only if n 6= 12. Furthermore, P(n, k) is hyper-Hamiltonian if k is even with k ≥ 6 and n ≥ 2k + 2 + (4k − 1)(4k + 1), and P(n, k) is hyper-Hamiltonian if k is odd with k ≥ 5 and n is odd with n ≥ 6k − 3 + 2k(6k − 2). Alspach et al. [2] proposed an interesting model, called lattice model, to describe a Hamiltonian cycle for given generalized Petersen graph. With the lattice model, a lattice diagram for a generalized Petersen graphs is a labeled graph in the (x, y)-plane that possesses a closed or an open Eulerian trail. By appropriately interpreting the edges in the diagram, the Eulerian trail corresponds to a Hamiltonian cycle of a generalized Petersen graph. Based on this model, they proved that P(n, k) is Hamiltonian if k ≥ 3 and n sufficiently large [2] and moreover classified the Hamiltonian generalized Petersen graphs [3]. The lattice model is described as follows. For more details, see [2]. In lattice model, a labeled lattice graph L(n, k) consists of lattice points in the (x, y)-plane. If a lattice point (a, b) is labeled with an integer i with 0 ≤ i ≤ n − 1, then (a + 1, b) is labeled with i ⊕ 1 and (a, b − 1) is labeled with i ⊕ k. A lattice diagram for P(n, k), denoted as D(n, k), is a subgraph of L(n, k) induced by the vertices with labels 0, 1,..., n − 1 such that it possesses either a closed or an open Eulerian trail. A traversal of the Eulerian trail in D(n, k) obeys the following rules: 1. The trail does not change the direction when it passes through a vertex of degree 4. 2. Each label 0, 1,..., n − 1 is encountered by the traversal once in a vertical direction and once in a horizontal direction. 3. If D(n, k) has an open Eulerian trail, then the two vertices of odd degree must have the same label and not both being of degree 3. The correspondence between an Eulerian trail of a lattice diagram D(n, k) and a Hamiltonian cycle of the generalized Petersen graph P(n, k) is built by interpreting the edges in L(n, k). The interpretations of edges in L(n, k) are given as follows: 1. The vertical edge (i, i ⊕ k) in L(n, k) corresponds to an edge (i0,(i ⊕ k)0) in P(n, k). 2. The horizontal edge (i, i ⊕ 1) in L(n, k) corresponds to an edge (i, i ⊕ 1) in P(n, k). 3. Two edges in different directions incident to the vertex i of degree 2 in L(n, k) correspond to an edge (i, i0) in P(n, k). A lattice diagram D(13, 4) for a generalized Petersen P(13, 4), for example, is shown in Fig. 1. In this diagram, there is an Eulerian trail h0, 1, 5, 9, 10, 6, 2, 3, 7, 11, 12, 8, 7, 6, 5, 4, 0i. By appropriately interpreting the edges in the diagram, it corresponds to a Hamiltonian cycle h0, 1, 10, 50, 90, 9, 10, 100, 60, 20, 2, 3, 30, 70, 110, 11, 12, 120, 80, 8, 7, 6, 5, 4, 40, 00, 0i in P(13, 4). It is not difficult to see that an Eulerian trail in L(n, k) corresponds to a Hamiltonian cycle of P(n, k) and any Hamiltonian cycle of P(n, k) can be converted into an Eulerian trail in D(n, k). Hence, finding a Hamiltonian cycle of a generalized Petersen graph P(n, k) is finding an appropriate lattice diagram for P(n, k) [2]. In addition, Alspach et al. [2] proposed an amalgamating mechanism to generate lattice diagrams with various sizes. For example, we have a lattice diagram D(4k, k) in Fig. 2(a) and a lattice diagram D(4k + 2, k) in Fig. 2(b). By identifying the vertex with label (4k − 1) of D(4k, k) and the vertex with label 0 of D(4k + 2, k) and relabeling all vertices of D(4k + 2, k) by adding (4k − 1) to all the labels, we obtain a lattice diagram D(8k + 1, k) shown in Fig. 2(c). Thus, P(8k + 1, k) is Hamiltonian. With this mechanism, we can amalgamate r copies of D(4k, k) and s copies of D(4k + 2, k), where r ≥ 1 and s ≥ 0, to make a lattice diagram D(4k + (r − 1)(4k − 1) + s(4k + 1), k).
Load more

Recommended publications
  • Investigations on Unit Distance Property of Clebsch Graph and Its Complement
    Proceedings of the World Congress on Engineering 2012 Vol I WCE 2012, July 4 - 6, 2012, London, U.K. Investigations on Unit Distance Property of Clebsch Graph and Its Complement Pratima Panigrahi and Uma kant Sahoo ∗yz Abstract|An n-dimensional unit distance graph is on parameters (16,5,0,2) and (16,10,6,6) respectively. a simple graph which can be drawn on n-dimensional These graphs are known to be unique in the respective n Euclidean space R so that its vertices are represented parameters [2]. In this paper we give unit distance n by distinct points in R and edges are represented by representation of Clebsch graph in the 3-dimensional Eu- closed line segments of unit length. In this paper we clidean space R3. Also we show that the complement of show that the Clebsch graph is 3-dimensional unit Clebsch graph is not a 3-dimensional unit distance graph. distance graph, but its complement is not. Keywords: unit distance graph, strongly regular The Petersen graph is the strongly regular graph on graphs, Clebsch graph, Petersen graph. parameters (10,3,0,1). This graph is also unique in its parameter set. It is known that Petersen graph is 2-dimensional unit distance graph (see [1],[3],[10]). It is In this article we consider only simple graphs, i.e. also known that Petersen graph is a subgraph of Clebsch undirected, loop free and with no multiple edges. The graph, see [[5], section 10.6]. study of dimension of graphs was initiated by Erdos et.al [3].
    [Show full text]
  • On Snarks That Are Far from Being 3-Edge Colorable
    On snarks that are far from being 3-edge colorable Jonas H¨agglund Department of Mathematics and Mathematical Statistics Ume˚aUniversity SE-901 87 Ume˚a,Sweden [email protected] Submitted: Jun 4, 2013; Accepted: Mar 26, 2016; Published: Apr 15, 2016 Mathematics Subject Classifications: 05C38, 05C70 Abstract In this note we construct two infinite snark families which have high oddness and low circumference compared to the number of vertices. Using this construction, we also give a counterexample to a suggested strengthening of Fulkerson's conjecture by showing that the Petersen graph is not the only cyclically 4-edge connected cubic graph which require at least five perfect matchings to cover its edges. Furthermore the counterexample presented has the interesting property that no 2-factor can be part of a cycle double cover. 1 Introduction A cubic graph is said to be colorable if it has a 3-edge coloring and uncolorable otherwise. A snark is an uncolorable cubic cyclically 4-edge connected graph. It it well known that an edge minimal counterexample (if such exists) to some classical conjectures in graph theory, such as the cycle double cover conjecture [15, 18], Tutte's 5-flow conjecture [19] and Fulkerson's conjecture [4], must reside in this family of graphs. There are various ways of measuring how far a snark is from being colorable. One such measure which was introduced by Huck and Kochol [8] is the oddness. The oddness of a bridgeless cubic graph G is defined as the minimum number of odd components in any 2-factor in G and is denoted by o(G).
    [Show full text]
  • Snarks and Flow-Critical Graphs 1
    Snarks and Flow-Critical Graphs 1 CˆandidaNunes da Silva a Lissa Pesci a Cl´audioL. Lucchesi b a DComp – CCTS – ufscar – Sorocaba, sp, Brazil b Faculty of Computing – facom-ufms – Campo Grande, ms, Brazil Abstract It is well-known that a 2-edge-connected cubic graph has a 3-edge-colouring if and only if it has a 4-flow. Snarks are usually regarded to be, in some sense, the minimal cubic graphs without a 3-edge-colouring. We defined the notion of 4-flow-critical graphs as an alternative concept towards minimal graphs. It turns out that every snark has a 4-flow-critical snark as a minor. We verify, surprisingly, that less than 5% of the snarks with up to 28 vertices are 4-flow-critical. On the other hand, there are infinitely many 4-flow-critical snarks, as every flower-snark is 4-flow-critical. These observations give some insight into a new research approach regarding Tutte’s Flow Conjectures. Keywords: nowhere-zero k-flows, Tutte’s Flow Conjectures, 3-edge-colouring, flow-critical graphs. 1 Nowhere-Zero Flows Let k > 1 be an integer, let G be a graph, let D be an orientation of G and let ϕ be a weight function that associates to each edge of G a positive integer in the set {1, 2, . , k − 1}. The pair (D, ϕ) is a (nowhere-zero) k-flow of G 1 Support by fapesp, capes and cnpq if every vertex v of G is balanced, i. e., the sum of the weights of all edges leaving v equals the sum of the weights of all edges entering v.
    [Show full text]
  • Every Generalized Petersen Graph Has a Tait Coloring
    Pacific Journal of Mathematics EVERY GENERALIZED PETERSEN GRAPH HAS A TAIT COLORING FRANK CASTAGNA AND GEERT CALEB ERNST PRINS Vol. 40, No. 1 September 1972 PACIFIC JOURNAL OF MATHEMATICS Vol. 40, No. 1, 1972 EVERY GENERALIZED PETERSEN GRAPH HAS A TAIT COLORING FRANK CASTAGNA AND GEERT PRINS Watkins has defined a family of graphs which he calls generalized Petersen graphs. He conjectures that all but the original Petersen graph have a Tait coloring, and proves the conjecture for a large number of these graphs. In this paper it is shown that the conjecture is indeed true. DEFINITIONS. Let n and k be positive integers, k ^ n — 1, n Φ 2k. The generalized Petersen graph G(n, k) has 2n vertices, denoted by {0, 1, 2, , n - 1; 0', Γ, 2', , , (n - 1)'} and all edges of the form (ΐ, ί + 1), (i, i'), (ί', (i + k)f) for 0 ^ i ^ n — 1, where all numbers are read modulo n. G(5, 2) is the Petersen graph. See Watkins [2]. The sets of edges {(i, i + 1)} and {(i', (i + k)f)} are called the outer and inner rims respectively and the edges (£, i') are called the spokes. A Tait coloring of a trivalent graph is an edge-coloring in three colors such that each color is incident to each vertex. A 2-factor of a graph is a bivalent spanning subgraph. A 2-factor consists of dis- joint circuits. A Tait cycle of a trivalent graph is a 2~factor all of whose circuits have even length. A Tait cycle induces a Tait coloring and conversely.
    [Show full text]
  • Lombardi Drawings of Graphs 1 Introduction
    Lombardi Drawings of Graphs Christian A. Duncan1, David Eppstein2, Michael T. Goodrich2, Stephen G. Kobourov3, and Martin Nollenburg¨ 2 1Department of Computer Science, Louisiana Tech. Univ., Ruston, Louisiana, USA 2Department of Computer Science, University of California, Irvine, California, USA 3Department of Computer Science, University of Arizona, Tucson, Arizona, USA Abstract. We introduce the notion of Lombardi graph drawings, named after the American abstract artist Mark Lombardi. In these drawings, edges are represented as circular arcs rather than as line segments or polylines, and the vertices have perfect angular resolution: the edges are equally spaced around each vertex. We describe algorithms for finding Lombardi drawings of regular graphs, graphs of bounded degeneracy, and certain families of planar graphs. 1 Introduction The American artist Mark Lombardi [24] was famous for his drawings of social net- works representing conspiracy theories. Lombardi used curved arcs to represent edges, leading to a strong aesthetic quality and high readability. Inspired by this work, we intro- duce the notion of a Lombardi drawing of a graph, in which edges are drawn as circular arcs with perfect angular resolution: consecutive edges are evenly spaced around each vertex. While not all vertices have perfect angular resolution in Lombardi’s work, the even spacing of edges around vertices is clearly one of his aesthetic criteria; see Fig. 1. Traditional graph drawing methods rarely guarantee perfect angular resolution, but poor edge distribution can nevertheless lead to unreadable drawings. Additionally, while some tools provide options to draw edges as curves, most rely on straight-line edges, and it is known that maintaining good angular resolution can result in exponential draw- ing area for straight-line drawings of planar graphs [17,25].
    [Show full text]
  • Math.RA] 25 Sep 2013 Previous Paper [3], Also Relying in Conceptually Separated Tools from Them, Such As Graphs and Digraphs
    Certain particular families of graphicable algebras Juan Núñez, María Luisa Rodríguez-Arévalo and María Trinidad Villar Dpto. Geometría y Topología. Facultad de Matemáticas. Universidad de Sevilla. Apdo. 1160. 41080-Sevilla, Spain. [email protected] [email protected] [email protected] Abstract In this paper, we introduce some particular families of graphicable algebras obtained by following a relatively new line of research, ini- tiated previously by some of the authors. It consists of the use of certain objects of Discrete Mathematics, mainly graphs and digraphs, to facilitate the study of graphicable algebras, which are a subset of evolution algebras. 2010 Mathematics Subject Classification: 17D99; 05C20; 05C50. Keywords: Graphicable algebras; evolution algebras; graphs. Introduction The main goal of this paper is to advance in the research of a novel mathematical topic emerged not long ago, the evolution algebras in general, and the graphicable algebras (a subset of them) in particular, in order to obtain new results starting from those by Tian (see [4, 5]) and others already obtained by some of us in a arXiv:1309.6469v1 [math.RA] 25 Sep 2013 previous paper [3], also relying in conceptually separated tools from them, such as graphs and digraphs. Concretely, our goal is to find some particular types of graphicable algebras associated with well-known types of graphs. The motivation to deal with evolution algebras in general and graphicable al- gebras in particular is due to the fact that at present, the study of these algebras is very booming, due to the numerous connections between them and many other branches of Mathematics, such as Graph Theory, Group Theory, Markov pro- cesses, dynamic systems and the Theory of Knots, among others.
    [Show full text]
  • Arxiv:1709.06469V2 [Math.CO]
    ON DIHEDRAL FLOWS IN EMBEDDED GRAPHS Bart Litjens∗ Abstract. Let Γ be a multigraph with for each vertex a cyclic order of the edges incident with it. ±1 a For n 3, let D2n be the dihedral group of order 2n. Define D 0 1 a Z . Goodall, Krajewski, ≥ ∶= {( ) S ∈ } Regts and Vena in 2016 asked whether Γ admits a nowhere-identity D2n-flow if and only if it admits a nowhere-identity D-flow with a n (a ‘nowhere-identity dihedral n-flow’). We give counterexam- S S < ples to this statement and provide general obstructions. Furthermore, the complexity of deciding the existence of nowhere-identity 2-flows is discussed. Lastly, graphs in which the equivalence of the existence of flows as above is true, are described. We focus particularly on cubic graphs. Key words: embedded graph, cubic graph, dihedral group, flow, nonabelian flow MSC 2010: 05C10, 05C15, 05C21, 20B35 1 Introduction Let Γ V, E be a multigraph and G an additive abelian group. A nowhere-zero G-flow on Γ is an= assignment( ) of non-zero group elements to edges of Γ such that, for some orientation of the edges, Kirchhoff’s law is satisfied at every vertex. The following existence theorem is due to Tutte [16]. Theorem 1.1. Let Γ be a multigraph and n N. The following are equivalent statements. ∈ 1. There exists a nowhere-zero G-flow on Γ, for each abelian group G of order n. 2. There exists a nowhere-zero G-flow on Γ, for some abelian group G of order n.
    [Show full text]
  • Embedding the Petersen Graph on the Cross Cap
    Embedding the Petersen Graph on the Cross Cap Julius Plenz Martin Zänker April 8, 2014 Introduction In this project we will introduce the Petersen graph and highlight some of its interesting properties, explain the construction of the cross cap and proceed to show how to embed the Petersen graph onto the suface of the cross cap without any edge intersection – an embedding that is not possible to achieve in the plane. 3 Since the self-intersection of the cross cap in R is very hard to grasp in a planar setting, we will subsequently create an animation using the 3D modeling software Maya that visualizes the important aspects of this construction. In particular, this visualization makes possible to develop an intuition of the object at hand. 1 Theoretical Preliminaries We will first explore the construction of the Petersen graph and the cross cap, highlighting interesting properties. We will then proceed to motivate the embedding of the Petersen graph on the surface of the cross cap. 1.1 The Petersen Graph The Petersen graph is an important example from graph theory that has proven to be useful in particular as a counterexample. It is most easily described as the special case of the Kneser graph: Definition 1 (Kneser graph). The Kneser graph of n, k (denoted KGn;k) consists of the k-element subsets of f1; : : : ;ng as vertices, where an edge connects two vertices if and only if the two sets corre- sponding to the vertices are disjoint. n−k n−k The graph KGn;k is k -regular, i.
    [Show full text]
  • The Cost of Perfection for Matchings in Graphs
    The Cost of Perfection for Matchings in Graphs Emilio Vital Brazil∗ Guilherme D. da Fonseca† Celina M. H. de Figueiredo‡ Diana Sasaki‡ September 15, 2021 Abstract Perfect matchings and maximum weight matchings are two fundamental combinatorial structures. We consider the ratio between the maximum weight of a perfect matching and the maximum weight of a general matching. Motivated by the computer graphics application in triangle meshes, where we seek to convert a triangulation into a quadrangulation by merging pairs of adjacent triangles, we focus mainly on bridgeless cubic graphs. First, we characterize graphs that attain the extreme ratios. Second, we present a lower bound for all bridgeless cubic graphs. Third, we present upper bounds for subclasses of bridgeless cubic graphs, most of which are shown to be tight. Additionally, we present tight bounds for the class of regular bipartite graphs. 1 Introduction The study of matchings in cubic graphs has a long history in combinatorics, dating back to Pe- tersen’s theorem [20]. Recently, the problem has found several applications in computer graphics and geographic information systems [5, 18, 24, 10]. Before presenting the contributions of this paper, we consider the following motivating example in the area of computer graphics. Triangle meshes are often used to model solid objects. Nevertheless, quadrangulations are more appropriate than triangulations for some applications [10, 23]. In such situations, we can convert a triangulation into a quadrangulation by merging pairs of adjacent triangles (Figure 1). Hence, the problem can be modeled as a matching problem by considering the dual graph of the triangulation, where each triangle corresponds to a vertex and edges exist between adjacent triangles.
    [Show full text]
  • Characterization of Generalized Petersen Graphs That Are Kronecker Covers Matjaž Krnc, Tomaž Pisanski
    Characterization of generalized Petersen graphs that are Kronecker covers Matjaž Krnc, Tomaž Pisanski To cite this version: Matjaž Krnc, Tomaž Pisanski. Characterization of generalized Petersen graphs that are Kronecker covers. 2019. hal-01804033v4 HAL Id: hal-01804033 https://hal.archives-ouvertes.fr/hal-01804033v4 Preprint submitted on 18 Oct 2019 (v4), last revised 3 Nov 2019 (v6) HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Discrete Mathematics and Theoretical Computer Science DMTCS vol. VOL:ISS, 2015, #NUM Characterization of generalised Petersen graphs that are Kronecker covers∗ Matjazˇ Krnc1;2;3y Tomazˇ Pisanskiz 1 FAMNIT, University of Primorska, Slovenia 2 FMF, University of Ljubljana, Slovenia 3 Institute of Mathematics, Physics, and Mechanics, Slovenia received 17th June 2018, revised 20th Mar. 2019, 18th Sep. 2019, accepted 26th Sep. 2019. The family of generalised Petersen graphs G (n; k), introduced by Coxeter et al. [4] and named by Watkins (1969), is a family of cubic graphs formed by connecting the vertices of a regular polygon to the corresponding vertices of a star polygon. The Kronecker cover KC (G) of a simple undirected graph G is a special type of bipartite covering graph of G, isomorphic to the direct (tensor) product of G and K2.
    [Show full text]
  • Assignment #2 Solutions
    MATH 3330: Applied Graph Theory ASSIGNMENT #2 SOLUTIONS 1. For the graph shown below and the given vertex sequences (i-iv), i) <x,v,y,w,v> ii) <x,u,x,u,x> iii) <x,u,v,y,x> iv) <x,v,y,w,v,u,x> a) Which of the vertex sequences represent a directed walk in the graph? walk: an alternating sequence of vertices and edges, representing a continuous traversal from the v0 to vn. The directed walks are (i) and (ii). Not (iii), because there is no arc from u to v. Not (iv), because there is no arc from v to u. b) What are the lengths of those that are directed walks? The lengths of both directed walks, (i) and (ii), is 4. c) Which directed walks are directed paths? Neither (i) nor (ii) are directed paths because both repeat vertices. Walk (i) repeats vertex v and walk (ii) repeats vertex u. d) Which directed walks are directed cycles? MATH 3330 Assignment #2 - SOLUTIONS Page 1 of 6 Neither are directed cycles: (i) does not start and end at the same vertex and, while <x,u,x> is a directed cycle, (ii) repeats vertices/edges and so is not a directed cycle. 2. In the Petersen graph shown below, a) Find a trail of length 5. trail: an alternating sequence of vertices and edges with no repeated edges. In the Petersen graph, there are several trails of length 5. For example: <1,2,3,4,5,6> b) Find a path of length 9. path: a trail with no repeated vertices (except possibly the initial and final vertex).
    [Show full text]
  • On Measures of Edge-Uncolorability of Cubic Graphs: a Brief Survey and Some New Results
    On measures of edge-uncolorability of cubic graphs: A brief survey and some new results M.A. Fiola, G. Mazzuoccolob, E. Steffenc aBarcelona Graduate School of Mathematics and Departament de Matem`atiques Universitat Polit`ecnicade Catalunya Jordi Girona 1-3 , M`odulC3, Campus Nord 08034 Barcelona, Catalonia. bDipartimento di Informatica Universit´adi Verona Strada le Grazie 15, 37134 Verona, Italy. cPaderborn Center for Advanced Studies and Institute for Mathematics Universit¨atPaderborn F¨urstenallee11, D-33102 Paderborn, Germany. E-mails: [email protected], [email protected], [email protected] February 24, 2017 Abstract There are many hard conjectures in graph theory, like Tutte's 5-flow conjec- arXiv:1702.07156v1 [math.CO] 23 Feb 2017 ture, and the 5-cycle double cover conjecture, which would be true in general if they would be true for cubic graphs. Since most of them are trivially true for 3-edge-colorable cubic graphs, cubic graphs which are not 3-edge-colorable, often called snarks, play a key role in this context. Here, we survey parameters measuring how far apart a non 3-edge-colorable graph is from being 3-edge- colorable. We study their interrelation and prove some new results. Besides getting new insight into the structure of snarks, we show that such measures give partial results with respect to these important conjectures. The paper closes with a list of open problems and conjectures. 1 Mathematics Subject Classifications: 05C15, 05C21, 05C70, 05C75. Keywords: Cubic graph; Tait coloring; snark; Boole coloring; Berge's conjecture; Tutte's 5-flow conjecture; Fulkerson's Conjecture.
    [Show full text]