HDU - 1814 Peaceful Commission（2-sat输出字典序最小）

题意：给你n个组，m条规则，每组有俩个人，这两个人不能同时出现，然后m条规则代表着有两个人，这两个人也不能同时出现，问你是否存在每组都能出现一人的选择方案。

思路：没什么好方法，暴力判，枚举每对元素，先优先取靠前的那个，把它所有连了边的都取了然后打tag，如果它不会产生矛盾，那么继续，如果有，那么先把所有的tag取消，再判断a+1有没有矛盾，如果a+1也有矛盾，那这组数据就不行了。

#include<bits/stdc++.h>
using namespace std;
const int N = 1e5 + 10;
int n, m, h[N], cnt, mark[N];
stack<int> s;
struct node {
    int to, nt;
} no[N];
void add(int u, int v) {
    no[cnt] = node{v, h[u]};
    h[u] = cnt++;
}
int dfs(int u) {
    if(mark[u ^ 1])
        return 0;
    if(mark[u])
        return 1;
    s.push(u);
    mark[u] = 1;
    for(int i = h[u]; ~i; i = no[i].nt)
        if(!dfs(no[i].to))
            return 0;
    return 1;
}
int twosat() {
    memset(mark, 0, sizeof(mark));
    for(int i = 0; i < 2 * n; i += 2)
        if(!mark[i] && !mark[i + 1]) {
            while(!s.empty())
                s.pop();
            if(!dfs(i)) {
                while(!s.empty()) {
                    mark[s.top()] = 0;
                    s.pop();
                }
                if(!dfs(i ^ 1))
                    return 0;
            }
        }
    return 1;
}
int main() {
    while(~scanf("%d%d", &n, &m)) {
        memset(h, -1, sizeof h), cnt = 0;
        for(int u, v, i = 1; i <= m; i++) {
            scanf("%d%d", &u, &v);
            u--, v--;
            add(u, v ^ 1);
            add(v, u ^ 1);
        }
        if(twosat()) {
            for(int i = 0; i < 2 * n; i++)
                if(mark[i])
                    printf("%d\n", i + 1);
        } else
            puts("NIE");
    }
    return 0;
}