西安电子科技大学S6.4.2汉密尔顿图软件学院以下是哈密尔顿图的一个必要条件案定理」若图G-<V,E>是哈密尔顿图，则对于结点集V的每个非空子集S均满足：U (G-S) ≤S其中，IS表示S中的结点数，①(G-S)表示G删除S中所有结点后得到的连通分支个数。汉密尔顿回路西安电子科技大学 软件学院 汉密尔顿回路 C vi vj §6.4.2 汉密尔顿图