Изменения

<tex>G</tex> {{---}} '''несводимый''' граф (англ. ''reduced irreducible graph''), если он имеет ровно два наименьших вершинных покрытия <tex>M_1</tex> и <tex>M_2</tex>, таких что либо <tex>M_1 \cap S \cup M_2 \cap T = \varnothing </tex>, либо <tex>M_2 \cap S \cup M_1 \cap T = \varnothing</tex>

<tex>G</tex> {{---}} '''сводимый граф''' (англ. ''reduced graph'') если он не является ни полунесводимым, ни сводимым.