A class of graphs approaching Vizing's conjecture
For any graph , a subset \emph{dominates} if all vertices are contained in the closed neighborhood of , that is . The minimum cardinality over all such is called the domination number, written . In 1963, V.G. Vizing conjectured that where stands for the Cartesian product of graphs. In this note, we define classes of graphs , for , so that every graph belongs to some such class, and corresponds to class of Bartsalkin and German. We prove that for any graph in class , .