272
правки
Изменения
Нет описания правки
{{Утверждение
|statement=
Cильно связанный турнир <tex> T </tex> из <tex> n \geq 3 </tex> вершин содержит [[Основные_определения_теории_графов#.D0.9E.D1.80.D0.B8.D0.B5.D0.BD.D1.82.D0.B8.D1.80.D0.BE.D0.B2.D0.B0.D0.BD.D0.BD.D1.8B.D0.B5_.D0.B3.D1.80.D0.B0.D1.84.D1.8B|орцикл ]] длины <tex> 3 </tex>.
|proof=
[[Файл:Cycle.jpg|300px|thumb|right|<tex> S_3 </tex>]]
#* <tex> v'_1 \in V_1 </tex>,
#* <tex> v'_2 \in V_2 </tex>.
Цикл <tex> S_3: (u \rightarrow v'_2 \rightarrow v'_1 \rightarrow u) </tex> - искомый [[http://neerc.ifmo.ru/mediawiki/index.php/%D0%9E%D1%81%D0%BD%D0%BE%D0%B2%D0%BD%D1%8B%D0%B5_%D0%BE%D0%BF%D1%80%D0%B5%D0%B4%D0%B5%D0%BB%D0%B5%D0%BD%D0%B8%D1%8F_%D1%82%D0%B5%D0%BE%D1%80%D0%B8%D0%B8_%D0%B3%D1%80%D0%B0%D1%84%D0%BE%D0%B2Основные_определения_теории_графов#.D0.9E.D1.80.D0.B8.D0.B5.D0.BD.D1.82.D0.B8.D1.80.D0.BE.D0.B2.D0.B0.D0.BD.D0.BD.D1.8B.D0.B5_.D0.B3.D1.80.D0.B0.D1.84.D1.8B | орцикл]] длины <tex> 3 </tex>, q.e.d.
}}
