Изменения
→Реберное ядро в двудольном графе
id=th4 |
statement=
<tex>G</tex> и его реберное ядро <tex>C_1(G)</tex> совпадают тогда и только тогда, когда <tex>G</tex> является двудольным и не является сводимым. |proof=<tex>\Rightarrow</tex> Пусть <tex>G = C_1(G)</tex> тогда по [[#th3|предыдущей теореме]] <tex>G</tex> является несводимым или полунесводимым двудольным графом.<br><tex>\Leftarrow</tex> Пусть выполнено следствие
}}
