200
правок
Изменения
→Реберное ядро в двудольном графе
Сошлемся на теорему <tex>(3)</tex> аналогичного результата<ref>A. L. Dulmage and N. S. Mendelsohn, 1958, pp. 517-534.</ref> для двудольных графов. То же самое доказательство можно перенести на произвольный граф.
}}
'''Следствие 1:''' если <tex>G</tex> имеет минимальное вершинное покрытие, которое не является независимым, то <tex>G \neq C_1(G)</tex>.<br> '''Следствие 2:''' если <tex>G</tex> {{---}} сводимый связный двудольный граф, то <tex>G \neq C_1(G)</tex>.
{{Теорема|
id=th3|
