31 research outputs found
Petersen cores and the oddness of cubic graphs
Let be a bridgeless cubic graph. Consider a list of 1-factors of .
Let be the set of edges contained in precisely members of the
1-factors. Let be the smallest over all lists of
1-factors of . If is not 3-edge-colorable, then . In
[E. Steffen, 1-factor and cycle covers of cubic graphs, J. Graph Theory 78(3)
(2015) 195-206] it is shown that if , then is
an upper bound for the girth of . We show that bounds the oddness
of as well. We prove that .
If , then every -core has a very
specific structure. We call these cores Petersen cores. We show that for any
given oddness there is a cyclically 4-edge-connected cubic graph with
. On the other hand, the difference between
and can be arbitrarily big. This is true even
if we additionally fix the oddness. Furthermore, for every integer ,
there exists a bridgeless cubic graph such that .Comment: 13 pages, 9 figure
Some results on the structure of multipoles in the study of snarks
Multipoles are the pieces we obtain by cutting some edges of a cubic graph in one or more points. As a result of the cut, a multipole M has vertices attached to a dangling edge with one free end, and isolated edges with two free ends. We refer to such free ends as semiedges, and to isolated edges as free edges. Every 3-edge-coloring of a multipole induces a coloring or state of its semiedges, which satisfies the Parity Lemma. Multipoles have been extensively used in the study of snarks, that is, cubic graphs which are not 3-edge-colorable. Some results on the states and structure of the so-called color complete and color closed multipoles are presented. In particular, we give lower and upper linear bounds on the minimum order of a color complete multipole, and compute its exact number of states. Given two multipoles M1 and M2 with the same number of semiedges, we say that M1 is reducible to M2 if the state set of M2 is a non-empty subset of the state set of M1 and M2 has less vertices than M1. The function v(m) is defined as the maximum number of vertices of an irreducible multipole with rn semiedges. The exact values of v(m) are only known for m <= 5. We prove that tree and cycle multipoles are irreducible and, as a byproduct, that v(m) has a linear lower bound.Peer ReviewedPostprint (published version
On almost hypohamiltonian graphs
A graph is almost hypohamiltonian (a.h.) if is non-hamiltonian, there
exists a vertex in such that is non-hamiltonian, and is
hamiltonian for every vertex in . The second author asked in [J.
Graph Theory 79 (2015) 63--81] for all orders for which a.h. graphs exist. Here
we solve this problem. To this end, we present a specialised algorithm which
generates complete sets of a.h. graphs for various orders. Furthermore, we show
that the smallest cubic a.h. graphs have order 26. We provide a lower bound for
the order of the smallest planar a.h. graph and improve the upper bound for the
order of the smallest planar a.h. graph containing a cubic vertex. We also
determine the smallest planar a.h. graphs of girth 5, both in the general and
cubic case. Finally, we extend a result of Steffen on snarks and improve two
bounds on longest paths and longest cycles in polyhedral graphs due to
Jooyandeh, McKay, {\"O}sterg{\aa}rd, Pettersson, and the second author.Comment: 18 pages. arXiv admin note: text overlap with arXiv:1602.0717
Smallest snarks with oddness 4 and cyclic connectivity 4 have order 44
The family of snarks -- connected bridgeless cubic graphs that cannot be
3-edge-coloured -- is well-known as a potential source of counterexamples to
several important and long-standing conjectures in graph theory. These include
the cycle double cover conjecture, Tutte's 5-flow conjecture, Fulkerson's
conjecture, and several others. One way of approaching these conjectures is
through the study of structural properties of snarks and construction of small
examples with given properties. In this paper we deal with the problem of
determining the smallest order of a nontrivial snark (that is, one which is
cyclically 4-edge-connected and has girth at least 5) of oddness at least 4.
Using a combination of structural analysis with extensive computations we prove
that the smallest order of a snark with oddness at least 4 and cyclic
connectivity 4 is 44. Formerly it was known that such a snark must have at
least 38 vertices [J. Combin. Theory Ser. B 103 (2013), 468--488] and one such
snark on 44 vertices was constructed by Lukot'ka et al. [Electron. J. Combin.
22 (2015), #P1.51]. The proof requires determining all cyclically
4-edge-connected snarks on 36 vertices, which extends the previously compiled
list of all such snarks up to 34 vertices [J. Combin. Theory Ser. B, loc.
cit.]. As a by-product, we use this new list to test the validity of several
conjectures where snarks can be smallest counterexamples.Comment: 21 page