arxiv: v3 [math.co] 7 Sep 2018

Transcription

1 Cts in matchings of 3-connected cbic graphs Kolja Knaer Petr Valicov arxiv: v3 [math.co] 7 Sep 2018 September 10, 2018 Abstract We discss conjectres on Hamiltonicity in cbic graphs (Tait, Barnette, Ttte), on the dichromatic nmber of planar oriented graphs (Nemann-Lara), and on even graphs in digraphs whose contraction is strongly connected (Hochstättler). We show that all of them fit into the same framework related to cts in matchings. This allows s to find a conterexample to the conjectre of Hochstättler and show that the conjectre of Nemann-Lara holds for all planar graphs on at most 26 vertices. Finally, we state a new conjectre on bipartite cbic oriented graphs, that natrally arises in this setting. 1 Introdction Let s first introdce three conjectres on 3-connected, cbic graphs in their order of appearance. Conjectre 1 (Tait 1884). Every 3-connected, cbic, planar graph contains a Hamiltonian cycle. The first conterexample to Conjectre 1 was given by Ttte [16] and is a graph on 46 vertices. Several smaller conterexamples on 38 vertices were later fond by Holton and McKay, who also proved that there is no conterexample with less than 38 vertices [10]. One can observe that all known conterexamples to Tait s conjectre have odd cycles. Maybe this is essential: Conjectre 2 (Barnette 1969 [2]). Every 3-connected, cbic, planar, bipartite graph contains a Hamiltonian cycle. In general Conjectre 2 remains open. It was shown to be tre for graphs with at most 66 vertices [9]. There is an annoncement [1] claiming that the conjectre was verified for graphs with less than 86 vertices. A few years later a stronger conjectre was proposed: Conjectre 3 (Ttte 1971 [17]). Every 3-connected, cbic, bipartite graph contains a Hamiltonian cycle. Conjectre 3 was disproved by Horton [8]. The smallest known conterexample has 50 vertices and was discovered independently by Georges [5] and Kelmans [11]. Moreover, in [11] it is claimed (bt no reference given) that Lomonosov and Kelmans proved Conjectre 3 for graphs on at most 30 vertices. We verified Conjectre 3 on graphs p to 40 vertices by compter. Aix Marseille Univ, Université de Tolon, CNRS, LIS, Marseille, France. {kolja.knaer,petr.valicov}@lis-lab.fr 1

2 Let s now go back to the plane and introdce a seemingly nrelated conjectre in digraphs. The digirth of a digraph D = (V, A) is the length of a shortest directed cycle. A digraph is called oriented graph if it is of digirth at least 3. A set of vertices V V is acyclic in D if the digraph indced by V contains no directed cycle. Nemann-Lara stated the following: Conjectre 4 (Nemann-Lara 1985 [15]). Every planar oriented graph can be vertex-partitioned into two acyclic sets. Conjectre 4 remains open in general, bt was recently proved for graphs with digirth at least 4 [12]. Here we give the first comptational evidence for it by showing that it is valid for all planar graphs on at most 26 vertices, see Proposition 4. Let s introdce another seemingly nrelated problem. Given a (partially) directed graph D = (V, A), for E A, let D/E denote the graph obtained from D by contracting the edges of E. An even sbgraph E of a digraph D = (V, A) is a sbset E A that is an edge-disjoint nion of cycles of D (the cycles are not necessarily directed). Recently, Hochstättler proposed: Conjectre 5 (Hochstättler 2017 [7]). In every 3-edge-connected digraph D = (V, A) there exists an even sbgraph E A sch that D/E is strongly connected. We constrct a conterexample to Conjectre 5 on 122 vertices, see Proposition 3. In Section 2 we explain that all these conjectres arise in the same context and natrally lead to a new qestion (Conjectre 6). In Section 3 we give a general method that might be helpfl to search for conterexamples to Conjectres 4 and 6. In particlar, this method leads to a conterexample to Conjectre 5. We explain or comptational reslts in Section 4 and conclde the paper in Section 5. 2 Cbic graphs withot perfect matchings containing a ct In the present section we will reformlate all of the above conjectres as statements abot cbic (planar, bipartite, directed) graphs with some perfect matchings not containing a (directed) ct. See Figre 1 for an illstration of the relations between the conjectres discssed in this section. First, observe that a cbic graph G = (V, E) contains a Hamiltonian cycle C, if and only if the complement E \ C is a perfect matching containing no edge-ct. Therefore, in Conjectres 1, 2, 3 the property contains a Hamiltonian cycle can be replaced eqivalently by contains a perfect matching withot ct. This section is dedicated to the proof that Conjectres 4 and 5 can be reformlated eqivalently as below, which jstifies their placement in Figre 1. Conjectre IV (Nemann-Lara). Every 3-connected, cbic, planar digraph contains a perfect matching withot a directed ct. Conjectre V (Hochstättler). Every 3-edge-connected, cbic digraph contains a perfect matching withot a directed ct. Before proceeding to the proof, note that a new qestion follows natrally: Conjectre 6. Every 3-connected, cbic, bipartite digraph contains a perfect matching withot directed ct. Let s now proceed to the proof, which we have split into several lemmas. 2

