オーレの定理
G が有限単純グラフで、頂点数 n ≥ 3 とする。G の頂点 v の次数(その頂点に接続する辺の数)を deg v と書く。このとき、
であるなら、G はハミルトングラフである。