38 research outputs found

    A cyclically 6-edge-connected snark of order 118

    Get PDF
    AbstractWe present a cyclically 6-edge-connected snark of order 118, thereby illustrating a new method of constructing snarks

    On hypohamiltonian snarks and a theorem of Fiorini

    Get PDF
    In 2003, Cavicchioli et al. corrected an omission in the statement and proof of Fiorini's theorem from 1983 on hypohamiltonian snarks. However, their version of this theorem contains an unattainable condition for certain cases. We discuss and extend the results of Fiorini and Cavicchioli et al. and present a version of this theorem which is more general in several ways. Using Fiorini's erroneous result, Steffen had shown that hypohamiltonian snarks exist for some orders n >= 10 and each even n >= 92. We rectify Steffen's proof by providing a correct demonstration of a technical lemma on flower snarks, which might be of separate interest. We then strengthen Steffen's theorem to the strongest possible form by determining all orders for which hypohamiltonian snarks exist. This also strengthens a result of Macajova and Skoviera. Finally, we verify a conjecture of Steffen on hypohamiltonian snarks up to 36 vertices

    Stable dominating circuits in snarks

    Get PDF
    AbstractSnarks are cyclically 4-edge-connected cubic graphs with girth at least 5 and with no 3-edge-coloring. We construct snarks with a (dominating) circuit C so that no other circuit C′ satisfies V(C)⊆V(C′). These graphs are of interest because two known conjectures about graphs can be reduced on them. The first one is Sabidusi's Compatibility Conjecture which suggests that given an eulerian trail T in an eulerian graph G without 2-valent vertices, there exists a decomposition of G into circuits such that consecutive edges in T belong to different circuits. The second conjecture is the Fixed-Circuit Cycle Double-Cover Conjecture suggesting that every bridgeless graph has a cycle double cover which includes a fixed circuit

    The smallest nontrivial snarks of oddness 4

    Full text link
    The oddness of a cubic graph is the smallest number of odd circuits in a 2-factor of the graph. This invariant is widely considered to be one of the most important measures of uncolourability of cubic graphs and as such has been repeatedly reoccurring in numerous investigations of problems and conjectures surrounding snarks (connected cubic graphs admitting no proper 3-edge-colouring). In [Ars Math. Contemp. 16 (2019), 277-298] we have proved that the smallest number of vertices of a snark with cyclic connectivity 4 and oddness 4 is 44. We now show that there are exactly 31 such snarks, all of them having girth 5. These snarks are built up from subgraphs of the Petersen graph and a small number of additional vertices. Depending on their structure they fall into six classes, each class giving rise to an infinite family of snarks with oddness at least 4 with increasing order. We explain the reasons why these snarks have oddness 4 and prove that the 31 snarks form the complete set of snarks with cyclic connectivity 4 and oddness 4 on 44 vertices. The proof is a combination of a purely theoretical approach with extensive computations performed by a computer.Comment: 38 pages; submitted for publicatio

    Desenvolvimentos da Conjetura de Fulkerson

    Get PDF
    Orientador: Christiane Neme CamposDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de ComputaçãoResumo: Em 1971, Fulkerson propôs a seguinte conjetura: todo grafo cúbico sem arestas de corte admite seis emparelhamentos perfeitos tais que cada aresta do grafo pertence a exatamente dois destes emparelhamentos. A Conjetura de Fulkerson tem desafiado pesquisadores desde sua publicação. Esta conjetura é facilmente verificada para grafos cúbicos 3-aresta-coloráveis. Portanto, a dificuldade do problema reside em estabelecer a conjetura para grafos cúbicos sem arestas de corte que não possuem 3-coloração de arestas. Estes grafos são chamados snarks. Nesta dissertação, a Conjetura de Fulkerson e os snarks são introduzidos com ¿ênfase em sua história e resultados mais relevantes. Alguns resultados relacionados à Conjetura de Fulkerson são apresentados, enfatizando suas conexões com outras conjeturas. Um breve histórico do Problema das Quatro Cores e suas relações com snarks também são apresentados. Na segunda parte deste trabalho, a Conjetura de Fulkerson é verificada para algumas famílias infinitas de snarks construídas com o método de Loupekine, utilizando subgrafos do Grafo de Petersen. Primeiramente, mostramos que a família dos LP0-snarks satisfaz a Conjetura de Fulkerson. Em seguida, generalizamos este resultado para a família mais abrangente dos LP1-snarks. Além disto, estendemos estes resultados para Snarks de Loupekine construídos com subgrafos de snarks diferentes do Grafo de PetersenAbstract: In 1971, Fulkerson proposed a conjecture that states that every bridgeless cubic graph has six perfect matchings such that each edge of the graph belongs to precisely two of these matchings. Fulkerson's Conjecture has been challenging researchers since its publication. It is easily verified for 3-edge-colourable cubic graphs. Therefore, the difficult task is to settle the conjecture for non-3-edge-colourable bridgeless cubic graphs, called snarks. In this dissertation, Fulkerson's Conjecture and snarks are presented with emphasis in their history and remarkable results. We selected some results related to Fulkerson's Conjecture, emphasizing their reach and connections with other conjectures. It is also presented a brief history of the Four-Colour Problem and its connections with snarks. In the second part of this work, we verify Fulkerson's Conjecture for some infinite families of snarks constructed with Loupekine's method using subgraphs of the Petersen Graph. More specifically, we first show that the family of LP0-snarks satisfies Fulkerson's Conjecture. Then, we generalise this result by proving that Fulkerson's Conjecture holds for the broader family of LP1-snarks. We also extend these results to even more general Loupekine Snarks constructed with subgraphs of snarks other than the Petersen GraphMestradoCiência da ComputaçãoMestre em Ciência da Computaçã

    On Cyclic Edge-Connectivity of Fullerenes

    Full text link
    A graph is said to be cyclic kk-edge-connected, if at least kk edges must be removed to disconnect it into two components, each containing a cycle. Such a set of kk edges is called a cyclic-kk-edge cutset and it is called a trivial cyclic-kk-edge cutset if at least one of the resulting two components induces a single kk-cycle. It is known that fullerenes, that is, 3-connected cubic planar graphs all of whose faces are pentagons and hexagons, are cyclic 5-edge-connected. In this article it is shown that a fullerene FF containing a nontrivial cyclic-5-edge cutset admits two antipodal pentacaps, that is, two antipodal pentagonal faces whose neighboring faces are also pentagonal. Moreover, it is shown that FF has a Hamilton cycle, and as a consequence at least 152n2015\cdot 2^{\lfloor \frac{n}{20}\rfloor} perfect matchings, where nn is the order of FF.Comment: 11 pages, 9 figure

    Hypohamiltonian and almost hypohamiltonian graphs

    Get PDF
    This Dissertation is structured as follows. In Chapter 1, we give a short historical overview and define fundamental concepts. Chapter 2 contains a clear narrative of the progress made towards finding the smallest planar hypohamiltonian graph, with all of the necessary theoretical tools and techniques--especially Grinberg's Criterion. Consequences of this progress are distributed over all sections and form the leitmotif of this Dissertation. Chapter 2 also treats girth restrictions and hypohamiltonian graphs in the context of crossing numbers. Chapter 3 is a thorough discussion of the newly introduced almost hypohamiltonian graphs and their connection to hypohamiltonian graphs. Once more, the planar case plays an exceptional role. At the end of the chapter, we study almost hypotraceable graphs and Gallai's problem on longest paths. The latter leads to Chapter 4, wherein the connection between hypohamiltonicity and various problems related to longest paths and longest cycles are presented. Chapter 5 introduces and studies non-hamiltonian graphs in which every vertex-deleted subgraph is traceable, a class encompassing hypohamiltonian and hypotraceable graphs. We end with an outlook in Chapter 6, where we present a selection of open problems enriched with comments and partial results

    Normal 5-edge-coloring of some snarks superpositioned by Flower snarks

    Full text link
    An edge e is normal in a proper edge-coloring of a cubic graph G if the number of distinct colors on four edges incident to e is 2 or 4: A normal edge-coloring of G is a proper edge-coloring in which every edge of G is normal. The Petersen Coloring Conjecture is equivalent to stating that every bridgeless cubic graph has a normal 5-edge-coloring. Since every 3-edge-coloring of a cubic graph is trivially normal, it is suficient to consider only snarks to establish the conjecture. In this paper, we consider a class of superpositioned snarks obtained by choosing a cycle C in a snark G and superpositioning vertices of C by one of two simple supervertices and edges of C by superedges Hx;y, where H is any snark and x; y any pair of nonadjacent vertices of H: For such superpositioned snarks, two suficient conditions are given for the existence of a normal 5-edge-coloring. The first condition yields a normal 5-edge-coloring for all hypohamiltonian snarks used as superedges, but only for some of the possible ways of connecting them. In particular, since the Flower snarks are hypohamiltonian, this consequently yields a normal 5-edge-coloring for many snarks superpositioned by the Flower snarks. The second sufficient condition is more demanding, but its application yields a normal 5-edge-colorings for all superpositions by the Flower snarks. The same class of snarks is considered in [S. Liu, R.-X. Hao, C.-Q. Zhang, Berge{Fulkerson coloring for some families of superposition snarks, Eur. J. Comb. 96 (2021) 103344] for the Berge-Fulkerson conjecture. Since we established that this class has a Petersen coloring, this immediately yields the result of the above mentioned paper.Comment: 30 pages, 16 figure
    corecore