无向图定向（狄尔沃斯定理）

狄尔沃斯定理

有向图最长路的长度为maxlen.
将有向图的点划分为k个点集,点集中的点两两之间没有边, k的最小值为maxlen+1

题目

题目链接

分析

根据狄尔沃斯定理,我们用染色法将 图中的点进行划分,相同的颜色表示在同一个点集中.
如果两点之间有边,则两点颜色不同,因为不能分到同一个点集中.
用dfs进行暴力染色,最小染色数位cnt,则答案为cnt-1.

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef pair<int,int> pii;
typedef vector<int> vi; 
#define pb push_back
#define mp make_pair
#define fi first
#define se second
#define rep(i,a,b) for(int i=(a);i<=(b);i++) 
#define per(i,a,b) for(int i=(a);i>=(b);i--)
const int maxn=1e5+10;
const int mod=1e9+7;
const int inf=0x3f3f3f3f;
int g[20][20];
int cnt=1,col[20],n,m,ans=inf;
bool check(int now,int c) {
	rep(i,1,n) {
		if(g[now][i]&&col[i]==c) return false;
	}
	return true;
}
void dfs(int now) {
	if(cnt>=ans) return ;
	if(now==n+1) {
		ans=min(ans,cnt);
		return ;
	}
	rep(i,1,cnt+1){
		if(check(now,i)) {
			if(cnt+1==i) {
				cnt++;
				col[now]=i;
				dfs(now+1);
				cnt--;
				col[now]=0;
			}
			else {
				col[now]=i;
				dfs(now+1);
				col[now]=0;
			}
		}
	}
}
int main() {
	ios::sync_with_stdio(false);cin.tie(0);
	cin>>n>>m;
	rep(i,1,m) {
		int u,v;
		cin>>u>>v;
		g[u][v]=g[v][u]=1;
	}
	dfs(1);
	cout<<ans-1<<'\n';
	return 0;
}