---
title: Barnette's Conjecture and Hamiltonian Graphs
url: https://www.emergentmind.com/topics/barnette-s-conjecture
type: topic
---

# Barnette's Conjecture and Hamiltonian Graphs

Barnette’s Conjecture is the assertion that every cubic, $3$-connected, planar, bipartite graph is Hamiltonian [1310.5504]. In dual form, it is equivalent to the statement that every simple even plane triangulation admits a partition of its vertex set into two induced trees [1208.4332]. The conjecture lies at the intersection of Hamiltonian graph theory, planar duality, matching theory, and algorithmic complexity, and it has generated a substantial literature of equivalent formulations, structural reductions, infinite Hamiltonian subclasses, and large-scale computer verification [1312.3783] [2202.11641] [2101.00943].

## 1. Statement, terminology, and duality

Barnette’s Conjecture is usually stated as follows: every cubic, $3$-connected, planar, bipartite graph contains a Hamiltonian cycle [1310.5504]. In the supplied literature, such graphs are also called **Barnette graphs** [2212.02668]. Here, “cubic” means every vertex has degree three; “planar” means the graph admits a crossing-free embedding in the plane; “bipartite” means the vertex set can be partitioned into two classes so that every edge joins opposite classes; and “$3$-connected” means deleting any two vertices leaves the graph connected [2101.00943] [1310.5504].

A standard dual formulation replaces the primal cubic bipartite plane graph by an even plane triangulation. If $G$ is a planar triangulation all of whose vertices have even degree, then its dual $G^*$ is cubic, planar, and bipartite; conversely, the dual of a cubic planar bipartite graph is an Eulerian planar triangulation [1312.3783]. In this language, Barnette’s Conjecture becomes: if $G$ is an Eulerian planar triangulation, then $G^*$ is Hamiltonian [1312.3783]. Equivalently, every simple even plane triangulation admits a partition of its vertex set into two subsets so that each induces a tree [1208.4332].

This duality is not merely formal. Several later approaches proceed entirely on the triangulation side, where $3$-colourings, induced forests, and face-structure become the central objects [1208.4332] [1312.3783] [2002.05288]. A recurrent theme is that Hamiltonicity in the cubic graph is equivalent to an acyclic covering structure in the dual triangulation.

## 2. Equivalent formulations and structural reductions

A basic equivalence used repeatedly in the literature is the permeating-subtree criterion. For a planar triangulation $G$, the following are equivalent: $G^*$ has a Hamiltonian cycle; $G$ contains an induced subtree that meets every face; and there exist two disjoint induced subtrees of $G$ whose union is $V(G)$ and each of which meets every face [1312.3783]. This criterion underlies colouring-based sufficient conditions and several dual proofs.

Kelmans’ equivalences identify Barnette’s Conjecture with stronger-looking edge-forcing statements. One formulation states that the following are equivalent: every cubic, $3$-connected, planar, bipartite graph is Hamiltonian; for every such graph $G$ and every pair of distinct edges $x,y$ on the same face, there is a Hamiltonian cycle containing $x$ but avoiding $y$; every cyclically-$4$-edge-connected cubic, $3$-connected, planar, bipartite graph is Hamiltonian; and, in that cyclically-$4$-edge-connected class, every two edges $x,y$ on a common face lie on a common Hamiltonian cycle [1312.3783]. These equivalences justify restricting attention to cyclically-$4$-edge-connected instances without loss of generality [1312.3783].

A matching-theoretic reformulation pushes the conjecture beyond planarity. Using Pfaffianity and tight-cut decomposition, one paper states that Barnette’s Conjecture holds if and only if all cubic, $3$-connected, Pfaffian, bipartite graphs are Hamiltonian [2202.11641]. The same work shows that Barnette’s Conjecture holds if and only if every cubic, planar brace is Hamiltonian [2202.11641]. Here a brace is a bipartite matching covered graph that is either isomorphic to $C_4$ or is $2$-extendable [2202.11641]. This reduction isolates braces as the indecomposable matching-theoretic building blocks relevant to Barnette’s problem.

Further strengthened Hamiltonicity properties also admit brace reductions. For cubic, $3$-connected, bipartite graphs, the paper [2202.11641] studies $P_4$-Hamiltonicity, the $H^-$-property, $P_3$-Hamiltonicity, and the $H^{+-}$-property, and states that for each of these properties a graph has the property if and only if all its braces have the property [2202.11641]. This places Barnette-type Hamiltonicity within a broader family of edge- and path-forcing conditions.

## 3. Sufficient conditions and infinite Hamiltonian subclasses

A substantial part of the literature establishes Hamiltonicity under additional structural hypotheses. One dual sufficient condition begins with a planar triangulation whose vertices are coloured blue and red so that every face is incident with at least one blue vertex, there is no cycle entirely in blue vertices, and every cycle in the red-induced subgraph contains a vertex of degree at most $4$ in the triangulation. Under these assumptions, the dual graph is Hamiltonian [1312.3783]. A corollary applies this to Eulerian planar triangulations with a proper blue-red-green colouring: if every red-green cycle contains a vertex of degree $4$, then the dual is Hamiltonian [1312.3783].

