Изменения

Все наши кандидаты находятся в <tex>S \setminus I</tex>. Если мы найдем путь из <tex>F</tex> в <tex>S \setminus I</tex>, то элемент <tex>s</tex>, которым путь закончился, можно будет добавить в <tex>I</tex>.

То есть шаг жадного алгоритма заключается в создании нового <tex>D</tex> и поиске такого пути.

{{Теорема