(29)--5.4 回溯法之图的m着色问题.pptVIP

回溯法之图的m着色问题算法分析与设计

经典的四色问题1852年，毕业于伦敦大学的FrancisGuthrie（弗朗西斯.古德里）在一家科研单位从事地图着色工作时，发现每幅地图都可以只用四种颜色来着色四色问题又称四色猜想、四色定理，是世界近代三大数学难题之一。四色问题的内容是“任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。”问题导入

问题导入图的m着色问题图的m着色问题由四色问题引申而来，研究如何用m种颜色为地图着色

问题导入图的m着色问题【问题描述】给定无向连通图G和m种不同的颜色，用这些颜色为图G的各顶点着色，每个顶点着一种颜色。如果有一种着色方案使G中每条边的两个顶点着不同颜色，则称这个图是m可着色的。图的m着色问题是对于给定图G和m种颜色，找出所有不同的着色方案。

算法设计设计思路：数据结构设计邻接矩阵（二维数组）：存储图graph[N+1][N+1]一维数组：存储每个节点的颜色colors[N+1]colors[t]=i表示节点t的颜色为i??

算法设计设计思路：解空间树设n=3,m=3，对于每一个顶点，可以选3种不同的颜色，所以每一个节点有3个子节点，共有4层colors[1]=1colors[1]=2colors[1]=3colors[3]=1colors[3]=3colors[3]=2colors[2]=3colors[2]=2colors[2]=1

算法设计设计思路：剪枝函数设计如何判断是否能够着色？新加入的节点t取某一种颜色i时，依次和上层的每一个节点j(jt)比较。如果graph[t][j]=1并且colors[j]=i，那么它是不可着色的。intcheck(intt,inti)//剪枝函数{intj;for(j=1;jt;j++){if(graph[t][j]colors[j]==i)return0;}return1;}

算法设计设计思路：搜索过程演示t=1t=2t=3t=4colors[1]=1colors[2]=1×colors[2]=2colors[3]=1×colors[3]=2×123colors[3]=3tn，成功找到一种着色方案

算法设计设计思路：搜索函数设计voidbacktrace(intt，intm)当前节点颜色的种类当搜索的当前节点t=N时，依次尝试m种颜色，调用剪枝函数check()进行判断。如果当前颜色可以使用，则进入下一层搜索当搜索到叶子节点时（tN），即输出一种着色方案for(i=1;i=m;i++){if(check(t,i)){colors[t]=i;backtrace(t+1,m);}}if(tN)//算法搜索至叶子节点{sum++;printf(第%d种方案：\n,sum);for(i=1;i=N;i++)printf(%d,colors[i]);printf(\n);}

算法设计设计思路：核心代码voidbacktrace(intt,intm)//递归函数{inti;if(tN)//算法搜索至叶子节点{sum++;printf(第%d种方案：\n,sum);for(i=1;i=N;i++)printf(%d,colors[i]);printf(\n);}else{for(i=1;i=m;i++){if(check(t,i)){colors[t]=i;backtrace(t+1,m);}}}}intmain()//主函数{intm;inti;printf(请输入颜色种类：\n);scanf(%d,m);for(i=1;i=m;i++)//初始化colors[i]=0;backtrace(1,m);if(sum==0){printf(不是%d可着色的!\n,m);}return0;}输出结果：请输入颜色种类：3第1种方案：12