3 b p d Ttte Tait Hochstättler Barnette Conjectre 6 Nemann -Lara Figre 1: Conjectres of the form Every 3-connected, cbic, bipartite, planar, directed graph contains a perfect matching withot (directed) ct. The pper for are false, the lower for are open. Lemma 1. Conjectre 4 is eqivalent to Conjectre 5 restricted to planar graphs. Proof. Partitioning the vertex set of an oriented graph D in two acyclic sets X, Y corresponds to finding an edge-ct C (consisting of the edges between X and Y ) sch that D \ C is acyclic. If D is planar, we can look at the dal digraph D, where an edge of D (corresponding to an arc a of D) is oriented from the face on the left of a to the face on the right of a. It is well-known that nder this dality, we have the following: D is strongly connected D is acyclic, D is simple D is 3-edge-connected, C is a ct in D the corresponding arcs E in D form an even sbgraph, for any set A of arcs in D and corresponding arcs B in D, we have (D \ A ) = D /B. Since D has digirth at least 3 it can be assmed to be simple. So with the above properties we get that in a planar oriented graph D there is a ct C sch that D \ C is acyclic, if and only if in the 3- edge-connected digraph D there is an even sbgraph E sch that D /E is strongly connected. Ths, Conjectre 4 can be reformlated as: every 3-edge-connected, planar digraph D = (V, A) contains an even sbgraph E A sch that D/E is strongly connected. Define an odd sbgraph O A of a digraph D = (V, A) sch that every vertex has odd degree with respect to O. Lemma 2. Conjectre 5 (restricted to planar graphs) is eqivalent to: Every (planar,) 3-connected, cbic digraph D = (V, A) contains an odd sbgraph withot directed ct. 3

4 Proof. First, we show that both conjectres are eqivalent to their restriction to cbic graphs. One direction is trivial i.e. if Conjectre 5 is tre for general (planar) graphs, then in particlar it holds for cbic (planar) graphs. For the other direction sppose Conjectre 5 for (planar) cbic graphs and let D be a 3-edge-connected directed graph D = (V, A). Replace every vertex v of D with an ndirected cycle C v of length deg(v) sch that the reslting partially directed graph D = (V, A ) is cbic and 3-connected. Let E A be an even sbgraph sch that D /E is strongly connected. Since D is a contraction of D and strong connectivity is closed nder contraction, then D/(E A) is strongly connected. Since D is cbic, then E is a disjoint nion of cycles C 1,..., C k. Ths, for any of the cycles of the form C v in D, either C v {C 1,..., C k } or C v intersects E in a set of paths. Therefore, after contracting C v back, vertex v has even degree with respect to E A. Ths, E A is an even sbgraph and we are done. Note that this constrction preserves planarity and 3-connectivity. Finally, observe that a cbic digraph D = (V, A) contains an even sbgraph sch that D/E is strongly connected if and only if the complement O = A \ E is an odd sbgraph containing no directed edge-ct. Given a cbic digraph D = (V, A) define the cbic digraph D + = (V, A ) by replacing each vertex v of D that is neither a sink nor a sorce by 7 vertices as shown in Figre 2. The preserved arcs from D (depicted in bold) are called sspension arcs. x w x v 4 w v 5 v 7 v 3 v v 6 v 2 v 1 Figre 2: The replacement of a vertex v of D by R v to obtain D +. The bold arcs are the arcs which are preserved (sspension arcs). Lemma 3. Let D = (V, A) be a cbic digraph sch that every perfect matching contains a directed ct. Every odd sbgraph of D + = (V, A ) contains a directed ct. Frthermore, V = V + 6 {v V δ + (v) {1, 2}} and if D is 3-connected, bipartite or planar, then so is D +. Proof. Sppose that every perfect matching of D contains a directed ct and let O A be an odd sbgraph of D +. Since D + is cbic, all vertices have degree 1 or 3 in O. Consider some replacement gadget R v as in Figre 2. Observe that R v has an odd nmber of vertices v 1,..., v 7 and every odd sbgraph has an even nmber of vertices. Therefore, among the arcs (w, v 3 ), (x, v 5 ), (v 1, ), an odd nmber has to be in O, since otherwise an odd nmber of vertices remains to be covered in R v. We distingish two cases: Sppose (w, v 3 ), (x, v 5 ), (v 1, ) are all in O. Then v 1, v 3 and v 5 mst be of degree 1 in O, since otherwise they have degree 3 and we get a sink or a sorce in O. Hence, vertices v 2, v 4, v 6, v 7 remain 4

