Un "conjunto dominante" total es un conjunto de vértices tal que todos los vértices del grafo (incluidos los vértices del conjunto dominante) tienen un vecino en el conjunto dominante.