Изменения
Нет описания правки
# <tex> V_1 \neq \emptyset </tex>, (иначе <tex> v </tex> - исток турнира)
# <tex> V_2 \neq \emptyset </tex>, (иначе <tex> v </tex> - сток турнира)
# <tex> \exists e = (w_2, w_1) \in ET </tex>, (по определению иначе нет пути из <tex>V_2</tex> в <tex> V_1, V_2 </tex>):
#* <tex> w_1 \in V_1 </tex>,
#* <tex> w_2 \in V_2 </tex>.
:* <tex> V_1 \neq \emptyset </tex>, (иначе <tex> T </tex> не будет сильно связным, так как тогда нет простых путей с началом в <tex> V_2 </tex> и концом в <tex> {v_1, \ldots, v_k} </tex>)
:* <tex> V_2 \neq \emptyset </tex>, (иначе <tex> T </tex> не будет сильно связным, так как тогда нет простых путей с началом в <tex> {v_1, \ldots, v_k} </tex> и концом в <tex> V_1 </tex>)
:* <tex> \exists g = (w_2, w_1) \in T ET </tex>, (по определению иначе <tex> V_1T</tex> не будет сильно связным, так как тогда нет простых путей с началом в <tex>V_2 </tex> и концом в <tex>V_1</tex>):
:** <tex> w_1 \in V_1 </tex>,
:** <tex> w_2 \in V_2 </tex>.
