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

'''Полунесводимый граф''' (''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> является  двудольным  полунесводимым  или  несводимым

графом''.

[Харари]