图的m着色问题

图的m着色问题

1、问题

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

2、解析

• 深度优先搜索
• 回溯

设G有n个顶点，将顶点编号为1,2,…,n,则搜索空间为深度n的叉完全树,将颜色编号为1,2,…,m,结点<x1,x2,…,xk>(x1,x2,…xk∈{1,…,m},1≤k≤n)表示顶点1的颜色,顶点2的颜色x2,…,顶点k的颜色xk。

• 过程：

  • 用图的邻接矩阵a表示无向图连通图G=（V,E）。

  若存在相连的边，则a[i][j] = 1，否则 a[i][j]=0.

  整数1,2,3…m用来表示为一棵高度为n+1的完全m叉树。

  解空间树的第i层中每一结点都有m个儿子，每个儿子相应于x[i]的m个可能的着色之一。

  第n+1层为叶子结点。

  • 回溯
    1、当i>n时，算法搜索至叶节点，得到新的m着色方案，当前找到可m着色的方案树增1.

  2、当i<=n时，当前扩展结点Z是解空间中的内部结点。该结点有x[i]=1,2,3…m共m个儿子结点。对当前扩展结点Z的每一个儿子结点，检查其可行性，并以深度优先的方式递归地对可行子树搜索，或剪去不可行子树。

3、设计

#include<iostream>
#include<string>
#include<cstring>
using namespace std;
const int t = 1000;
int dot,color,side,f,a[t][t],c[t];
int check_ok(int x) {
   
	for (int i=1;i<=dot;i++) {
   
		if (!a[x][i]) 
		    continue;
		if