Теорема Татта: различия между версиями

Материал из WEGA
Перейти к навигации Перейти к поиску
(Создана новая страница размером '''Теорема Татта''' (''W.T.Tutte, 1947'') - Граф <math>G</math> имеет совершенное паросочетан...)
 
Нет описания правки
Строка 1: Строка 1:
'''Теорема Татта''' (''W.T.Tutte, 1947'') -  
'''Теорема Татта''' (''[[W.T.Tutte, 1947]]'') -  
Граф <math>G</math> имеет совершенное паросочетание тогда и только тогда, когда число нечетных компонент <math>c_{1}(G \setminus X)</math> подграфа <math>G \setminus X</math> для любого подмножества вершин <math>X \subseteq V(G)</math> удовлетворяет неравенству
[[Граф]] <math>G</math> имеет [[совершенное паросочетание]] тогда и только тогда, когда число нечетных компонент <math>c_{1}(G \setminus X)</math> [[подграф|подграфа]] <math>G \setminus X</math> для любого подмножества [[вершина|вершин]] <math>X \subseteq V(G)</math> удовлетворяет неравенству


<math>c_{1}(G \setminus X) \leq |X|.</math>
<math>c_{1}(G \setminus X) \leq |X|.</math>
Строка 6: Строка 6:
[Татт],  
[Татт],  


[Lov\'{a}sz],  
[<math>Lov\acute{a}sz</math>],  


[Bondy-Murty]
[Bondy-Murty]

Версия от 13:06, 4 февраля 2010

Теорема Татта (W.T.Tutte, 1947) - Граф [math]\displaystyle{ G }[/math] имеет совершенное паросочетание тогда и только тогда, когда число нечетных компонент [math]\displaystyle{ c_{1}(G \setminus X) }[/math] подграфа [math]\displaystyle{ G \setminus X }[/math] для любого подмножества вершин [math]\displaystyle{ X \subseteq V(G) }[/math] удовлетворяет неравенству

[math]\displaystyle{ c_{1}(G \setminus X) \leq |X|. }[/math]

Литература

[Татт],

[[math]\displaystyle{ Lov\acute{a}sz }[/math]],

[Bondy-Murty]