Q12.图的m着色问题

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

解析

在至多使用m种颜色的情况下，可对一给定的图着色的所有不同方法。通过回溯的方法，不断的为每一个节点着色，在前面n-1个节点都合法的着色之后，开始对第n个节点进行着色，这时候枚举可用的m个颜色，通过和第n个节点相邻的节点的颜色，来判断这个颜色是否合法，如果找到那么一种颜色使得第n个节点能够着色，那么说明m种颜色的方案是可行的。
还有就是color数组，也是解题的关键，要明确color数组代表的含义：color[n],大小为n,下标肯定代表顶点，里面的值代表这个顶点放的是哪种颜色。
Traceback（t）的t代表某一个顶点，这个顶点具体放哪种颜色不知道，肯定有个for循环从第一种颜色到最后一种颜色都要试一下，那么color[t]里就放当前这种颜色。OK（t）判断一下，如果可以，traceback（t+1）。

设计

bool ok(int t) {
	for (int i = 1; i <= n; ++i) {
		if (c[t][i] == 1 && color[i] == color[t])
			return false;
	}
	return true;
}

void traceback(int t) {
	if (t > n) //n个点都已经走完
	{ 
		sum++;
		for (int i = 1; i <= n; ++i)
			printf("%d ", color[i]);
		printf("\n");
	}
	else {
		for (int i = 1; i <= m; ++i) {
			color[t] = i;
			if (ok(t)) {
				traceback(t + 1);
			}
			color[t] = 0;
		}
	}
}

分析

时间复杂度为O(n*m^n)

源码

https://github.com/pt0918/-/blob/master/Color.cpp