作业12——图m着色问题

1，问题

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

2，解析

图的m着色问题:
思路：采用分支界限的方法，个人理解就是对图进行DFS，不过需要抽象成树的形式。首先确定着色问题的解空间，对于一个点来说，对每个结点有m种染色情况，所以就可以抽象成一棵m叉树.
具体实例：color[]:结点染几号颜色;OK:是否存在染色方案

3，设计

int n, k, m;//n:结点数;k:边数;m:图染色的颜色数;
int mp[MAXN][MAXN];//无向图
int color[MAXN];//结点染几号颜色
bool OK;//是否存在染色方案
bool judge(int x) //判断x结点染色方案是否正确
{
for (int i = 1; i < x; i++)
if (mp[i][x] && color[x] == color[i])//两结点相连,且颜色一样,则方案不可行
return false;
return true;
}
void DFS(int i)
{
if (i > n)
{
OK = true;
for (int j = 1; j <= n; j++)//输出可行染色方案
printf("%d%c", color[j], " \n"[j == n]);
return;
}
for (int j = 1; j <= m; j++)
{
color[i] = j;//i结点染j色
if (judge(i))//可行就进入下一个结点
DFS(i + 1);
color[i] = 0;//i结点回溯到无颜色状态
}
}

4，分析

搜索树有：1 + m + m^2 + … + m^n = (m^(n+1) / (m - 1) <= m^(n+1) / (m/2) = 2*m^n m >= 2个结点

每个结点要和其它所有顶点的颜色进行比较，进行n-1 次比较
最坏时间复杂度为O(nm^n)

5，源码

#include<iostream>
#include<cstdio>
#include<cstring>
using namespace std;
const int MAXN =