35
правок
Изменения
м
Нет описания правки
Пусть <tex> S_k = (v_1 \rightarrow v_2 \rightarrow \ldots \rightarrow v_k \rightarrow v_1) </tex>.
Пусть <tex> v_0 : v_0 \notin S_k </tex> такаяи верно, что <tex> \exists u, w \in S_k </tex>:
* <tex> (v_0, u) \in ET </tex>,
* <tex> (w, v_0) \in ET </tex>.