Florek’s work gives several dual sufficient conditions in terms of the degree-$\ge 6$ “big” vertices of a simple even plane triangulation. If $G[B_1\cup B_2]$ and $G[B_1\cup B_3]$ are acyclic, then for every path $abc$ there is a partition of the vertex set into two induced trees so that one contains the edge $ab$ and avoids $c$, and for every path $abc$ with $a$ and $c$ of the same colour there is such a partition with one tree containing the whole path $abc$ [1208.4332]. By duality, this yields Hamiltonicity in the corresponding primal Barnette graphs [1208.4332].

A later sufficient condition is phrased directly in terms of faces of the cubic plane graph. Let $P$ be a cubic, $3$-connected, plane, bipartite graph, and call a face small if it has exactly four edges and big if it has at least six. If no face has more than four big neighbours, then $P$ is Hamiltonian [2309.09578]. Under the additional assumption that every vertex is incident with both a small and a big face, the same paper states that $P$ has at least
\[
2^{\,k}
\quad\text{different Hamilton cycles,}\qquad
k=\left\lceil\frac{|B|-2}{4\Delta(B)-7}\right\rceil,
\]
where $|B|$ is the number of big faces and $\Delta(B)$ is the maximum face-size among the big faces [2309.09578].

Other infinite subclasses arise from face-size restrictions. Goodey’s classical result states that if every big face has size exactly $6$, then the graph is Hamiltonian [2309.09578]. A much stronger recent theorem states that every finite, simple, cubic, bipartite, planar, connected graph with all faces of size at most $8$ is Hamiltonian; as an immediate corollary, every Barnette graph with faces of size at most $8$ is Hamiltonian [2508.03531]. The proof uses a minimal-counterexample strategy, local graph substitutions, the identity
\[
\nu_4=\nu_8+6,
\]
and a computational verification of finitely many substitution cases [2508.03531].

Further infinite subclasses are defined by additional decomposition structure. Annular decomposable Barnette graphs with non-singular sequences of ring annuli are Hamiltonian [2008.06671]. Likewise, the leapfrog extension of a cyclically $4$-edge-connected bipartite cubic planar graph is Hamiltonian [1806.05483]. Another quantitative result concerns the subclass $P(4)$ of cubic, $3$-connected, bipartite plane graphs admitting a $2$-factor consisting only of facial $4$-cycles: every such graph has at least
\[
3^{\frac{2|P^*|}{\Delta^2(P^*)}}
\]
different Hamilton cycles [1807.08933].

## 4. Computational verification and finite-range results

Computer-assisted verification has produced the strongest finite-range evidence recorded in the supplied literature. A 2021 paper reports a complete computer-assisted verification of Barnette’s Conjecture for all $3$-connected planar bipartite cubic graphs up to $90$ vertices [2101.00943]. The central theorem there states:

- if $n\le 90$, then every such graph is Hamiltonian;
- if $n\le 78$, then every edge lies on at least one Hamiltonian cycle;
- if $n\le 66$, then for any two distinct edges $e_1,e_2$, there exists a Hamiltonian cycle containing $e_1$ and avoiding $e_2$ [2101.00943].

The computation exhaustively enumerated all $3$-connected planar cubic graphs of order $n\le 90$ with **plantri**, then filtered the bipartite instances [2101.00943]. Hamiltonicity testing was carried out by **cubhamg**, a complete backtracking algorithm optimized for cubic graphs [2101.00943]. Each edge is labelled YES, NO, or UNDECIDED, and a propagation routine applies local degree constraints; after propagation stalls, the algorithm branches on an undecided edge [2101.00943].

The computational scale is explicitly documented. The enumeration of all $3$-connected planar cubic graphs up to $n=90$ took approximately $1.5$ CPU·years, while the two-edge property up to $n\le 66$ required about $37$ CPU·years, plus a further $5$ CPU·years for exceptional cases of order $68$ and $70$; overall, the paper reports about $43$ CPU·years for the strongest part and about $2$ CPU·years for the remaining parts [2101.00943]. The same paper states that these bounds improve the previous record of $n\le 84$ [2101.00943].

Earlier computational work had established Hamiltonicity up to $64$ vertices using the two reduction operations $R_0$ and $R_4$ to generate all cubic, $3$-connected, bipartite, planar graphs from the unique $8$-vertex base polyhedron $C_1$ [1310.5504]. The later matching-theoretic work revisits this generation framework and augments it with dynamic tracking of non-trivial tight cuts, so that brace and non-brace cases can be distinguished during generation with $O(n)$ space overhead and $O(n)$ update time per expansion [2202.11641].

