图的m着色问题（DFS回溯算法）

1. 问题

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

2. 解析

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

3. 设计

图的m着色问题（回溯算法）

#include<bits/stdc++.h>
const int N = 1e3+10;
using namespace std;

int n,m,k;
int mp[N][N],col[N];
int tot;

int check(int u) {
	for (int i=1;i<=n;i++) {
		if (!mp[u][i]) continue;
		if (col[i] == col[u]) return 0;
	}
	return 1;
}

void mColor(int cur) {
	if (cur>n) {
		tot++;
		for (int i=1;i<=n;i++) {
			cout<<col[i]<<" ";
		}
		cout<<endl;
		return;
	}
	//枚举颜色
	for (int i=1;i<=m;i++) {
		col[cur] = i;
		if (check(cur)) {
			mColor(cur+1);
		}
		col[cur] = 0;
	}
}

void run() {
	cin>>n>>m;
	int a,b;
	while (cin>>a>>b) {
		if (!a && !b) break;
		mp[a][b]=mp[b][a]=1;
	}
	mColor(1);
	if (tot) {
		cout<<"total = "<<tot<<endl;
	} else {
		cout<<"NO"<<endl;
	}
}

int main() {
	run();
	return 0;
}

/*
5 4
1 3
1 2
1 4
2 3
2 4
2 5
3 4
4 5
0 0
*/

4. 分析

• 最坏情况下遍历深度为n的m叉完全数，时间复杂度为 $O(n\ast m^n)$

5. 源码

https://github.com/a894985555/Algorithm/tree/main/%E5%9B%BE%E7%9A%84m%E7%9D%80%E8%89%B2%E9%97%AE%E9%A2%98