Стягиваемый граф

Стягиваемый граф (Tightened graph) — граф [math]\displaystyle{ G }[/math] называется стягиваемым к [math]\displaystyle{ H }[/math], если [math]\displaystyle{ H }[/math] может быть получен из [math]\displaystyle{ G }[/math] с помощью некоторой последовательности стягиваний ребер.