ハミルトン路
![](http://upload.wikimedia.org/wikipedia/commons/thumb/9/93/%D0%9D%D0%B0%D1%82%D1%83%D1%80%D0%B0%D0%BB%D0%B8%D0%B7%D0%B0%D1%86%D0%B8%D1%8F_%D0%B3%D0%B0%D0%BC%D0%B8%D0%BB%D1%8C%D1%82%D0%BE%D0%BD%D0%BE%D0%B2%D1%8B%D1%85_%D1%86%D0%B8%D0%BA%D0%BB%D0%BE%D0%B2.jpg/200px-%D0%9D%D0%B0%D1%82%D1%83%D1%80%D0%B0%D0%BB%D0%B8%D0%B7%D0%B0%D1%86%D0%B8%D1%8F_%D0%B3%D0%B0%D0%BC%D0%B8%D0%BB%D1%8C%D1%82%D0%BE%D0%BD%D0%BE%D0%B2%D1%8B%D1%85_%D1%86%D0%B8%D0%BA%D0%BB%D0%BE%D0%B2.jpg)
ハミルトン路(ハミルトンろ、英語: Hamiltonian path)とは、グラフ上の全ての頂点を 1 度ずつ通る路のこと。特に、グラフ上の全ての頂点を 1 度ずつ通る閉路はハミルトン閉路という。また、ハミルトン閉路を含むグラフのことをハミルトングラフといい、ハミルトン路は含むがハミルトン閉路は含まないようなグラフのことを準ハミルトングラフという。
与えられたグラフがハミルトン路を含むかどうか判定する問題は、NP完全問題。与えられたグラフがハミルトングラフかどうか判定する問題については、ハミルトン閉路問題を参照のこと。
まだ、ハミルトングラフかどうかを判定する簡単な定理は見つかっていない。
性質
- |V(G)| ≥ 3、δ(G) ≥ |V(G)|/2 を満たす単純グラフ G は、ハミルトングラフ (Dirac, 1952年)
- グラフ G (|V(G)| ≥ 3) がハミルトングラフ ⇔ d(u) + d(v) ≥ V(G) を満たす隣接していない頂点 u, v について、G + (u, v) がハミルトングラフ
- グラフ G (|V(G)| ≥ 3) がハミルトングラフで、(u, v) ∈ E(G) かつ d(u) + d(v) ≥ n + 2 ならば、G - e もハミルトングラフ。
- 完全グラフ K2n+1 は、n 個のハミルトン閉路に分解できる。
- 完全グラフ K2n は、n-1 個のハミルトン閉路と 1 個の 1-正則な全域部分グラフに分解できる。