Generation and properties of snarks

From MaRDI portal
Publication:463288

DOI10.1016/J.JCTB.2013.05.001zbMATH Open1301.05119arXiv1206.6690OpenAlexW3098173695MaRDI QIDQ463288FDOQ463288

Klas Markström, Jan Goedgebeur, Gunnar Brinkmann, Jonas Hägglund

Publication date: 16 October 2014

Published in: Journal of Combinatorial Theory. Series B (Search for Journal in Brave)

Abstract: For many of the unsolved problems concerning cycles and matchings in graphs it is known that it is sufficient to prove them for emph{snarks}, the class of nontrivial 3-regular graphs which cannot be 3-edge coloured. In the first part of this paper we present a new algorithm for generating all non-isomorphic snarks of a given order. Our implementation of the new algorithm is 14 times faster than previous programs for generating snarks, and 29 times faster for generating weak snarks. Using this program we have generated all non-isomorphic snarks on nleq36 vertices. Previously lists up to n=28 vertices have been published. In the second part of the paper we analyze the sets of generated snarks with respect to a number of properties and conjectures. We find that some of the strongest versions of the cycle double cover conjecture hold for all snarks of these orders, as does Jaeger's Petersen colouring conjecture, which in turn implies that Fulkerson's conjecture has no small counterexamples. In contrast to these positive results we also find counterexamples to eight previously published conjectures concerning cycle coverings and the general cycle structure of cubic graphs.


Full work available at URL: https://arxiv.org/abs/1206.6690




Recommendations




Cites Work


Cited In (63)

Uses Software





This page was built for publication: Generation and properties of snarks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q463288)