P1525 二分图染色判定

[NOIP2010 提高组] 关押罪犯

题目描述

S 城现有两座监狱，一共关押着 \(N\) 名罪犯，编号分别为 \(1-N\)。他们之间的关系自然也极不和谐。很多罪犯之间甚至积怨已久，如果客观条件具备则随时可能爆发冲突。我们用“怨气值”（一个正整数值）来表示某两名罪犯之间的仇恨程度，怨气值越大，则这两名罪犯之间的积怨越多。如果两名怨气值为 \(c\) 的罪犯被关押在同一监狱，他们俩之间会发生摩擦，并造成影响力为 \(c\) 的冲突事件。

每年年末，警察局会将本年内监狱中的所有冲突事件按影响力从大到小排成一个列表，然后上报到 S 城 Z 市长那里。公务繁忙的 Z 市长只会去看列表中的第一个事件的影响力，如果影响很坏，他就会考虑撤换警察局长。

在详细考察了\(N\) 名罪犯间的矛盾关系后，警察局长觉得压力巨大。他准备将罪犯们在两座监狱内重新分配，以求产生的冲突事件影响力都较小，从而保住自己的乌纱帽。假设只要处于同一监狱内的某两个罪犯间有仇恨，那么他们一定会在每年的某个时候发生摩擦。

那么，应如何分配罪犯，才能使 Z 市长看到的那个冲突事件的影响力最小？这个最小值是多少？

输入格式

每行中两个数之间用一个空格隔开。第一行为两个正整数 \(N,M\)，分别表示罪犯的数目以及存在仇恨的罪犯对数。接下来的 \(M\) 行每行为三个正整数 \(a_j,b_j,c_j\)，表示 \(a_j\) 号和 \(b_j\) 号罪犯之间存在仇恨，其怨气值为 \(c_j\)。数据保证 \(1<a_j\leq b_j\leq N, 0 < c_j\leq 10^9\)，且每对罪犯组合只出现一次。

输出格式

共 \(1\) 行，为 Z 市长看到的那个冲突事件的影响力。如果本年内监狱中未发生任何冲突事件，请输出 0。

样例 #1

样例输入 #1

4 6
1 4 2534
2 3 3512
1 2 28351
1 3 6618
2 4 1805
3 4 12884

样例输出 #1

3512

提示

【输入输出样例说明】罪犯之间的怨气值如下面左图所示，右图所示为罪犯的分配方法，市长看到的冲突事件影响力是 \(3512\)（由 \(2\) 号和 \(3\) 号罪犯引发）。其他任何分法都不会比这个分法更优。

【数据范围】

对于 \(30\%\)的数据有 \(N\leq 15\)。

对于 \(70\%\) 的数据有 \(N\leq 2000,M\leq 50000\)。

对于 \(100\%\) 的数据有 \(N\leq 20000,M\leq 100000\)。

二分图染色判定法 注意两次 return false 判断！ 每次染色要memset！

bool dfs(int u,int color,int mid)
{
	col[u]=color;
	for(int i=head[u];i;i=edge[i].nxt)
	{
		int v=edge[i].to;
		int w=edge[i].val;
		if(w<=mid)continue;
		if(col[v]==color)return false;
		if(!col[v])
			if(!dfs(v,3-color,mid))return false; 
	}
	return true;
}
bool check(int mid)
{
	memset(col,0,sizeof(col));
	for(int i=1;i<=n;i++)
		if(col[i]==0)
			if(!dfs(i,1,mid))return false;
	return true;
}

可以二分答案 二分最终的冲突值 看能否将大于这个冲突值的所有罪犯分成二分图 小于该冲突值的随便安放就行 不用管

#include<bits/stdc++.h>
using namespace std;
// 二分答案 + 二分图匹配     二分最终的冲突值 ctz[mid]  比ctz[mid]小的不用管 比ctz[mid]大的看能否分为二分图 
#define int long long
const int N=2e4+5;
const int M=1e5+5;
int n,m;
struct Graph{
	int nxt,to,val;
}edge[M<<1];
int head[M],cnt;
int ctz[M],nn;
inline void add(int u,int v,int w)
{
	cnt++;
	edge[cnt].to=v;
	edge[cnt].nxt=head[u];
	edge[cnt].val=w;
	head[u]=cnt;
}
int col[N];
bool dfs(int u,int color,int mid)
{
	col[u]=color;
	for(int i=head[u];i;i=edge[i].nxt)
	{
		int v=edge[i].to;
		int w=edge[i].val;
		if(w<=mid)continue;
		if(col[v]==color)return false;
		if(!col[v])
			if(!dfs(v,3-color,mid))return false; 
	}
	return true;
}
bool check(int mid)
{
	memset(col,0,sizeof(col));
	for(int i=1;i<=n;i++)
		if(col[i]==0)
			if(!dfs(i,1,mid))return false;
	return true;
}
signed main()
{
	ios::sync_with_stdio(false);
	cin>>n>>m;
	for(int i=1;i<=m;i++)
	{
		int u,v,w;
		cin>>u>>v>>w;
		add(u,v,w);
		add(v,u,w);
		ctz[++nn]=w;
	}
	sort(ctz+1,ctz+nn+1);
	int ans,pd=0;
	int l=1,r=nn,mid;
	while(l<r)
	{
		mid=(l+r)>>1;
		if(check(ctz[mid]))r=mid,ans=ctz[mid];
		else l=mid+1,pd=1;
	}
	if(pd)cout<<ans<<"\n";
	else cout<<0<<'\n';
	return 0;
}