Полунесводимый граф: различия между версиями

'''Полунесводимый граф''' (''[[Semiirreducible graph]]'') —

[[двудольный граф]] с <math>V = S \cup T,</math> имеющий точно одно наименьшее

[[вершинное покрытие]] <math>\,M</math>,  причем или <math>M \cap S,</math>  или <math>M \cap T</math> пусто.

''[[Граф]]  <math>\,G</math> и его [[реберное ядро]] <math>\,C_{1}(G)</math> совпадают тогда и только

тогда, когда <math>\,G</math> является  двудольным  полунесводимым  или  [[несводимый граф|несводимым

* Харари Ф. Теория графов. —  М.: Мир, 1973.