137
правок
Изменения
м
→Теорема Татта
{{Теорема
|statement=В графе <tex>\mathbb{G}</tex> существует полное паросочетание <tex>\Leftrightarrow</tex> <tex>\forall S \subset \mathbb{V}</tex> выполнено условие: <tex>odd(\mathbb{G} \setminus S) \leqslant \left\vert S \right\vert</tex> (то есть в графе <tex>\mathbb{G}</tex> нет ни одного множества Татта)
|proof =
<tex>\Rightarrow</tex> Рассмотрим <tex>M</tex> {{---}} полное паросочетание в графе <tex>\mathbb{G}</tex> и множество вершин <tex>S \subset \mathbb{V}</tex>.