5 to be covered by arcs of O and ths v 7 necessarily has degree 3 in O and is a sorce in O. Ths, O contains a directed ct. The remaining case is when for every replacement gadget R v of G, exactly one sspension arc is in O. In this case, by constrction of D +, all O indces a perfect matching of D. By assmption, this perfect matching contains a directed ct, which also is a directed ct of D + and we are done. It is easy to see that the constrction preserves 3-connectivity, bipartiteness, and planarity and has the claimed nmber of vertices. Ptting Lemmas 1, 2, and 3 together we get Proposition 1. Conjectres 4 and 5 are eqivalent to Conjectres IV and V, respectively. Note that the statement corresponding to the top of Figre 1 is that every cbic, 3-connected graph is Hamiltonian. The first conterexample to this statement is the Petersen graph. While it is neither bipartite, nor planar, all of its orientations satisfy Conjectre 5, that is, every orientation of the Petersen graph contains an odd sbgraph withot directed ct [7]. By compter we verified that each of these orientations even has a perfect matching containing no directed ct, i.e. the orientations of the Petersen graph satisfy Conjectre V. However, we will see in the next section that the Petersen graph plays a crcial role for the conterexamples to Conjectres 5 and V. 3 Conterexamples to Conjectres 5 and V from a-arcs An edge {, v} in a 3-connected, cbic graph G is called an a-edge, if every perfect matching of G that contains {, v}, also contains a ct. Eqivalently, every Hamiltonian cycle of G mst pass throgh this edge. The name a-edge was defined in [3] (also sed in [10]). The similar notion can be defined for directed graphs: an arc (, v) in a partially directed, 3-connected, cbic graph D is called an a-arc if every perfect matching of D that contains (, v) also contains a directed ct. Clearly an a-arc (, v) of a directed graph corresponds to the a-edge {, v} of the nderlying ndirected graph. For an a-arc (, v) we denote by v, v the other two neighbors of vertex v in D. Since the edges {v, v }, {v, v } are not contained in any perfect matching containing {, v}, we can assme that {v, v }, {v, v } are not directed in D. Given a partially directed, 3-connected, cbic graph D with a specified a-arc (, v), we constrct two partially directed, 3-connected, cbic graphs ˆD and D, both having the property that every perfect matching contains a directed ct. The constrction ˆD yields the smallest conterexample to Conjectre V (see Figre 4b), whereas D yields the smallest known conterexample to Conjectre 5. Moreover, D preserves bipartiteness and planarity of D. For both constrctions we first bild the graph D by splitting vertex into,, sch that each has exactly the corresponding neighbor among v, v, v, see Figre 3a We bild the graph ˆD from two copies of D : D 1 (isomorphic to D ) and an oppositely oriented copy D 2. We connect these copies as shown in Figre 3b. We call this graph ˆD. Lemma 4. Every perfect matching of ˆD contains a directed ct. Proof. Let M be a perfect matching of ˆD. Note that by the parity of D 1, M contains either all the three arcs ( 1, v 1 ), ( 1, v 1), ( 1, v 1 ) or exactly one of them. However, if it was all three, this wold yield a directed ct in M. Symmetrically, M contains exactly one arc among (v 2, 2 ), (v 2, 2), (v 2, 2). 5

