POJ 2723 2-SAT 第一题

2-SAT的第一题，话说两个月前就看过国家队的论文和PPT，不过当时因为没有好好搞过强连通分量，所以对2-SAT不是很理解。这次回过头来看，思路清晰了不少。

2-SAT一般用在二选一的问题里面，比如说，当你选了a，就不能选b，那么你就可以在a到b'之前连一条边（或者a'到b）。然后2-SAT通过求强连通分量，最后可以得出，是否存在满足条件的选择（比如：使得a和a‘不能同时出现）。

但是在做2-SAT的时候要注意，建图的时候不能只从正方连到反方，还要注意从反方连到正方。否则强连通分量就始终是n啦。

这道题的思路是：二分答案m，知道找到最大的那个m为止。每次做完二分，重新构图，做2-SAT验证是否满足条件。

Code：

#include<iostream>
#include<cstring>
#include<cstdio>
#include<algorithm>
using namespace std;

const int maxn = 8888;
const int maxm = 22222;
struct node
{
    int v, next;
}edge[maxm];

int head[maxn], k, n, m;
int low[maxn], dfn[maxn], belong[maxn], inde, cnt;
int stack[maxn << 2], top;
bool instack[maxn];
int pii[maxn], l[maxn], r[maxn];
int Left, Right, mid;

void add_edge(int u, int v)
{
    edge[k].v = v, edge[k].next = head[u];
    head[u] = k ++;
}

void MakeGraph()
{
    memset(head, -1, sizeof(head));
    k = 0;
    int nn = 2 * n;
    for(int i = 0; i < nn; i ++)
        add_edge(i + nn, pii[i]); // swap both
    for(int i = 1; i <= mid; i ++)
    {
        add_edge(l[i], r[i] + nn);  // what if swap? :: ok, but you must swap both
        add_edge(r[i], l[i] + nn);  // swap both
    }
}

void tarjan(int u)
{
    int v;
    dfn[u] = low[u] = inde ++;
    instack[u] = true;
    stack[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(low[u] == dfn[u])
    {
        cnt ++;
        do{
            v = stack[-- top];
            instack[v] = false;
            belong[v] = cnt;
        }while(v != u);
    }
}

bool solve()
{
    memset(dfn, 0, sizeof(dfn));
    memset(instack, false, sizeof(instack));
    top = 0, cnt = 0, inde = 1;
    for(int i = 0; i < 4 * n; i ++)
        if(!dfn[i])
            tarjan(i);
    for(int i = 0; i < 2 * n; i ++)
        if(belong[i] == belong[i + 2 * n])
            return false;
    return true;
}

int main()
{
    while(scanf("%d%d", &n, &m) && (n || m))
    {
        int i, a, b;
        for(i = 1; i <= n; i ++)
        {
            scanf("%d%d", &a, &b);
            pii[a] = b, pii[b] = a;
        }
        for(i = 1; i <= m; i ++)
            scanf("%d%d", &l[i], &r[i]);
        Left = 0, Right = m;
        int ans = 0;
        while(Left <= Right)  // binary search?
        {
            mid = ((Left + Right) >> 1);
            MakeGraph();
            if(solve())
            {
                ans = mid;
                Left = mid + 1;
            }
            else
                Right = mid - 1;
        }
        printf("%d\n", ans);
    }
}