圈，就称为哈密尔顿图。哈密尔顿图的必要条件：若G=(V,E) 是一个哈密尔顿图，则对于V的每一个非空子集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