Así, un grafo con "n" vértices tiene una cobertura de vértices de tamaño "k" si y sólo si el grafo tiene un conjunto independiente de tamaño "n-k".