2025/11/10 by Geoffrey Exoo, Jan Goedgebeur, Exoo, Geoffrey +7
#math.CO #cs.DM
paper · pdf · doi:10.48550/arxiv.2511.07247
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) ≤ 936, n(3,17) ≤ 2048, n(4,9) ≤ 270, n(4,10) ≤ 320, n(4,11) ≤ 713, n(5,9) ≤ 1116, n(6,11) ≤ 7783, n(8,7) ≤ 774, n(10,7) ≤ 1608, n(12,7) ≤ 2890 and n(14,7) ≤ 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.