The-Design-and-Analysis-of-Algorithms 作业12

1. 问题

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

2. 解析

这个问题是图的m可着色判定问题。若一个图最少需要m种颜色才能使图中每条边连接的两个顶点着不同颜色，则称这个数m为该图的色数。求一个图的色数m的问题称为图的m可着色优化问题。

输入：
第一行是顶点的个数n（2≤n≤10），颜色数m（1≤m≤n）。
接下来是顶点之间的相互关系：a b
表示a和b相邻。当a，b同时为0时表示输入结束。
输出：
输出所有的着色方案，表示某个顶点涂某种颜色号，每个数字的后面有一个空格。
最后一行是着色方案总数。

使用回溯法，具体步骤是将cur=1传入backtrack（），即从第一个开始涂色。
涂的时候从颜色1开始到m，每当涂上一个色，要用ok（cur）判断第cur个点是否可以涂这个色，不可以的话就不再往下涂了，改试另一个颜色，可以的话就继续。
当cur>n的时候即前n个点都涂完了，然后输出结果并cou++计数。

3. 设计

用回溯算法搜索子集树的一般模式：

void search(int m)
{
if(m>=n) //递归结束条件
output(); //相应的处理(输出结果)
else
{
a[m]=0; //设置状态：0表示不要该物品
search(m+1); //递归搜索：继续确定下一个物品
a[m]=1; //设置状态：1表示要该物品
search(m+1); //递归搜索：继续确定下一个物品
}
}

4. 分析

O(nm^n)

5. 源码

https://github.com/LiChunning/The-Design-and-Analysis-of-Algorithms/blob/main/%E5%9B%BEm%E7%9A%84%E7%9D%80%E8%89%B2%E9%97%AE%E9%A2%98.cpp