272
правки
Изменения
Нет описания правки
# <tex> V_1 \neq \emptyset </tex>, иначе у турнира существует исток.
# <tex> V_2 \neq \emptyset </tex>, иначе у турнира существует сток.
# <tex> \exists e = (v'_2w_2, v'_1w_1) \in ET </tex>:#* <tex> v'_1 w_1 \in V_1 </tex>,#* <tex> v'_2 w_2 \in V_2 </tex>.Цикл <tex> S_3: (u \rightarrow v'_2 w_2 \rightarrow v'_1 w_1 \rightarrow u) </tex> - искомый цикл длины <tex> 3 </tex>, q.e.d.
}}
