Теорема Дирака
Версия от 00:09, 12 октября 2010; Roman Livarsky (обсуждение | вклад)
| Теорема: | 
Если  и   для любой вершины  неориентированного графа  G, то  G - гамильтонов граф.  | 
| Доказательство: | 
| По теореме Хватала: для верна импликация | 
| Теорема: | 
Если [math]\ n \gt  3[/math] и [math]deg\ v \ge n/2[/math]  для любой вершины [math]\ v[/math] неориентированного графа  G, то  G - гамильтонов граф.  | 
| Доказательство: | 
| [math]\triangleright[/math] | 
| По теореме Хватала: для [math]\forall k[/math] верна импликация [math]d_k \le k \lt n/2 \Rightarrow d_{n-k} \ge n-k[/math] | 
| [math]\triangleleft[/math] |