394
правки
Изменения
→Пояснения к доказательству
Во множество H вошли вершины с номерами 1,3,4,5,7,8.
Ненасыщенная вершина из правой доли всегда найдется(в примере вершина с номером 8), т.к иначе получаетсяполучаем противоречи:
# в <tex>H_R</tex> входят только насыщенные вершины
# <tex>N(H_L) = H_R</tex>
