322
правки
Изменения
→Алгоритм
{{Теорема
|statement=
Для любого <tex>s \in S \setminus I</tex> имеем <tex>I + s \in J_i J \Leftrightarrow </tex> существует ориентированный путь из <tex>F</tex> в <tex>s</tex> по ребрам <tex>D</tex>.
|proof=
<tex>\Leftarrow</tex>
и значит <tex>(I + s) \notin J</tex> - противоречие.
}}
== Источник ==