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

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

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

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

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

 void tarjan(int u)
 {
     dfn[u]=low[u]=++dfs_clock;
     S.push(u);
     for(int i=;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=;i<*m;i++)
     {
         if(!dfn[i]) tarjan(i);
     }
     vector<int> ans;

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

 vector<int> v[N];

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