6 1 D 2 v v v D (a) the graph D v v 1 D 2 v x 2 v 1 D 1 v 2 2 = 1 v 1 (b) the graph ˆD; red and ble arcs form directed cts, respectively. D 1 1 D 3 (c) the graph D, y = 1 = 2 = 3 y Figre 3: Conterexamples from a-arcs Ths, we have one of the following three sitations, where in each case we sppose that none of the previos ones apply: M contains ( 1, v 1 ) or (v 2, 2 ). Since each of these arcs corresponds to an a-arc of D, the restriction M of M to the corresponding copy of D contains a directed ct of D. This directed ct is contained in M and is a directed ct of ˆD. M contains the arc (v 2, 2). Then M also contains ( 1, v 1 ) and one dedces that M contains the ble directed ct. M contains the arc (v 2, 2). Then M also contains (x, 1 ) and one dedces that M contains the red directed ct. Let s now se Lemma 4 to give the smallest conterexample to Conjectre V. Observation 1. In the partial orientation P of the Petersen graph given in Figre 4a, each of the (two) perfect matchings with arc (, v) contains a directed ct, i.e., (, v) is an a-arc. The corresponding graph ˆP coming from Lemma 4 has 24 vertices and is depicted in Figre 4b. Together, with or comptational reslts in Section 4 we get: Proposition 2. The graph of Figre 4b is the smallest conterexample to Conjectre V. Let s now describe the second constrction D, which will lead to the smallest known conterexample to Conjectre 5. Let again D and D be as in the beginning of the section. We bild D by replacing three vertices of the cbe-graph Q 3 by copies D 1, D 2, D 3 of D and by identifying vertices 1, 2, 3 to the vertex y as shown in Figre 3c. The graph D is 3-connected, cbic and the constrction preserves planarity and bipartiteness of D. Lemma 5. Every perfect matching of D contains a directed ct. 6

7 v z v t v (a) partial orientation P of the Petersen graph with the two matchings containing arc (, v). (b) smallest cbic, 3-connected, partially directed graph where each perfect matching contains a directed ct. Figre 4: The constrction of the smallest conterexample to Conjectre V Proof. Let M be a perfect matching of D. Exactly one of the arcs incident to vertex y is in M. Say this is the arc to D 1. By parity of D 1, either both edges connecting 1 and 1 to D 1 are in M or none of them. If both are in M, then it is easy to see, that M cannot be a perfect matching of D. Therefore, M contains a perfect matchings M of D 1 that corresponds to a perfect matching of D. Since (, v) is an a-arc of D, M contains a directed ct of D. This directed ct is contained in M and is a directed ct of D. Again, let P be the same orientation of the Petersen graph depicted in Figre 4a, which by Observation 1 has an a-arc. With 32 vertices, the graph P is a larger conterexample to Conjectre V than ˆP. However, by means of Lemma 3 the graph P can be sed to constrct a relatively small conterexample to Conjectre 5. More precisely, we flly orient P, sch that in every copy of P, vertices v, v are sorces and vertices z, t are sinks. Finally, the remaining non-oriented edges of the cbe Q 3 are oriented so that all of the vertices of Q 3 (except the ones where a copy of P was inserted) are sinks or sorces. Since in Lemma 3 only vertices that are neither sinks nor sorces have to be replaced by a gadget of 7 vertices, this reslts in a cbic conterexample to Conjectre 5 of order = 122. We obtain: Proposition 3. There is a conterexample to Conjectre 5 on 122 vertices. Note that any fll orientation of the graph of Figre 4b has at most 4 vertices which are sinks or sorces. Therefore, if we apply Lemma 3 to this graph, the smallest conterexample to Conjectre 5 we can get has order = Searching for conterexamples In this section we first give some easy observations for redcing the search space, then we explain how we checked the conjectres on large sets of digraphs comptationally. Afterwards, we smmarize or comptational reslts. 7

