染色法(二分图) + 二分 - NOIP 2010 关押罪犯 - 洛谷 P1525
S 城现有两座监狱,一共关押着 N 名罪犯,编号分别为1~N。
他们之间的关系自然也极不和谐。
很多罪犯之间甚至积怨已久,如果客观条件具备则随时可能爆发冲突。
我们用“怨气值”(一个正整数值)来表示某两名罪犯之间的仇恨程度,怨气值越大,则这两名罪犯之间的积怨越多。
如果两名怨气值为 c 的罪犯被关押在同一监狱,他们俩之间会发生摩擦,并造成影响力为 c 的冲突事件。
每年年末,警察局会将本年内监狱中的所有冲突事件按影响力从大到小排成一个列表,然后上报到 S 城 Z 市长那里。
公务繁忙的 Z 市长只会去看列表中的第一个事件的影响力,如果影响很坏,他就会考虑撤换警察局长。
在详细考察了 N 名罪犯间的矛盾关系后,警察局长觉得压力巨大。
他准备将罪犯们在两座监狱内重新分配,以求产生的冲突事件影响力都较小,从而保住自己的乌纱帽。
假设只要处于同一监狱内的某两个罪犯间有仇恨,那么他们一定会在每年的某个时候发生摩擦。那么,应如何分配罪犯,才能使 Z 市长看到的那个冲突事件的影响力最小?这个最小值是多少?
输入格式
第一行为两个正整数 N 和 M,分别表示罪犯的数目以及存在仇恨的罪犯对数。
接下来的 M 行每行为三个正整数aj,bj,cj,表示aj号和bj号罪犯之间存在仇恨,其怨气值为cj。
数据保证1≤aj<bj<N,0<cj≤1000000000 且每对罪犯组合只出现一次。
输出格式
输出共1行,为 Z 市长看到的那个冲突事件的影响力。
如果本年内监狱中未发生任何冲突事件,请输出0。
数据范围
N ≤ 20000 , M ≤ 100000 N≤20000,M≤100000 N≤20000,M≤100000
输入样例:
4 6
1 4 2534
2 3 3512
1 2 28351
1 3 6618
2 4 1805
3 4 12884
输出样例:
3512
分析:
分 析 题 意 : 给 定 n 个 点 , m 条 边 , 将 n 个 点 分 成 两 部 分 , 使 得 两 部 分 的 内 部 , 各 点 间 边 权 的 最 大 值 最 小 。 分析题意:给定n个点,m条边,将n个点分成两部分,使得两部分的内部,各点间边权的最大值最小。 分析题意:给定n个点,m条边,将n个点分成两部分,使得两部分的内部,各点间边权的最大值最小。
求 最 大 值 的 最 小 值 , 考 虑 二 分 。 求最大值的最小值,考虑二分。 求最大值的最小值,考虑二分。
如何写check函数?
二 分 最 小 值 为 m i d 。 二分最小值为mid。 二分最小值为mid。
对 于 每 个 m i d , 我 们 判 断 是 否 能 够 把 边 权 严 格 大 于 m i d 的 边 的 两 个 端 点 分 到 两 部 分 中 去 。 对于每个mid,我们判断是否能够把边权严格大于mid的边的两个端点分到两部分中去。 对于每个mid,我们判断是否能够把边权严格大于mid的边的两个端点分到两部分中去。
可 以 通 过 染 色 法 来 检 验 是 否 存 在 环 / 矛 盾 。 可以通过染色法来检验是否存在环/矛盾 。 可以通过染色法来检验是否存在环/矛盾。
具体步骤:
对 于 每 一 个 m i d , 我 们 从 1 到 n 遍 历 对 每 个 点 染 色 , 对于每一个mid,我们从1到n遍历对每个点染色, 对于每一个mid,我们从1到n遍历对每个点染色,
然 后 从 每 个 点 出 发 d f s , 只 遍 历 所 有 边 权 严 格 大 于 m i d 的 边 , 判 断 是 否 发 生 染 色 冲 突 。 然后从每个点出发dfs,只遍历所有边权严格大于mid的边,判断是否发生染色冲突。 然后从每个点出发dfs,只遍历所有边权严格大于mid的边,判断是否发生染色冲突。
二分的边界:
上 界 为 1 0 9 且 可 能 取 到 , 无 论 如 何 不 可 能 存 在 无 解 的 情 况 , 最 坏 情 况 即 存 在 边 权 为 1 0 9 的 奇 数 环 。 上界为10^9且可能取到,无论如何不可能存在无解的情况,最坏情况即存在边权为10^9的奇数环。 上界为109且可能取到,无论如何不可能存在无解的情况,最坏情况即存在边权为109的奇数环。
下 界 为 0 且 可 能 取 到 , 在 无 奇 数 环 , 每 块 内 部 的 点 之 间 均 不 连 通 的 情 况 下 取 到 。 下界为0且可能取到,在无奇数环,每块内部的点之间均不连通的情况下取到。 下界为0且可能取到,在无奇数环,每块内部的点之间均不连通的情况下取到。
代码:
#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
const int N=20010, M=200010;
int n,m;
int e[M],ne[M],h[N],w[M],idx;
int color[N];
void add(int a,int b,int c)
{
e[idx]=b,ne[idx]=h[a],w[idx]=c,h[a]=idx++;
}
bool dfs(int u,int c,int mid)
{
color[u]=c;
for(int i=h[u];~i;i=ne[i])
{
int j=e[i];
if(w[i]<=mid) continue;
if(color[j])
{
if(color[j]==c) return false;
}
else if(!dfs(j,3-c,mid)) return false;
}
return true;
}
bool check(int mid)
{
memset(color,0,sizeof color);
for(int i=1;i<=n;i++)
if(color[i]==0)
if(!dfs(i,1,mid))
return false;
return true;
}
int main()
{
scanf("%d%d",&n,&m);
memset(h,-1,sizeof h);
int a,b,c;
for(int i=0;i<m;i++)
{
scanf("%d%d%d",&a,&b,&c);
add(a,b,c),add(b,a,c);
}
int l=0,r=1e9;
while(l<r)
{
int mid=l+r>>1;
if(check(mid)) r=mid;
else l=mid+1;
}
printf("%d\n",l);
return 0;
}