La conjetura de Vizing relaciona el número de dominación del producto cartesiano de dos grafos con el número de dominación de sus factores.