8 4.1 Properties of minimm conterexamples It is well known, that contracting a triangle in a conterexample to Conjectre 1 yields a smaller conterexample. The same is easily seen to hold for Conjectres IV and V. We therefore have: Lemma 6. Let G be a cbic (partially directed) graph with a triangle and let G be the graph obtained from G by contracting into a single vertex. Then the following holds: 1. If G is a conterexample to Conjectres 1, IV or V, then G is also a conterexample. 2. If G is 3-connected and has an a-edge (a-arc), then G has an a-edge (a-arc). A B v v x v w v x w x w (a) Constrcting G,v from G e x e v w A B (b) hypothetical placement of e and e in Lemma 7. A similar reslt holds for Conjectre 3. Figre 5: Cases described in the proof of Lemma 7 Lemma 7. Any minimm conterexample to Conjectre 3 has girth at least 6. Proof. Let G be a 3-connected, cbic, bipartite graph and C = (, v, w, x) a 4-cycle in G. Denote by, v, w, x the neighbors of, v, w, x otside C, respectively. Define G,v to be the graph obtained from the vertex-deleted graph G \ {w, x} by adding the edges {x, v} and {w, } (see Figre 5a). Similarly, define G v,w. Both G,v and G v,w are bipartite and cbic. A little case distinction easily yields, that if G,v or G v,w has a Hamiltonian cycle, then so does G. To show this one has to consider how vertices,, v, v, x, w are sed in a Hamiltonian cycle of one of these two graphs (say G,v ). For example, consider the case when both paths w and x vv are sed in a Hamiltonian cycle in G,v. Then either there exists a path P 1 from x to w disjoint with {, v,, v} (and conseqently there is a similar path P 1 from v to ); or there exists a path P 2 from x to disjoint with {, v, v, w } (and conseqently there is a similar path P 2 from w to v ). For the first sbcase, the Hamiltonian cycle in G is xx P 1 w wvv P 1. The second sbcase is symmetric, the Hamiltonian cycle in G being P 2 x xww P 2v v. Finally, let s see that at least one of G,v, G v,w is 3-connected. Indeed, if there is a 2-edge ct in G,v, then there is a 3-edge ct in G containing {, v} and {w, x} and some edge e / C, splitting G in A, x and B v, w. Similarly, if there was a 2-edge ct in G v,w there is a 3-edge ct in G with an edge e / C splitting G in A, v and B w, x. Depending on which of A, B contains e and 8

