Докажите или опровергните: для любого простого связного графа с нечётным числом вершин всегда найдётся гамильтонов путь; приведите контрпримеры или достаточные условия
Утверждение ложно. Контрпример. Возьмём звезду K1,4K_{1,4}K1,4 (центр и 4 листа), она простая, связная и имеет нечётное число вершин n=5n=5n=5. В любой простом пути через центр можно пройти максимум от одного листа через центр к другому листу, т.е. посетить не более 3 вершин; поэтому путь, проходящий через все 5 вершин, невозможен. Более общо, звезда K1,mK_{1,m}K1,m при m≥3m\ge 3m≥3 (соответственно n=m+1n=m+1n=m+1) не содержит гамильтонова пути. (В дереве гамильтонов путь существует тогда и только тогда, когда число листьев ≤2\le 2≤2; звезда с m≥3m\ge3m≥3 имеет m>2m>2m>2 листьев.) Достаточные условия (коротко): - Теорема Дирака: если n≥3n\ge 3n≥3 и минимальная степень δ(G)≥n/2\delta(G)\ge n/2δ(G)≥n/2, то GGG содержит гамильтонов цикл (а значит и гамильтонов путь). - Теорема Ора (вар.: для пути): если для всех несмежных вершин u,vu,vu,v выполняется deg(u)+deg(v)≥n−1\deg(u)+\deg(v)\ge n-1deg(u)+deg(v)≥n−1, то GGG содержит гамильтонов путь. Доказательство варианта: добавить новую вершину, смежную со всеми вершинами GGG; полученное графу на n+1n+1n+1 вершах удовлетворяет условию Ора deg′(u)+deg′(v)≥n+1\deg'(u)+\deg'(v)\ge n+1deg′(u)+deg′(v)≥n+1, значит имеет гамильтонов цикл, удаление новой вершины даёт гамильтонов путь в исходном графе. - Более общие критерии: теорема Шватала—Эрдёша, теорема Хватала и др. дают условия по степенному последовательностям на наличие гамильтонова цикла/пути. Замечание о сложности: проверка существования гамильтонова пути в общем графе NP-полна, поэтому простого необходимо и достаточного критерия для всех графов не ожидается.
Контрпример. Возьмём звезду K1,4K_{1,4}K1,4 (центр и 4 листа), она простая, связная и имеет нечётное число вершин n=5n=5n=5. В любой простом пути через центр можно пройти максимум от одного листа через центр к другому листу, т.е. посетить не более 3 вершин; поэтому путь, проходящий через все 5 вершин, невозможен. Более общо, звезда K1,mK_{1,m}K1,m при m≥3m\ge 3m≥3 (соответственно n=m+1n=m+1n=m+1) не содержит гамильтонова пути. (В дереве гамильтонов путь существует тогда и только тогда, когда число листьев ≤2\le 2≤2; звезда с m≥3m\ge3m≥3 имеет m>2m>2m>2 листьев.)
Достаточные условия (коротко):
- Теорема Дирака: если n≥3n\ge 3n≥3 и минимальная степень δ(G)≥n/2\delta(G)\ge n/2δ(G)≥n/2, то GGG содержит гамильтонов цикл (а значит и гамильтонов путь).
- Теорема Ора (вар.: для пути): если для всех несмежных вершин u,vu,vu,v выполняется deg(u)+deg(v)≥n−1\deg(u)+\deg(v)\ge n-1deg(u)+deg(v)≥n−1, то GGG содержит гамильтонов путь. Доказательство варианта: добавить новую вершину, смежную со всеми вершинами GGG; полученное графу на n+1n+1n+1 вершах удовлетворяет условию Ора deg′(u)+deg′(v)≥n+1\deg'(u)+\deg'(v)\ge n+1deg′(u)+deg′(v)≥n+1, значит имеет гамильтонов цикл, удаление новой вершины даёт гамильтонов путь в исходном графе.
- Более общие критерии: теорема Шватала—Эрдёша, теорема Хватала и др. дают условия по степенному последовательностям на наличие гамильтонова цикла/пути.
Замечание о сложности: проверка существования гамильтонова пути в общем графе NP-полна, поэтому простого необходимо и достаточного критерия для всех графов не ожидается.