算法分析与设计12（图的m点着色问题，回溯算法）

1.问题

给定无向连通图G和m种颜色，用这些颜色给图的顶点着色，每个顶点一种颜色。如果要求G的每条边的两个顶点着不同颜色。给出所有可能的着色方案；如果不存在，则回答“NO”。

2.解析

设图G有n个顶点，顶点编号为1，…，n。则搜索空间为深度n的m叉完全树，颜色编号为1，…，m。
<x1,x2,…,xk>(x1,…,xk)∈{1，…，m}表示顶点i的颜色xi.

3.设计

bool judge(int v) {
for (int i = 0; i < v; i++) {
if (a[i][v] == 1 && x[i] == x[v])
return false;
}
return true;
}
void tintage(int v) {
if (v <= n) {
for (int i = 1; i <= m; i++) {
x[v] = i;
if (judge(v)) {//能够涂色
tintage(v + 1);//执行下个顶点
}
x[v] = 0;
}
}
else {
sum++;//涂色方案数++
for(int k=1;k<=n;k++)
cout<<x[k]<<" ";
cout<<endl;
return;
}
}

4.分析

O(nm^n);

5.源码

GitHub源码