9 which of A, B contains e, one of the cts indced by A A, A B, B B, B A, consists of only two edges (see Figre 5b). This contradicts the 3-connectivity of G. Therefore, if G is a conterexample to Conjectre 3, then at least one of the graphs G,v or G v,w is also a conterexample. Hence G cannot be a minimm conterexample. 4.2 Comptational reslts for Conjectre 3 By Lemma 7, in order to verify Conjectre 3 for graphs of small order, we only have to check Hamiltonicity for cbic, bipartite, 3-connected graphs of girth at least 6. All cbic bipartite graphs on at most 34 vertices are available on-line ( The list was generated sing Minibam, a compter program written by Brinkmann [4]. We also sed Minibam to generate bipartite, cbic graphs of girth at least 6 on at most 40 vertices. We verified that all 3-connected graphs among these are Hamiltonian by lanching the Hamiltonicity test of SageMath [18] on each of them. Together with Lemma 7, this confirms that all bipartite, cbic, 3-connected graphs on at most 40 vertices are Hamiltonian. 4.3 Comptational reslts for Conjectres IV and V First, recall that for the cases of directed graphs, the instances of ndirected graphs we are considering are always non-hamiltonian, that is every perfect matching contains a ct. In order to verify that for any orientation of a given ndirected cbic graph G, there exists a perfect matching containing no directed ct, or algorithm proceeds by iterating throgh all perfect matchings of G. For each of them, all minimal cts will be chosen consectively to be directed and the algorithm will recrse. This exploration will either lead to a conflict, i.e., at some step of the algorithm the crrent perfect matching will contain only cts having arcs into both directions; or will redce the set of remaining perfect matchings to consider (since some of their cts are already directed). In fact, we observed that many perfect matchings in cbic graphs contain only one single ct and this speeds p the process, since no branching is needed for the choice of which ct to direct. By the discssion in Section 3, one can observe that for a given cbic graph G = (V, E), it is enogh to check whether an arbitrarily chosen edge {, v} of G can be an a-arc i.e. the edges of every perfect matching M containing {, v}, can be oriented sch that M contains a directed ct. Since G is cbic, the set of perfect matchings containing {, v} is exactly the set of perfect matchings of G = (V {, v}, E). If G cannot be oriented sch that {, v} is an a-arc, then G cannot be a conterexample. This allows a more efficient elimination of graph candidates. The program was written in a Python-based langage sing tools provided by SageMath [18]. 1 We verified that all cbic, 3-connected digraphs with at most 22 vertices have a perfect matching withot a directed ct. We also checked that the only partially directed graph on 24 vertices admitting an orientation sch that every perfect matching contains a directed ct, is the one of Figre 4b. Therefore, this is the niqe smallest conterexample to Conjectre V. A conterexample to Conjectre IV has to be an orientation of a conterexample to Conjectre 1. The list of all triangle-free conterexamples to Conjectre 1 (p to a certain order) can be fond 1 The sorce code can be provided by the athors on reqest and is available as spplementary material on the pblisher s site. 9

10 on McKay s webpage [14], see Table 1. We se the list as a base for or comptation. By item 1 of Lemma 6, or experimental reslts show that Conjectre IV holds for planar cbic, 3-connected graphs on at most 48 vertices. In particlar, Conjectre 5 holds for planar cbic graphs on at most 48 vertices. Recall that by Eler s formla, a planar cbic graph on n vertices has 2 + n 2 faces. Now, by planar dality and Lemma 1, we conclde that Conjectre 4 holds for planar trianglations on at most = 26 vertices. Since, removing edges does not create directed cycles, we conclde: Proposition 4. Conjectre 4 holds for planar graphs on at most 26 vertices. Moreover, from colmns 3, 4 and 5 of Table 1, we can dedce that Conjectre 4 holds for 4- vertex-connected planar graphs on at most 27 vertices and for 4-vertex connected planar graphs with minimm degree 5 on at most 39 vertices. Recall that if G admits a partial orientation D with an a-arc, then D can be sed as a gadget described in Section 3 for bilding conterexamples. Also recall that the constrction of the graph D (Figre 3c) preserves planarity. Ths, we get: Observation 2. If Conjectre 4 is tre, then no planar, 3-connected, cbic digraph has an a-arc. Hence, one way to bild a conterexample to Conjectre 4 is to find a planar, 3-connected, cbic digraph having an a-arc. Since an a-arc corresponds to an a-edge in the nderlying ndirected graph, we considered planar cbic graphs having an a-edge. Moreover, according to item 2 of Lemma 6, only graphs of girth 4 need to be considered. The list of sch graphs of order at most 38 was generated by McKay and provided on his webpage [14]. Or comptations show that none of them can be oriented sch that it has an a-arc. 5 Conclsion We have disproved Conjectre 5. For its variant, Conjectre V, we fond the niqe smallest conterexample on 24 vertices. However, or conterexample to Conjectre 5 is qite large. Is there a conterexample to Conjectre 5 on less than 122 vertices? Similarly for Conjectre 3, the smallest known conterexample is on 50 vertices and we have confirmed that this conjectre is tre for graphs on at most 40 vertices. What is the size of a smallest conterexample to Conjectre 3? As a common weakening of Conjectres V and 3 we proposed Conjectre 6: Every 3-connected, cbic, bipartite digraph contains a perfect matching withot directed ct. Since Conjectre 6 is weaker than Conjectre 3, we know that it holds for all graphs on at most 40 vertices. Frthermore, we verified by compter that no orientation of the known 2 small conterexamples to Conjectre 3 is a conterexample to Conjectre 6. Note that the weakest statement in Figre 1 (corresponding to the minimm in the diagram) is a natral open case of Conjectre 4: Every orientation of a planar Elerian trianglation can be vertex-partitioned into two acyclic sets. A well-known parameter of cbic graphs is cyclic connectivity, i.e., the size of a smallest cyclic ct. A cyclic ct is a minimal edge-ct, sch that after its deletion both components have a cycle. Any minimm cyclic ct forms a matching and all edge-cts that are matchings are cyclic cts. Clearly, 2 see 10

11 Nr of No Cyclically no faces of size 3,4, Cyclically vertices restriction 4-connected cyclic connectivity exactly 4 5-connected ? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ? Table 1: The conterexamples to Tait s conjectre from [14] on which Conjectre IV was verified. if all cyclic cts are large, then it is harder to have a ct in every perfect matching. That is why it is natral to consider any of the conjectres on cbic graphs in this paper for high cyclic connectivity. While Conjectre 1 is false for all possible vales of cyclic connectivity (planar graphs have cyclic connectivity at most 5), the highest cyclic connectivity among the known conterexamples to Conjectres 3 and V is 4 and 3, respectively. Indeed, it is not even known whether there exist general non-hamiltonian, 3-connected, cbic graphs of high cyclic connectivity. The existence of sch graphs is conjectred in [6] while according to [13], Thomassen conjectred the contrary (in personal commnication in 1991). The 28-vertex Coxeter graph has cyclic connectivity 7, witnessing the largest known cyclic connectivity among non-hamiltonian cbic 3-connected graphs. We checked that to attain cyclic connectivity 8 and 9, at least 48 and 66 vertices are needed, respectively. A (probably novel) parameter that is still closer to these problems is the size of a smallest edge-ct contained in a perfect matching. We believe that it deserves frther investigation. Acknowledgements We thank Winfried Hochstättler and Raphael Steiner for reading and commenting an earlier version of this manscript. We also thank Brendan McKay for making available on-line some data on planar graphs on or reqest. We thank the reviewers for their carefl reading and valable sggestions which helped improving this paper. The first athor was spported by ANR GATO ANR-16-CE

12 References [1] R. Aldred, G. Brinkmann, and B. McKay. Barnette s Conjectre. [2] D.W. Barnette. Conjectre 5, in Ttte, W. T., Recent Progress in Combinatorics: Proceedings of the Third Waterloo Conference on Combinatorics, May 1968, New York: Academic Press. [3] J. Bosák. Hamiltonian lines in cbic graphs. Proc. International Seminar on Graph Theory and Applications, Rome, 1966, [4] G. Brinkmann. Fast generation of cbic graphs. J. Graph Theory, 23(2): , [5] J.P. Georges. Non-Hamiltonian Bicbic Graphs. J. Comb. Theory, Series B, 46, , [6] M. Haythorpe. Non-Hamiltonian 3-Reglar Graphs with Arbitrary Girth. Univ. J. Applied Math., 2:72 78, [7] W. Hochstättler. A flow theory for the dichromatic nmber. Er. J. Combin., 66, , [8] J.D. Horton. On two-factors of bipartite reglar graphs. Disc. Math., 41(1): 35 41, [9] D.A. Holton, B. Manvel and B.D. McKay, Hamiltonian cycles in cbic 3-connected bipartite planar graphs, J. Comb. Theory, Series B, 38 (3): , [10] D.A. Holton and B.D. McKay. The smallest non-hamiltonian 3-connected cbic planar graphs have 38 vertices. J. Comb. Theory, Series B, 45, [11] A.K. Kelmans. Cbic bipartite cyclic 4-connected graphs withot Hamiltonian circits. In Rssian. Usp. Mat. Nak, 43, 3(261): , [12] Z. Li and B. Mohar. Planar digraphs of digirth for are 2-colorable. SIAM J. Discrete Math, 31(3): , [13] E. Máčajová and J. Mazák. Cbic Graphs with Large Circmference Deficit. J. Graph Theory, 82: , [14] B. McKay. Varios plane graphs. [15] V. Nemann-Lara. Vertex colorings in digraphs. Some Problems. Technical Report, University of Waterloo, Jly 8, [16] W.T. Ttte. On Hamiltonian circits. J. Lond. Math. Soc., 21:98 101, [17] W.T. Ttte, On the 2-factors of bicbic graphs. Disc. Math., 1, , [18] The Sage Development Team. Sage Mathematics Software (Version 8.0),