Это следующее свойство из покрытия вершин вики: набор вершин является покрытием вершин тогда и только тогда, когда его дополнение является независимым набором.
Мне было интересно, как мы можем доказать, что это правда? Было бы здорово, если бы это можно было доказать противоречием, но все другие способы доказать также приветствуются.
спасибо!