Paired Domination in Cubic Bipartite Graphs
In the authors' words
A paired dominating set of a graph is a dominating set such that has a perfect matching. The minimum size of such a set is the paired domination number . Desormeaux and Henning conjectured that every cubic bipartite graph of order satisfies . We prove the conjecture in the sharp integer form for every finite simple cubic bipartite graph . The proof combines a directed contraction along a perfect matching, switching arguments based on dominator trees, a four-symbol boundary calculus for two-edge cuts, and the Gallai--Edmonds decomposition. Equality is attained by when and by the cube when .
Main resultThe abstract does not state a limitation.
Appeared: Friday, September 25. arXiv. Preprint, not yet peer-reviewed.