Vertex cover или вершинное покрытие

Дано: Вершинное покрытие (VC) это подмножество вершин которые покрывают все рёбра в графе G.

Формально, дан граф G = {V,E}, VC это подмножество вершин

(размера к) такое что если

это ребро в G тогда когда

или

или оба

.

n = Количество вершин. n = |V|

Правильно ли что тогда все те вершины которые в V\V' (которые являются независимым множеством в G) соединены ребром с вершинами которые в V' ?