COJ 1253 二分+2-sat判定

X城的精神病院只有两个病房，一共关着N 名病人，编号分别为1~N。病人之间的关系有时极不和谐。很多病人之间甚至积怨已久，如果客观条件具备则随时可能爆发冲突。我们用“不和谐值”（一个正整数值）来表示某两名病人之间的仇恨程度，不和谐值越大，则这两名病人之间的积怨越多。如果两名不和谐值为c 的病人被关在同一病房，他们俩之间会发生摩擦，并造成影响力为c 的冲突事件。
每年年末，院里会将本年内病房中的所有冲突事件按影响力从大到小排成一个列表，然后上报到市长那里。公务繁忙的市长只会去看列表中的第一个事件的影响力，如果影响很坏，他就会考虑撤换院长。在详细考察了N 名病人间的矛盾关系后，院长表示鸭梨很大。他准备将病人们在两座病房内重新分配，以求产生的冲突事件影响力都较小，从而保住自己的饭碗。

假设只要处于同一病房内的某两个病人间有仇恨，那么他们一定会在每年的某个时候发生摩擦。那么，应如何分配病人，才能使市长看到的那个冲突事件的影响力最小？(即最和谐）这个最小值是多少？

Input

输入文件的每行中两个数之间用一个空格隔开。
第一行为两个正整数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 1000000005
using 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;
}