arXiv++ Combinatorics

We investigate the minimum non-zero number of perfect matchings in planar graphs. We prove that this is a constant for 2-connected planar graphs of minimum degree 3 and 3-connected planar graphs. In the former case, the constant is 4 and this is best possible. In the 3-connected case, we give several infinite families, including nearly 3-regular graphs and triangulations with a constant number of perfect matchings. In contrast, it was known that in the 4-connected case the minimum non-zero number of perfect matchings is at least linear. For 5-connected triangulations, it follows from a result of Alahmadi, Aldred, and Thomassen that there must be exponentially many perfect matchings. The families of planar graphs we investigate here are classified by connectivity. We conclude the article with an infinite family of counterexamples to a conjecture published by Zaks; these are not planar, but very much concern connectivity constraints.

For integers $k,g,d$, a $(k;g,d)$-cage (or simply girth-diameter cage) is a smallest $k$-regular graph of girth $g$ and diameter $d$ (if it exists). The order of a $(k;g,d)$-cage is denoted by $n(k;g,d)$. We determine asymptotic lower and upper bounds for the ratio between the order and the diameter of girth-diameter cages as the diameter goes to infinity. We also prove that this ratio can be computed in constant time for fixed $k$ and $g$. We theoretically determine the exact values $n(3;g,d)$, and count the number of corresponding girth-diameter cages, for $g \in \{4,5\}$. Moreover, we design and implement an exhaustive graph generation algorithm and use it to determine the exact order of several open cases and obtain -- often exhaustive -- sets of the corresponding girth-diameter cages. The largest case we generated and settled with our algorithm is a $(3;7,35)$-cage of order 136.

The cage problem concerns finding $(k,g)$-graphs, which are $k$-regular graphs with girth $g$, of the smallest possible number of vertices. The central goal is to determine $n(k,g)$, the minimum order of such a graph, and to identify corresponding extremal graphs. In this paper, we study the cage problem and several of its variants from a computational perspective. Four complementary graph generation algorithms are developed based on exhaustive generation of lifts, a tabu search heuristic, a hill climbing heuristic and excision techniques. Using these methods, we establish new upper bounds for eleven cases of the classical cage problem: $n(3,16) \leq 936$, $n(3,17) \leq 2048$, $n(4,9) \leq 270$, $n(4,10) \leq 320$, $n(4,11) \leq 713$, $n(5,9) \leq 1116$, $n(6,11) \leq 7783$, $n(8,7) \leq 774$, $n(10,7) \leq 1608$, $n(12,7) \leq 2890$ and $n(14,7) \leq 4716$. Notably, our results improve upon several of the best-known bounds, some of which have stood unchanged for 22 years. Moreover, the improvement for $n(4,10)$, from the longstanding upper bound of 384 down to 320, is surprising and constitutes a substantial improvement. While the main focus is on the cage problem, we also adapted our algorithms for variants of the cage problem that received attention in the literature. For these variants, additional improvements are obtained, further narrowing the gaps between known lower and upper bounds.

We present a new algorithm for improving lower bounds on $ex(n;\{C_3,C_4\})$, the maximum size (number of edges) of an $n$-vertex graph of girth at least 5. The core of our algorithm is a variant of a hill-climbing heuristic introduced by Exoo, McKay, Myrvold and Nadon (2011) to find small cages. Our algorithm considers a range of values of $n$ in multiple passes. In each pass, the hill-climbing heuristic for a specific value of $n$ is initialized with a few graphs obtained by modifying near-extremal graphs previously found for neighboring values of $n$, allowing to `propagate' good patterns that were found. Focusing on the range $n\in \{74,75, \dots, 198\}$, which is currently beyond the scope of exact methods, our approach yields improvements on existing lower bounds for $ex(n;\{C_3,C_4\})$ for all $n$ in the range, except for two values of $n$ ($n=96,97$).

A graph is pseudo 2-factor isomorphic if all of its 2-factors have the same parity of number of cycles. Abreu et al. [J. Comb. Theory, Ser. B. 98 (2008) 432--442] conjectured that $K_{3,3}$, the Heawood graph and the Pappus graph are the only essentially 4-edge-connected pseudo 2-factor isomorphic cubic bipartite graphs. This conjecture was disproved by Goedgebeur [Discr. Appl. Math. 193 (2015) 57--60] who constructed a counterexample $\mathcal{G}$ (of girth 6) on 30 vertices. Using a computer search, he also showed that this is the only counterexample up to at least 40 vertices and that there are no counterexamples of girth greater than 6 up to at least 48 vertices. In this manuscript, we show that the Gray graph -- which has 54 vertices and girth 8 -- is also a counterexample to the pseudo 2-factor isomorphic graph conjecture. Next to the graph $\mathcal{G}$, this is the only other known counterexample. Using a computer search, we show that there are no smaller counterexamples of girth 8 and show that there are no other counterexamples up to at least 42 vertices of any girth. Moreover, we also verified that there are no further counterexamples among the known censuses of symmetrical graphs. Recall that a graph is 2-factor Hamiltonian if all of its 2-factors are Hamiltonian cycles. As a by-product of the computer searches performed for this paper, we have verified that the $2$-factor Hamiltonian conjecture of Funk et al. [J. Comb. Theory, Ser. B. 87(1) (2003) 138--144], which is still open, holds for cubic bipartite graphs of girth at least 8 up to 52 vertices, and up to 42 vertices for any girth.

An $(\{r,m\};g)$-graph is a (simple, undirected) graph of girth $g\geq3$ with vertices of degrees $r$ and $m$ where $2 \leq r < m$ . Given $r,m,g$, we seek the $(\{r,m\};g)$-graphs of minimum order, called $(\{r,m\};g)$-cages or bi-regular cages, whose order is denoted by $n(\{r,m\};g)$. In this paper, we use computational methods for finding $(\{r,m\};g)$-graphs of small order. Firstly, we present an exhaustive generation algorithm, which leads to $\unicode{x2013}$ previously unknown $\unicode{x2013}$ exhaustive lists of $(\{r,m\};g)$-cages for 24 different triples $(r,m,g)$. This also leads to the improvement of the lower bound of $n(\{4,5\};7)$ from 66 to 69. Secondly, we improve 49 upper bounds of $n(\{r,m\};g)$ based on constructions that start from $r$-regular graphs. Lastly, we generalize a theorem by Aguilar, Araujo-Pardo and Berman [arXiv:2305.03290, 2023], leading to 73 additional improved upper bounds.