Несводимый граф

Несводимый граф (Irreducible graph) - двудольный граф с множеством вершин [math]\displaystyle{ V = S \cup T }[/math], имеющий в точности два наименьших вершинных покрытия [math]\displaystyle{ M_{1}, \; M_{2} }[/math], причем или [math]\displaystyle{ M_{1} \cap S }[/math] и [math]\displaystyle{ M_{2} \cap T }[/math] пусты, или [math]\displaystyle{ M_{1} \cap T }[/math] и [math]\displaystyle{ M_{2} \cap S }[/math] пусты.

Литература

[Харари]