COJ 1253 二分+2-sat判定
来源:互联网 发布:费米估算法百度百科 编辑:程序博客网 时间:2024/06/11 19:21
X城的精神病院只有两个病房,一共关着N 名病人,编号分别为1~N。病人之间的关系有时极不和谐。很多病人之间甚至积怨已久,如果客观条件具备则随时可能爆发冲突。我们用“不和谐值”(一个正整数值)来表示某两名病人之间的仇恨程度,不和谐值越大,则这两名病人之间的积怨越多。如果两名不和谐值为c 的病人被关在同一病房,他们俩之间会发生摩擦,并造成影响力为c 的冲突事件。
每年年末,院里会将本年内病房中的所有冲突事件按影响力从大到小排成一个列表,然后上报到市长那里。公务繁忙的市长只会去看列表中的第一个事件的影响力,如果影响很坏,他就会考虑撤换院长。在详细考察了N 名病人间的矛盾关系后,院长表示鸭梨很大。他准备将病人们在两座病房内重新分配,以求产生的冲突事件影响力都较小,从而保住自己的饭碗。
每年年末,院里会将本年内病房中的所有冲突事件按影响力从大到小排成一个列表,然后上报到市长那里。公务繁忙的市长只会去看列表中的第一个事件的影响力,如果影响很坏,他就会考虑撤换院长。在详细考察了N 名病人间的矛盾关系后,院长表示鸭梨很大。他准备将病人们在两座病房内重新分配,以求产生的冲突事件影响力都较小,从而保住自己的饭碗。
假设只要处于同一病房内的某两个病人间有仇恨,那么他们一定会在每年的某个时候发生摩擦。那么,应如何分配病人,才能使市长看到的那个冲突事件的影响力最小?(即最和谐)这个最小值是多少?
Input
输入文件的每行中两个数之间用一个空格隔开。
第一行为两个正整数N 和M,分别表示病人的数目以及存在仇恨的病人对数。
接下来的M 行每行为三个正整数aj,bj,cj,表示aj 号和bj 号病人之间存在仇恨,其不和谐值为cj。数据保证1 <= aj < bj <= N , 0 < cj ≤ 1,000,000,000,且每对病人组合只出现一次。
第一行为两个正整数N 和M,分别表示病人的数目以及存在仇恨的病人对数。
接下来的M 行每行为三个正整数aj,bj,cj,表示aj 号和bj 号病人之间存在仇恨,其不和谐值为cj。数据保证1 <= aj < bj <= N , 0 < cj ≤ 1,000,000,000,且每对病人组合只出现一次。
Output
共1 行,为市长看到的那个冲突事件的影响力。如果本年内精神病院中未发生任何冲突事件,请输出0。
裸题不解释
#include <iostream>#include <cstdio>#include <cstring>#include <algorithm>#include <vector>#include <stack>#include <queue>#define MAXN 55555#define MAXM 500005#define INF 1000000005using namespace std;struct Edge{ int v, next;}edge[MAXM * 2];int n, m, e, head[MAXN];int top, scc, index;int x[MAXM], y[MAXM], c[MAXM];int dfn[MAXN], low[MAXN], instack[MAXN], fa[MAXN];int st[MAXN];void init(){ top = scc = index = e = 0; memset(head, -1, sizeof(head)); memset(instack, 0, sizeof(instack)); memset(dfn, 0, sizeof(dfn));}void insert(int x, int y){ edge[e].v = y; edge[e].next = head[x]; head[x] = e++;}void tarjan(int u){ int v; instack[u] = 1; dfn[u] = low[u] = ++index; st[++top] = u; for(int i = head[u]; i != -1; i = edge[i].next) { v = edge[i].v; if(!dfn[v]) { tarjan(v); low[u] = min(low[u], low[v]); } else if(instack[v]) low[u] = min(low[u], dfn[v]); } if(dfn[u] == low[u]) { scc++; do { v = st[top--]; instack[v] = 0; fa[v] = scc; }while(v != u); }}void build(int mid){ for(int i = 1; i <= m; i++) if(c[i] > mid) { insert(x[i], y[i] + n); insert(y[i], x[i] + n); insert(x[i] + n, y[i]); insert(y[i] + n, x[i]); }}bool check(){ for(int i = 1; i <= 2 * n; i++) if(!dfn[i]) tarjan(i); for(int i = 1; i <= n; i++) if(fa[i] == fa[i + n]) return false; return true;}void solve(){ int low = 0, high = INF, ans = INF; while(low <= high) { int mid = (low + high) >> 1; init(); build(mid); if(check()) {high = mid - 1; ans = min(ans, mid);} else low = mid + 1; } printf("%d\n", ans);}int main(){ while(scanf("%d%d", &n, &m) != EOF) { for(int i = 1; i <= m; i++) scanf("%d%d%d", &x[i], &y[i], &c[i]); solve(); } return 0;}
- COJ 1253 二分+2-sat判定
- CUGB OJ(coj) 1253 2-sat
- POJ 2723 二分+ 2-sat 判定
- POJ 2749 二分+2-sat判定
- poj 2723 二分+2-sat判定
- POJ 2749 2SAT判定+二分
- ZOJ 3717 二分+2-sat判定。
- HDOJ 3715 Go Deeper (2Sat: 二分答案判定)
- hdu 3622 Bomb Game(二分+2-sat判定)
- poj 2296 Map Labeler(二分+2-sat判定)
- hdu 3715 Go Deeper(二分+2-sat判定)
- hdu 1815 Building roads(二分+2-sat判定)
- POJ 2296 Map Labeler ( 2-SAT判定 + 二分查找 )
- HDU 3715 Go Deeper(2-SAT + 二分判定)
- poj2749 2-SAT判定
- POJ--2749[Building roads] 2-SAT第五题,2—SAT+二分判定
- hdu 4751 Divide Groups (2-SAT or 补图+二分图判定)
- HDU3622.Bomb Game——2-sat二分最大值+可行性判定
- 进程与线程
- JavaNio编程实现phonegap插件websocket
- 基于JQuery和DWR的自动补全
- SNMP 使用SNMP4J OID设置不同类型的参数值
- SNMP 使用SNMP4J V2进行同步和异步 GET,SET
- COJ 1253 二分+2-sat判定
- Learn Python The Hard Way学习(43) - 来自行星Percal #25的Gothons
- SNMP 使用SNMP4J V2进行TRAP
- SNMP 使用SNMP4J V2进行TRAP
- 性能测试之——IP Spoofer技术
- java 程序员修炼之道
- USCAO section 1.2 Dual Palindromes
- jdbc 规范 基础
- 详解 FFMPeg API