2-SAT两题

　　看了大白书，学习了一下two-sat，很有意思的算法。题目就是大白书上的两题。

　　仅仅放一下代码作为以后的模板参考。

#include <stdio.h>
#include <algorithm>
#include <string.h>
#include <vector>
using namespace std;
const int N = 2000 + 50;

struct TwoSAT
{
    int n;
    vector<int> G[N*2];
    bool mark[N*2];
    int S[N*2], c;

    bool dfs(int x)
    {
        if(mark[x^1]) return 0;
        if(mark[x]) return 1;
        mark[x] = 1;
        S[c++] = x;
        for(int i=0;i<G[x].size();i++)
        {
            int v = G[x][i];
            if(!dfs(v)) return false;
        }
        return true;
    }
    
    void init(int n)
    {
        this->n = n;
        for(int i=0;i<2*n;i++) G[i].clear();
        memset(mark,false,sizeof(mark));
    }
    
    void addEdge(int x,int xval,int y,int yval)
    {
        x = x * 2 + xval;
        y = y * 2 + yval;
        G[x^1].push_back(y);
        G[y^1].push_back(x);
    }
    
    bool solve()
    {
        for(int i=0;i<2*n;i+=2)
        {
            if(!mark[i] && !mark[i+1])
            {
                c = 0;
                if(!dfs(i))
                {
                    while(c > 0) mark[S[--c]] = 0;
                    if(!dfs(i + 1)) return false;
                }
            }
        }
        return true;
    }
}solver;

int n;
int T[N][2];
bool can(int dif)
{
    solver.init(n);
    for(int i=0;i<n;i++) for(int j=i+1;j<n;j++)
        for(int a=0;a<2;a++) for(int b=0;b<2;b++)
        {
            if(std::abs(T[i][a] - T[j][b]) < dif) solver.addEdge(i,a^1,j,b^1);
        }
    return solver.solve();
}

int main()
{
    while(scanf("%d",&n) == 1)
    {
        int L = 0, R = 0;
        for(int i=0;i<n;i++) for(int j=0;j<2;j++) {scanf("%d",&T[i][j]); R = max(R, T[i][j]);}
        int ans = -1;
        while(L <= R)
        {
            int mid = L + R >> 1;
            if(can(mid)) {ans = mid; L = mid + 1;}
            else R = mid - 1;
        }
        printf("%d
",ans);
    }
    return 0;
}

#include <stdio.h>
#include <algorithm>
#include <string.h>
#include <vector>
using namespace std;
const int N = 1e5 + 50;

struct TwoSAT
{
    int n;
    vector<int> G[N*2];
    bool mark[N*2];
    int S[N*2], c;

    bool dfs(int x)
    {
        if(mark[x^1]) return 0;
        if(mark[x]) return 1;
        mark[x] = 1;
        S[c++] = x;
        for(int i=0;i<G[x].size();i++)
        {
            int v = G[x][i];
            if(!dfs(v)) return false;
        }
        return true;
    }
    
    void init(int n)
    {
        this->n = n;
        for(int i=0;i<2*n;i++) G[i].clear();
        memset(mark,false,sizeof(mark));
    }
    
    void addEdge(int x,int xval,int y,int yval)
    {
        x = x * 2 + xval;
        y = y * 2 + yval;
        G[x^1].push_back(y);
        G[y^1].push_back(x);
    }
    
    bool solve()
    {
        for(int i=0;i<2*n;i+=2)
        {
            if(!mark[i] && !mark[i+1])
            {
                c = 0;
                if(!dfs(i))
                {
                    while(c > 0) mark[S[--c]] = 0;
                    if(!dfs(i + 1)) return false;
                }
            }
        }
        return true;
    }
}solver;

int n,m;
int p[N];
char get(bool mark,bool flag)
{
    if(flag) return mark ? 'A' : 'C';
    else return mark ? 'B' : 'C';
}

int main()
{
    while(scanf("%d%d",&n,&m) == 2)
    {
        if(n == 0 && m == 0) break;
        solver.init(n);
        int sum = 0;
        for(int i=0;i<n;i++) scanf("%d",p+i), sum += p[i];

        for(int i=0;i<m;i++)
        {
            int a,b;
            scanf("%d%d",&a,&b);
            a--, b--;
            if(n * p[a] >= sum && n * p[b] >= sum || n * p[a] < sum && n * p[b] < sum)
            {
                solver.addEdge(a,1,b,1);
                solver.addEdge(a,0,b,0);
            }
            else solver.addEdge(a,1,b,1);
        }
        if(solver.solve() == false) puts("No solution.");
        else
        {
            for(int i=0;i<2*n;i+=2)
            {
                if(solver.mark[i]) puts("C");
                else if(n * p[i / 2] >= sum) puts("A");
                else puts("B");
            }
        }
    }
    return 0;
}