⭐图着色问题（回溯法）

★问题：

【问题描述】给定无向连通图G和m种不同的颜色。用这些颜色为图G的各顶点着色,每个顶点着一种颜色。如果有一种着色法使G中每条边的两个顶点着不同颜色,则称这个图是m可着色的。图的m着色问题是对于给定图G和m种颜色,找出所有不同的着色法。

▲【输入格式】：

第1行有3个正整数n、k和m,表示给定的图G有n个顶点和k条边,m种颜色。顶点编号为1,2, .. ,n。接下来的k行中,每行有两个正整数u、v,表示图G的一条边(u,v)。

▲【输出格式】：

程序运行结束时,将计算出的不同的着色方案数输出。如果不能着色,程序输出-1。

★图解：

左图表示 图中共有n个结点，从结点1出发最长路径有n个结点。

右图表示  i  和  j  之间有边 ,说明 a[i][j]=1。

下图表示 每个顶点有m种 着色方法

算法思路：

1. 创建一个二维数组colors，用来保存每个顶点对应的颜色；
2. 从图中任选一个顶点作为起始点，对其进行染色，同时在colors数组中记录该顶点的颜色；
3. 对于起始点相邻的顶点，依次对其进行染色，并检查是否与相邻的顶点颜色相同，如果相同则尝试下一种颜色；
4. 重复上述步骤，直到所有顶点都被染色；
5. 如果无法对某个顶点进行染色，则回溯到上一个状态，修改颜色并重新尝试着色；
6. 当所有顶点都被染色时，得到最终的着色方案。

伪代码：

function graphColoring(graph, numColors):
    colors = [] // 用于保存每个顶点的颜色
    for i = 0 to graph.vertices.size:
        colors[i] = -1
    colors[0] = 0 // 从第一个顶点开始着色
    if not graphColoringUtil(graph, numColors, colors, 1): // 从第二个顶点开始尝试着色
        print("No solution exists")
    else:
        print(colors)

function graphColoringUtil(graph, numColors, colors, vertex):
    if vertex == graph.vertices.size:
        return True
    for c = 0 to numColors-1:
        if isSafe(graph, numColors, colors, vertex, c):
            colors[vertex] = c
            if graphColoringUtil(graph, numColors, colors, vertex+1):
                return True
            colors[vertex] = -1
    return False

function isSafe(graph, numColors, colors, vertex, color):
    for i = 0 to graph.vertices.size:
        if graph.adjMatrix[vertex][i] and colors[i] == color:
            return False
    return True

代码实现：

#include <bits/stdc++.h>
using namespace std;
#define MAXN 20
int n,k,m;
int a[MAXN][MAXN];
int ans=0;
int x[MAXN];

bool Same(int i){
    for(int j=1;j<=n;j++){
        if(a[i][j]==1 && x[i]==x[j]){//判断顶点i和相邻顶点之间是否有边
            return false;
        }
    }
    return true;
}

void dfs(int i){
    if (i > n){
        ans++;//记录染色的总数
        return;
    }
    for (int j = 1; j <= m; j++) { //试探每一种颜色
        x[i] = j;
        if (Same(i)) {
            dfs(i + 1);  //回溯到下一个结点染色
        }
        x[i] = 0; //当前结点颜色清零，进入下一个结点染色
    }
}

int main(){
    memset(a,0,sizeof(a));
    memset(x,0,sizeof(x));
    int x,y;
    cin>>n>>k>>m;
    for(int j=1;j<=k;j++){
        cin>>x>>y;
        a[x][y]=1;
        a[y][x]=1;
    }
    dfs(1);//从第一个结点开始染色
    if(ans > 0){
        cout<<ans<<endl; 
    }else{
        cout<<-1<<endl;
    }
    return 0;
}

结果：

这里 当n=5，k=6，m=3时，输入实例表示有5个顶点，6条边，颜色的种类数为3。接下来的6行输入表示了边的连接关系，比如输入"1 2"表示顶点1和顶点2之间有一条边，以此类推。

小结：

回溯法在解决图着色问题时具有以下优点和缺点：

优点：
1. 算法思路简单直观，易于理解和实现。
2. 在实践中表现良好，在小规模图和一般情况下可以得到较好的结果。
3. 对于某些特定类型的图，回溯法可以得到较快的解决方案。

缺点：
1. 在处理大规模复杂图时，由于需要遍历所有可能的情况，回溯法可能会消耗大量时间和空间。
2. 对于某些情况下，回溯法可能会进入死循环，无法得到解决方案。
3. 在图的染色问题中，回溯法的效率可能不如一些其他专门设计的图着色算法，如贪心算法和基于约束编程的方法。

因此，回溯法在解决图着色问题时可作为一种简单有效的方法，但在实际应用中需要根据具体情况综合考虑其他解决方案以提高效率和准确性。