1.问题
图的m着色问题
图的m着色问题。给定无向连通图G和m种颜色,用这些颜色给图的顶点着色,每个
顶点一种颜色。如果要求G的每条边的两个顶点着不同颜色。给出所有可能的着色方
案;如果不存在,则回答“NO”。
2.解析
利用回溯法解决问题。用图的邻接矩阵a表示无向连通图G = (V , E)。若(I,j)属于图的边集,则a[i][j] = 1,否则a[i][j] = 0。整数1~m表示m种不同的颜色。顶点i所着的颜色用x[i]表示。数组x[1:n]是问题的解向量。问题的解空间就是这些解向量的集合。该问题的解空间可以表示为一颗高度为n+1的完全m叉树,并且是排列树。解空间树的第i(1<=i<=n)层中的每个节点都有m个儿子,每个儿子对应x[i]的m个可能着色之一。第n+1层均为叶子结点。
约束条件:边相邻的两个顶点的颜色不能相同。
3.设计
int ok(int k){
for(int j=1;j<=n;j++)
if(a[k][j] && (x[j]==x[k]))return 0;
return 1;
}
void backtrack(int t){
if(t>n)
{
sum++;
}
else
for(int i=