集S，均有W(G－S) ≤|S|。其中|S|是S中的顶点数，W(G－S)表示图G擦去属于S中的顶点后，剩下子图的连通分枝的个数。哈密尔顿图的充分条件：设 formula_1 是一个无向简单图，formula_2，formula_3。若对于任意的两个顶点formula_4，那么 formula_5 和 formula_6 的度，即 formula_7 与 formula_8 满足 formula_9，那么，formula_10 是哈密尔顿图。此条件由美国图论数学家奥勒在1960年给出。寻找哈密顿路