图的m着色问题

问题

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

解析

利用回溯法解决问题。用图的邻接矩阵a表示无向连通图G = (V , E)。若(I,j)属于图的边集，则a[i][j] = 1,否则a[i][j] = 0。整数1~m表示m种不同的颜色。顶点i所着的颜色用x[i]表示。数组x[1:n]是问题的解向量。问题的解空间就是这些解向量的集合。该问题的解空间可以表示为一颗高度为n+1的完全m叉树，并且是排列树。解空间树的第i(1<=i<=n)层中的每个节点都有m个儿子，每个儿子对应x[i]的m个可能着色之一。第n+1层均为叶子结点。
约束条件：边相邻的两个顶点的颜色不能相同

核心算法

int ok(int k){
 for(int j=1;j<=n;j++)
    if(a[k][j] && (x[j]==x[k]))return 0;
     return 1;
}
void backtrack(int t){
      if(t>n)
  {
      sum++;
  }
  else
    for(int i=1;i<=m;i++)
        {
            x[t]=i;
            if(ok(t)==1)backtrack(t+1);
             x[t]=0;
        }
}
 
int color()
{
     sum=0;
     backtrack(1);
     return sum;
}

复杂度分析

图m可着色问题的解空间树中的节点个数为mi (i=0,1,2…n-1),对于每个节点最坏情况下检查的次数为m(n-1)，即时间复杂度为O(mn)，因此总时间为mi(m(n-1)) = O(nmn)

源码

图的m着色问题算法实现源码