Изменения

Перейти к: навигация, поиск
Нет описания правки
|id=th_1
|statement=
Для любого <tex>s \in S \setminus I</tex> имеем <tex>I \cup {{s}} \in \mathcal{I} \Leftrightarrow </tex> существует ориентированный путь из <tex>F</tex> в <tex>s</tex> по ребрам графа <tex>D</tex>.
|proof=
<tex>\Leftarrow</tex>
200
правок

Навигация