Изменения

Итак, теперь мы можем описать сам алгоритм. Изначально инициализируем <tex>I</tex> как пустое множество. На каждом шаге будем строить граф <tex>D</tex> из текущего <tex>I</tex> и <tex>S\setminus I</tex> и добавлять в <tex>I</tex> кандидата-вершину <tex>s</tex>, удовлетворяющую условию теоремы. При добавлении вершины нужно не забыть поменять местами вершины на пути <tex>F \leadsto s</tex>, так как ребра из <tex>I_i</tex> должны вести в <tex>S\setminus I_i</tex> (т.е. должен сохраняться инвариант). Когда вершины-кандидаты закончатся, по доказанной выше теореме, множество, по доказанной выше теореме, станет максимальным. Возвращается полученное множество <tex>I</tex>.