欧拉图和哈密尔顿图.pptVIP

H_图的必要条件 定理：若图G=（V，E）是哈密尔顿图，则对于V的任意一个非空子集V1，有p（G–V1）≤|V1| 这里p（G–V1）表示从G中删除V1（删除S中的各结点及相关联的边）后所剩图的分图（连通分支）数。|V1|表示V1中的结点数。 推论 若图G=（V，E）是半哈密尔顿图，则对于V的任意一个非空子集V1，有p（G–V1）≤|V1|＋1. H_图的必要条件 例.有H_通路，无H_回路 设 S= {v1,v4}， |S|=2 W(G-S)=3 ? 2 = |S| 例 在图（a）中去掉结点u以后p（G–{u}）=2，（b）中去掉结点u1和u2以后，p（G–{ u1，u2}）=3，由此 可以判定，这两个图都不是哈密尔顿图。 u1 u1 u1 (a) (b) H_图的必要条件 但必须要说明的是满足定理条件的不一定是哈密顿图。 如下图著名的彼得森(Petersen)图是满足定理条件的，但不是哈密顿图。 利用哈密顿图的必要条件可以用来判定某些图不是哈密顿图, 但不便于应用。因为要检查G的顶点集V的所有子集。 H_图的必要条件 必要条件的局限性 ——只能判定一个图不是哈密尔顿图 下图(Petersen图)满足上述必要条件。 Petersen图不是H_图。 H-图的 充分条件 [定理]简单G有n个结点，n?3，若G中任二点度数和大于等于n，则G有H-图 注意此为充分条件，非必要条件 例. N边形， n?5 任一对结点度数和=45 但它显然是H_图 例. Kn是完全图 d(vi)+d(vj)=(n-1)+(n-1)=2n-2 ?n (n?3) ∴ Kn是H-图 至今没有一个像欧拉图的充要条件那样关于哈密顿图、半哈密顿图的充分必要条件 但能体会到是边多还是边少是哈密顿图的可能大？ 只要图中边足够多，G易为H_图 只要图中成对节点度数足够大，G易为H_图 　　　　使用简单的深度优先搜索，就能求出一张图中所有的哈密尔顿环。下面给出一段参考程序： #includeiostream #includecstring using namespace std; int start,length,x,n; bool visited[101],v1[101]; int ans[101], num[101]; int g[101][101]; void print() { int i; for (i = 1; i = length; i++) cout ans[i]; cout endl; } void dfs(int last,int i) //图用数组模拟邻接表存储，访问点i，last表示上次访问的点 { visited[i] = true; //标记为已经访问过 v1[i] = true; //标记为已在一张图中出现过 ans[++length] = i; //记录下答案 for (int j = 1; j = num[i]; j++) 　　{ 　　 if (g[i][j]==xg[i][j]!=last) //回到起点，构成哈密尔顿环 　　 { 　　 ans[++length] = g[i][j]; 　　 print(); //这里说明找到了一个环，则输出ans数组。 　　 length--; 　　 break; 　　 } if (!visited[g[i][j]]) dfs(i,g[i][j]); //遍历与i相关联的所有未访问过的顶点 } length--; visited[i] = false; //这里是回溯过程，注意v1的值不恢复。 } int main() {