Codeforces 876 E National Property（2-SAT）

题目地址
题意：告诉你n个序列，然而你可以选择把数字变成数字’字典序变为（1'<2'<3'<1<2<3)，问你这些序列把一些数字变成数字’以后字典序是不是严格非递减的。
思路：我们对相邻的两个序列进行比较，当两个序列的数字是相同的时候你怎么变都是相等的所以没有增加什么限制条件，然而如果是不等的话，我们就要让数字变形，但是怎么进行判断呢，这里我们发现如果选择了用单纯的数字的话就不能用带引号的数字了，反之一样，所以这里就能发现是2-SAT的问题呢，然后我们怎么来体现这一限制条件呢？看下面建边的代码：

if (num[i][pos] > num[i + 1][pos]) {//num*2为不变，num*2+1为变
    sat.addedge(num[i][pos] << 1, num[i][pos] << 1 | 1);
    sat.addedge(num[i + 1][pos] << 1 | 1, num[i + 1][pos] << 1);
}
else {
    sat.addedge(num[i + 1][pos] << 1 | 1, num[i][pos] << 1 | 1);
    sat.addedge(num[i][pos] << 1, num[i + 1][pos] << 1);
}

我们可以发现当前者大的时候，我们可以选择把前面变化后者不能变化，所以我们对前者的不变与变，后者的变与不变建边（有向），这样的话，我们如果选到了前者的不变或者后者的变的话就会使得同一个数字的变和不变同时出现了。然后当后者大的时候，我们要不就是同时变，要不就是同时不变，然后我们就把这个建边就好了，（方向说明：因为后者是大的，他变化了，所以前者就因此被动变的，然而如果前者没有变的话，后者是严格不能变化的。）

#include <iostream>
#include <cstring>
#include <string>
#include <queue>
#include <vector>
#include <map>
#include <set>
#include <cmath>
#include <cstdio>
#include <algorithm>
#include <iomanip>
#define N 400005
#define M 2000010//双倍
#define LL __int64
#define inf 0x3f3f3f3f
#define lson l,mid,ans<<1
#define rson mid+1,r,ans<<1|1
#define getMid (l+r)>>1
#define movel ans<<1
#define mover ans<<1|1
using namespace std;
const LL mod = 1000000007;
const double eps = 0.001;
int n, m;
int head[N], idx;
struct node { 
    int to;
    int next;
}edge[M];
vector<int> num[N];
int lens[N];
int ans[N];
struct two_SAT {
    int dfn[N], low[N];
    int stack[N], top;
    int belong[N], cnt, num;
    bool vis[N];
    void init() {
        memset(head, -1, sizeof(head));
        memset(belong, 0, sizeof(belong));
        memset(dfn, 0, sizeof(dfn));
        memset(vis, false, sizeof(vis));
        num = cnt = 0;
        top = 0;
        idx = 0;
    }
    void addedge(int a, int b) {
        edge[idx].to = b;
        edge[idx].next = head[a];
        head[a] = idx++;
    }
    void tarjin(int u) {//缩点 
        dfn[u] = low[u] = ++num;
        vis[u] = true;
        stack[top++] = u;
        for (int i = head[u]; ~i; i = edge[i].next) {
            int v = edge[i].to;
            if (!dfn[v]) {
                tarjin(v);
                low[u] = min(low[u], low[v]);
            }
            else if (vis[v]) {
                low[u] = min(low[u], dfn[v]);
            }
        }
        if (dfn[u] == low[u]) {
            while (true) {
                int v = stack[--top];
                vis[v] = false;
                belong[v] = cnt;//标记联通分量belong 
                if (u == v) break;
            }
            cnt++;
        }
    }
    bool two_sat() {
        for (int i = 2; i <= 2 * m + 1; i++) {//总点数  
            if (!dfn[i]) tarjin(i);
        }
        for (int i = 2; i <= 2 * m; i += 2) {//遍历是不是会有一个人有2种可能
            if (belong[i] == belong[i + 1]) {
                return false;
            }
            ans[i>>1]= belong[i]<belong[i + 1] ? i : i + 1;
        }
        return true;
    }
}sat;
int main() {
    cin.sync_with_stdio(false);
    int a;
    while (cin >> n >> m) {
        sat.init();
        for (int i = 0; i < n; i++) {
            cin >> lens[i];
            for (int j = 0; j < lens[i]; j++) {
                cin >> a;
                num[i].push_back(a);
            }
        }
        for (int i = 0; i < n - 1; i++) {
            int pos = -1;
            int len = min(lens[i], lens[i + 1]);
            for (int j = 0; j < len; j++) {
                if (num[i][j] != num[i + 1][j]) {
                    pos = j;
                    break;
                }
            }
            if (pos == -1) {
                if (lens[i] <= lens[i + 1]) {
                    continue;
                }
                else {
                    cout << "No" << endl;
                    return 0;
                }
            }
            if (num[i][pos] > num[i + 1][pos]) {//num*2为不变，num*2+1为变
                sat.addedge(num[i][pos] << 1, num[i][pos] << 1 | 1);
                sat.addedge(num[i + 1][pos] << 1 | 1, num[i + 1][pos] << 1);
            }
            else {
                sat.addedge(num[i + 1][pos] << 1 | 1, num[i][pos] << 1 | 1);
                sat.addedge(num[i][pos] << 1, num[i + 1][pos] << 1);
            }
        }
        if (sat.two_sat()) {
            cout << "Yes" << endl;
            int cnt = 0;
            for (int i = 1; i <= m; i++) {
                if (ans[i] == (i << 1 | 1)) cnt++;
            }
            cout << cnt << endl;
            for (int i = 1; i <= m; i++) {
                if (ans[i] == (i << 1 | 1)) cout<<i<<" ";
            }
            cout << endl;
        }
        else {
            cout << "No" << endl;
        }
    }
    return 0;
}