The most recent face-size-bounded proof also has a large computational component. The theorem for cubic, bipartite, planar, connected graphs with faces of size at most $8$ requires verification of $339\,068\,624$ substitution cases in total, implemented in SageMath [2508.03531]. This is presented as a finite reducibility verification analogous in spirit to local-configuration methods [2508.03531].

## 5. Algorithmic formulations and complexity

Barnette’s Conjecture has a pronounced algorithmic aspect because it lies near a complexity boundary. One survey states that deciding whether a given cubic, $3$-connected, planar graph has a Hamiltonian cycle is NP-complete, and likewise for variants where one omits either bipartiteness or planarity [1310.5504]. Another line of work studies Hamiltonicity in planar cubic graphs possessing a facial $2$-factor via quotient graphs and spanning trees of faces [2212.02668] [1806.05483].

If $G$ is a planar cubic graph with a facial $2$-factor $\mathcal Q$, then contracting each cycle of $\mathcal Q$ yields a quotient graph $H=G/\mathcal Q$ [2212.02668]. In this setting, Hamiltonian cycles in $G$ correspond to quasi spanning trees of faces in $H$ of a prescribed inside-outside type [2212.02668] [1806.05483]. This leads to polynomial-time solvable subcases. When the relevant family of faces in $H$ consists only of digons and triangles, deciding whether $H$ admits a spanning tree of faces reduces in polynomial time to the Spanning-Tree Parity Problem, which is solvable in $O(n^3)$ time [2212.02668].

The negative side is equally prominent. Even under strong restrictions on the quotient graph, deciding whether a spanning tree of faces exists can be NP-complete [2212.02668]. Most strikingly, one paper proves the conditional statement that if Barnette’s Conjecture is false, then Hamiltonicity in $3$-connected planar cubic bipartite graphs is NP-complete [2212.02668]. A related earlier paper proves the same conditional NP-completeness statement using forced-edge gadgets derived from a minimal non-Hamiltonian Barnette graph [1806.06713].

This conditional dichotomy makes the conjecture unusual. If true, Hamiltonicity on Barnette graphs is trivial as a decision problem; if false, the cited work indicates NP-completeness [2212.02668] [1806.06713]. Several authors therefore treat Barnette’s Conjecture as identifying a particularly tight frontier between tractable and NP-hard Hamiltonicity regimes [1310.5504] [2212.02668].

## 6. Status, scope, and disputed claims in the literature

Most of the supplied literature treats Barnette’s Conjecture as an open problem. The 2021 computational verification describes it as “one of the most celebrated open problems in the theory of Hamiltonian cycles” and proves only that no counterexample exists up to $90$ vertices [2101.00943]. The 2022 matching-theoretic paper again presents it as a conjecture and develops equivalent formulations rather than a resolution [2202.11641]. The 2025 face-size-$8$ result is explicitly framed as a substantial strengthening of earlier partial results rather than a complete solution [2508.03531].

At the same time, the supplied record contains two preprints making stronger claims. The abstract of “Cyclic Subsets and Barnette’s Conjecture” states that cyclic subsets are used to construct an inductive proof of Barnette’s long-standing conjecture [1309.2560]. Separately, “A computer-assisted proof of Barnette-Goodey conjecture: Not only fullerene graphs are Hamiltonian” claims a proof that every $3$-connected planar cubic graph with face-sizes at most $6$ is Hamiltonian, and notes that Barnette’s original conjecture is the special bipartite case in which all faces have size exactly $4$ or $6$ [1409.2440]. Since later papers in the supplied corpus continue to regard Barnette’s Conjecture as unresolved, these claims coexist with a continuing open-problem literature rather than with a settled consensus.

Within that ongoing literature, the current shape of the subject is clear. The conjecture has many equivalent formulations: induced-tree partitions in even plane triangulations [1208.4332], permeating subtrees [1312.3783], edge-forcing variants due to Kelmans [1312.3783], quasi spanning trees of faces [2212.02668], and Hamiltonicity of cubic Pfaffian bipartite graphs or cubic planar braces [2202.11641]. It also has a large catalogue of positive cases: bounded order up to $90$ vertices [2101.00943], bounded face-size up to $8$ [2508.03531], the four-big-neighbours condition [2309.09578], multi-$4$-cycle dual conditions [2002.05288], annular decomposable subclasses [2008.06671], leapfrog extensions [1806.05483], and the facial-$4$-cycle subclass $P(4)$ with exponentially many Hamiltonian cycles [1807.08933].

A plausible implication is that the conjecture has resisted resolution not because of a lack of reformulations, but because each reformulation isolates a different obstruction class without eliminating all of them simultaneously. The literature supplied here therefore presents Barnette’s Conjecture less as a single isolated statement than as a nexus connecting planar duality, cyclic edge-connectivity, matching theory, face-structure, and computational reducibility.

Source: https://www.emergentmind.com/topics/barnette-s-conjecture