Изменения

Построим граф <tex>H</tex>, такой что <tex>\mathbb{V_\mathbb{H}}=\mathbb{V_\mathbb{G'}}=\mathbb{V_\mathbb{G}}</tex> и <tex>\mathbb{E_\mathbb{H}}=M_1 \oplus M_2</tex>. Получим, что вершины <tex>x,y,z</tex> и <tex>t</tex> лежат на каком-то чередующемся цикле. В силу симметричности <tex>x</tex> и <tex>z</tex> можно считать, что вершины расположены в порядке <tex>tzxy</tex>. Тогда существует путь <tex>P_1=t..zx..y</tex> и полное паросочетание в нем, следовательно существует и путь <tex>P_2=t..zy..x</tex>, содержащий только ребра графа <tex>\mathbb{G'}</tex>. Тогда покроем путь на пути <tex>x..yzy</tex> ребрами возьмем ребра из паросочетания <tex>M_2</tex>, а путь на пути <tex>t..z</tex> покрооем ребрами - ребра из паросочетания <tex>M_1</tex>. Непокрытыми остались вершины z и y, при этом вершина z останется непокрытойкоторые мы покроем ребром <tex>yz</tex>. Получили Таким образом нам удалось построить полное паросочетание на вершинах выбранного подграфа. В остальных подграфах выберем ребра любого из паросочетаний <tex>M_1</tex> и <tex>M_2</tex>. Таким образом, получили полное паросочетание в графе <tex>\mathbb{G'}</tex>, противоречие.