paper

A proof of the -conjecture for independent domination in cubic graphs

arXiv:2510.14762

Abstract

A set of vertices in a graph is a dominating set of if every vertex not in is adjacent to a vertex in~. An independent dominating set in is a dominating set of with the additional property that it is an independent set. The domination number, , and the independent domination number, , are the minimum cardinalities among all dominating sets and independent dominating sets in , respectively. By definition, for all graphs . Let be a connected cubic graph of order~. In 1996 Reed [Combin.\ Probab.\ Comput.\ 5 (1996), 277--295] proved a breakthrough result that . We prove the stronger result that if is different from and the -prism , then . This proves a known conjecture. The bound is tight in the sense that there are infinite families of connected cubic graphs that achieve equality in this bound.

49 pages, 56 figures