，formula_3。若对于任意的两个顶点 formula_4，那么 formula_5 和 formula_6 的度，即 formula_7 与 formula_8 满足 formula_9，那么，formula_10 是哈密尔顿图。此条件由美国图论数学家奥勒在1960年给出。寻找哈密顿路径是一个典型的NP-完全问题。后来人们也证明了，找一条哈密顿路的近似比为常数的近似算法也是NP-完全的。寻找哈密顿路的确定算法虽然很难有多项式时间的，但是这并不意味着只能进行时间复杂度为formula_11暴力搜