Відкрити головне меню

Зміни

Ніяких змін в розмірі, 5 місяців тому
нема опису редагування
 
== Допоміжна лема ==
Розглянемо граф <math>G</math> і припустимо, що <math>M</math> і <math>M'</math> є двома паруваннями в <math>G.</math> Нехай <math>G'</math> буде графом отриманим у висліді взяття [[Симетрична_різниця_множин|симетричноюсиметричної різницеюрізниці]] <math>M</math> і <math>M';</math> тобто <math>(M - M') \cup (M' - M).</math> <math>G'</math> складатиметься із [[Компонента зв'язності графа|компонент зв'язності]], кожна з яких належить до одного з таких класів:
# Ізольована вершина.
# Парний [[Цикл (теорія графів)|цикл]] чиї ребра чергуються між <math>M</math> і <math>M'.</math>
9565

редагувань