回溯法——m着色问题

问题描述:

给定无向连通图 G 和 m 种不同的颜色。用这些颜色为图 G 的各顶点着色，每个项点着一种颜色。是否有一种着色法使 G 中每条边的 2 个顶点着不同颜色。这个问题是图的 m 可着色判定问题。若一个图最少需要 m 种颜色才能使图中每条边连接的 2 个顶点着不同颜 色，则称这个数 m 为该图的色数。求一个图的色数 m 的问题称为图的 m 可着色优化问题。现给定如下无向连通图，要求分别利用回溯法和分支限界法，编程求出 3 色的所有可能解。

算法描述:

回溯法：回溯法是一种选优搜索法，又称为试探法，按选优条件向前搜索，以达到目标，采用深度优先策略遍历问题的解空间树。但当探索到某一步时，发现原先选择并不优或达不到目标，就退回一步重新选择，这种走不通就退回再走的技术为回溯法，而满足回溯条件的 某个状态的点称为“回溯点”。

输出样例

无向图顶点数量: 5
不同颜色的数量: 3
顶点之间的连接关系:
1-2|1-3|2-1|2-3|2-4|2-5|3-1|
3-2|3-4|4-2|4-3|4-5|5-2|5-4|

所有可能的着色方案:
方案1: 1  2  3  1  3
方案2: 1  3  2  1  2
方案3: 2  1  3  2  3
方案4: 2  3  1  2  1
方案5: 3  1  2  3  2
方案6: 3  2  1  3  1

 运行截图：

程序代码:

#include <iostream>
#include <iomanip> 

using namespace std;
const int numMax = 50,
n = 5,         //顶点数
m = 3,         //颜色数
edge = 7;      //边数
int sum = 0;   //记录解的个数
int x[numMax], //解分量
map[numMax][numMax],//图的邻接矩阵
simple[7][2] = { {1,2},{1,3},{2,3},{2,4},{2,5},{3,4},{4,5} };//边的信息
/*创建无向图的邻接矩阵*/
void CreatMap() {
	int u, v;
	memset(map, 0, sizeof(map));//邻接矩阵里面的数据初始化为 0，
	/*将有相邻关系的结点map[u][v]和map[v][u]都赋值为1*/
	for (int i = 0; i < edge; i++) {
		u = simple[i][0];
		v = simple[i][1];
		map[u][v] = map[v][u] = 1;
	}
	/*将邻接矩阵中对应的值赋为1表示两个结点相邻，然后输出相邻关系。*/
	int nn = 0;
	for (int i = 0; i < edge; i++) {
		for (int j = 0; j < edge; j++) {
			if (map[i][j] != 0) {
				cout << i << "-" << j << "|";
				nn++;
				if (nn % edge == 0) {
					cout << endl;
				}
			}
		}
	}
}
/*着色函数*/
bool Coloring(int t) {
	/*循环判断当前结点的着色是否正确*/
	for (int j = 1; j < t; j++) {
		if (map[t][j]) {
			//如果 t 与 j 邻接
			if (x[j] == x[t])//着色号是否相同
				return false;
		}
	}
	return true;
}
/*用回溯法求解每个结点的着色方案并循环输出着色方案*/
void Backtrack(int t) {
	if (t > n) { //表示前面所有的顶点颜色都已经填完
		sum++;
		cout << "方案" << sum << ": ";
		for (int i = 1; i <= n; i++)//输出该着色方案
			cout << std::left << setw(3) << x[i];
		cout << endl;
	}
	else {
		for (int i = 1; i <= m; i++) {//每个结点尝试 m 种颜色
			x[t] = i;//首先将这个顶点颜色换为i 
			if (Coloring(t))//检查颜色是否符合条件
				Backtrack(t + 1);//符合条件则下一步
		}
	}
}
int main() {
	cout << "无向图顶点数量:" << setw(2) << n << endl;
	cout << "不同颜色的数量:" << setw(2) << m << endl;
	cout << "顶点之间的连接关系: " << endl;
	CreatMap();
	cout << "\n所有可能的着色方案:" << endl;
	Backtrack(1);
}