问题描述:
给定无向连通图 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);
}