密尔顿通路。若G中一个圈通过且仅通过每一个顶点一次，称这个圈为哈密尔顿圈。若一个图存在哈密尔顿圈，就称为哈密尔顿图。哈密尔顿图的必要条件：若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 和