Codeforces 876E National Property ——（2-SAT）

　　在这题上不是标准的“a或b”这样的语句，因此需要进行一些转化来进行建边。同时在这题上点数较多，用lrj大白书上的做法会T，因此采用求强连通分量的方法来求解（对一个点，如果其拓扑序大于其为真的那个点，则这个语句为真，都相同则无解，否则为假）。AC代码如下：

#include <bits/stdc++.h>
using namespace std;
const int N = 1e5 + 5;
typedef long long ll;

int n,m,dfs_clock,dfn[N*2],low[N*2];
int belong[N*2],scc_cnt;
stack<int> S;
vector<int> G[N*2];

void init()
{
    for(int i=1;i<=n;i++) G[i].clear();
    dfs_clock = 0;
    memset(dfn,0,sizeof(dfn));
    memset(belong,0,sizeof(belong));
    scc_cnt = 0;
}

void tarjan(int u)
{
    dfn[u]=low[u]=++dfs_clock;
    S.push(u);
    for(int i=0;i<G[u].size();i++)
    {
        int v = G[u][i];
        if(!dfn[v])
        {
            tarjan(v);
            low[u]=min(low[u],low[v]);
        }
        else if(!belong[v])
        {
            low[u]=min(low[u],dfn[v]);
        }
    }
    if(low[u]==dfn[u])
    {
        scc_cnt++;
        for(;;)
        {
            int x = S.top();S.pop();
            belong[x] = scc_cnt;
            if(x==u) break;
        }
    }
}

void add(int x, int y) {G[x].push_back(y);}

void solve()
{
    for(int i=0;i<2*m;i++)
    {
        if(!dfn[i]) tarjan(i);
    }
    vector<int> ans;

    for(int i=0;i<2*m;i+=2)
    {
        if(belong[i] == belong[i+1])
        {
            puts("No");
            return ;
        }
        else
        {
            if(belong[i] > belong[i+1]) ans.push_back(i/2+1);
        }
    }
    puts("Yes");
    printf("%d
",ans.size());
    for(int i=0;i<ans.size();i++) printf("%d%c",ans[i],i==ans.size()-1?'
':' ');
}

vector<int> v[N];

int main()
{
    cin >> n >> m;
    for(int i=1;i<=n;i++)
    {
        int t; scanf("%d",&t);
        while(t--)
        {
            int x; scanf("%d",&x);
            v[i].push_back(x);
        }
    }
    init();
    for(int i=1;i<n;i++)
    {
        int sz = min(v[i].size(), v[i+1].size());
        int pos = -1;
        for(int j=0;j<sz;j++)
        {
            if(v[i][j] != v[i+1][j])
            {
                pos = j;
                break;
            }
        }
        if(pos == -1)
        {
            if(v[i].size() <= v[i+1].size()) continue;
            else return 0*puts("No");
        }
        int x = v[i][pos]-1;
        int y = v[i+1][pos]-1;
        if(x < y)
        {
            add(y<<1|1, x<<1|1);
            add(x<<1, y<<1);
        }
        else
        {
            add(x<<1, x<<1|1);
            add(y<<1|1, y<<1);
        }
    }
    solve();
    return 0;
}