判定定理
如果一个无向图中存在奇环,那么它不是二分图。
判定方法
所以我们采用染色法,对于一个点染色A,相邻的点染色B,再相邻的点染色A……一直下去,如果不存在奇环,那么一定不会发生冲突(比如你想对一个点染B,但是在你本次搜索之前已经搜索到它了,并且对这个点染了A)。
伪代码
这里给出深度优先搜索实现的染色,广度优先搜索的可以自行思考,原理一样,很简单。
dfs(u,color){
给u染color色
for(所有u发出的边){
到达的点记为v
if(v没有被访问过)dfs(v,3-color);
else {
if(v的颜色和u相同)该图不是二分图,算法结束
}
}
该图是二分图,算法结束
}
例题
题目描述
S 城现有两座监狱,一共关押了N 名罪犯,编号分别为1−N 。他们之间的关系自然也极不和谐。很多罪犯之间甚至积怨已久,如果客观条件具备则随时可能爆发冲突。我们用“怨气值”(一个正整数值)来表示某两名罪犯之间的仇恨程度,怨气值越大,则这两名罪犯之间的积怨越多。如果两名怨气值为 cc的罪犯被关押在同一监狱,他们俩之间会发生摩擦,并造成影响力为c的冲突事件。每年年末,警察局会将本年内监狱中的所有冲突事件按影响力从大到小排成一个列表,然后上报到S 城Z 市长那里。公务繁忙的Z 市长只会去看列表中的第一个事件的影响力,如果影响很坏,他就会考虑撤换警察局长。在详细考察了N 名罪犯间的矛盾关系后,警察局长觉得压力巨大。他准备将罪犯们在两座监狱内重新分配,以求产生的冲突事件影响力都较小,从而保住自己的乌纱帽。假设只要处于同一监狱内的某两个罪犯间有仇恨,那么他们一定会在每年的某个时候发生摩擦。那么,应如何分配罪犯,才能使Z 市长看到的那个冲突事件的影响力最小?这个最小值是多少?
输入输出格式
输入格式:
每行中两个数之间用一个空格隔开。第一行为两个正整数 N,M ,分别表示罪犯的数目以及存在仇恨的罪犯对数。接下来的 M 行每行为三个正整数
aj,bj,cj
a
j
,
b
j
,
c
j
表示
aj
a
j
号和
bj
b
j
号罪犯之间存在仇恨,其怨气值为
cj
c
j
。数据保证
1<aj≤bj≤N,0<cj≤1,000,000,0001<aj≤bj≤N,0<cj≤1,000,000,000
1
<
a
j
≤
b
j
≤
N
,
0
<
c
j
≤
1
,
000
,
000
,
0001
<
a
j
≤
b
j
≤
N
,
0
<
c
j
≤
1
,
000
,
000
,
000
1<aj≤bj≤N,0<cj≤1,000,000,000
1
<
a
j
≤
b
j
≤
N
,
0
<
c
j
≤
1
,
000
,
000
,
000
,且每对罪犯组合只出现一次。
输出格式:
共 1 行,为 Z 市长看到的那个冲突事件的影响力。如果本年内监狱中未发生任何冲突事件,请输出 0 。
题解
这道题目的大意就是,隔开一些罪犯,使得罪犯之间的冲突最小。
我们可以通过罪犯之间的仇恨连边,最后题意就是说,去掉一些边,使得剩下的图能够成为二分图。而那些去掉的边就是一定会发生冲突的仇恨关系。
我们先可以通过二分枚举去掉的边的最大值,然后任何小于等于这个最大值的边都不经过(自动无视,相当于去掉了这些边)。
code
#include<bits/stdc++.h>
using namespace std;
inline int read(){
int num=0;char c=' ';bool flag=true;
for(;c>'9'||c<'0';c=getchar())
if(c=='-')
flag=false;
for(;c>='0'&&c<='9';num=(num<<3)+(num<<1)+c-48,c=getchar());
return flag ? num : -num;
}
namespace graph{
const int maxn=20020;
const int maxm=100020;
int n,m,head[maxn],top=0,maxedge=0;
struct node{
int y,val,next;
}a[maxm<<1];
void insert(int x,int y,int v){
a[top].y=y;
a[top].val=v;
a[top].next=head[x];
head[x]=top++;
}
void init(){
memset(head,-1,sizeof head);
n=read();m=read();
for(int i=1;i<=m;i++){
int x=read();
int y=read();
int v=read();
insert(x,y,v);
insert(y,x,v);
maxedge=max(maxedge,v);
}
}
}using namespace graph;
namespace Judge{
bool flag=true;
int vis[maxn];
void dfs(int u,int color,int now){
vis[u]=color;
for(int i=head[u];i+1;i=a[i].next)
if(a[i].val>now){//要注意是大于,
//因为等于所代表的冲突一定会发生
// 所以那条边也被删除了
int v=a[i].y;
if(!vis[v]){
dfs(v,3-color,now);//相邻的点分别染色1和2,
}
else {
if(vis[v]==vis[u])
flag=false;
}
}
}
bool judge(int now){
memset(vis,0,sizeof vis);
flag=true;
for(int i=1;i<=n;i++)
if(!vis[i]){
dfs(i,1,now);//可能存在多个连通块,所以需要多次dfs
if(!flag)return false;
}
return true;
}
}using namespace Judge;
void solve(){
int l=0,r=maxedge;
while(l<r){
int mid=(l+r)/2;
if(judge(mid))r=mid;
else l=mid+1;
}
printf("%d\n",l);
}
int main(){
init();
solve();
return 0;
}