1.问题
图的m着色问题。给定无向连通图G和m种颜色,用这些颜色给图的顶点着色,每个顶点一种颜色。如果要求G的每条边的两个顶点着不同颜色。给出所有可能的着色方案;如果不存在,则回答“NO”。
2.解析
color[n]存储n个顶点的着色方案,可以选择的颜色为1到m。
当t=1时,对当前第t个顶点开始着色:若t>n,则已求得一个解,输出着色方案即可。否则,依次对顶点t着色1-m, 若t与所有其它相邻顶点无颜色冲突,则继续为下一顶点着色;否则,回溯,测试下一颜色。
3.设计
bool canSet(int x) {
for (int k = 1; k <= n; ++k) {
if (graph[x][k] && color[x] == color[k]) {
return false;
}
}
return true;
}
void set_color(int x){
if (x>n) {
for (int i = 1; i <= n; i++)
{
printf_s("%d ", color[i]);
}
sum++;
printf_s("\n");
}
else {
for (int i = 1; i <= m; ++i) {
color[x] = i;
if (canSet(x)) {
set_color(x+1);
}
color[x] = 0;
}
}
}
4.分析
复杂度为O(n²)
5.源码
https://github.com/LonelyTaker/Algorithm-analysis