On (k,g)-graphs without (g + 1)-cycles

A (k,g,g+1_)-graph is a k-regular graph of girth g which does not contain cycles of length g+1. Such graphs are known to exist for all parameter pairs k≥3,g≥3, and we focus on determining the orders n(k,g,g+1_) of the smallest (k,g,g+1_)-graphs. This problem can be viewed as a special case of the previously studied Girth Pair Problem, the problem of finding the order of a smallest k-regular graph in which the length of a smallest even length cycle and the length of a smallest odd length cycle are prescribed. When considering the case of an odd girth g, this problem also yields results towards the Cage Problem, the problem of finding the order of a smallest k-regular graph of girth g. We establish the monotonicity of the function n(k,g,g+1_) with respect to increasing g, and present universal lower bounds for the values n(k,g,g+1_). We propose an algorithm for generating all (k,g,g+1_)-graphs on n vertices, use this algorithm to determine several of the smaller values n(k,g,g+1_), and discuss various approaches to finding smallest (k,g,g+1_)-graphs within several classes of highly symmetrical graphs.