问题
图的m着色问题。给定无向连通图G和m种颜色,用这些颜色给图的顶点着色,每个顶点一种颜色。如果要求G的每条边的两个顶点着不同颜色。给出所有可能的着色方案;如果不存在,则回答“NO”。
分析
可以利用回溯法解决问题。用图的邻接矩阵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层均为叶子结点。
- 约束条件:边相邻的两个顶点的颜色不能相同。
核心伪代码
int wap(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=1;i<=m;i++)
{
x[t]=i;
if(ok(t)==1)backtrack(t+1);
x[t]=0;
}
}
int colored()
{
sum=0;
backtrack(1);
return sum;
}
时间复杂度
对每个点的着色要区分m种情况,然后根据该点的情况要对其他的点的着色进行检测冲突以及考虑着色情况,若发生着色冲突,则回溯,综上:
- 时间复杂度为O(mn²)