CF875C National Property（简化版的2-sat）

这题原来是2-sat，果然还是我太弱，哪会什么2-sat呀。。以为随便模拟呢x
这题应该是个简化版的2-sat，先把前缀都合并了，然后考虑两个相邻串的大小问题，显然只与第一个不同的数字有关，记前一个串的为x，后一个串的为y。
则若x>y，为了满足条件，x必须大写。
若x< y，为了满足条件，如果y大写了，x也一定要大写，我们就建一条有向边(y->x)。然后用一遍dfs把所有需要变成大写的都变成大写。最后看一下是否满足条件了，如果不满足则输出no。

#include <bits/stdc++.h>
#define ll long long
#define mod 1000000007
#define N 100010
#define inf 0x3f3f3f3f
using namespace std;
inline int read(){
    int x=0,f=1;char ch=getchar();
    while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}
    while(ch>='0'&&ch<='9') x=x*10+ch-'0',ch=getchar();
    return x*f;
}
int n,m,s[N],num=1,num1=0,h[N];
bool f[N];
struct edge{
    int to,next;
}data[N];
vector<int>a[N];
vector<int>ans;
void add(int x,int y){
    data[++num1].to=y;data[num1].next=h[x];h[x]=num1;
}
void dfs(int x){
    for(int i=h[x];i;i=data[i].next){
        int y=data[i].to;
        if(!f[y]) ans.push_back(y),f[y]=1;dfs(y);
    }
}
bool big(int x,int y){
    if(f[x]^f[y]) return f[y];
    return x>y;
}
bool small(int x,int y){
    if(f[x]^f[y]) return f[x];
    return x<y;
}
bool check(int x,int y){
    int tot=min(a[x].size(),a[y].size());
    for(int i=0;i<tot;++i){
        if(small(a[x][i],a[y][i])) return 1;
        if(big(a[x][i],a[y][i])) return 0;
    }
}
int main(){
//  freopen("a.in","r",stdin);
    n=read();m=read();
    for(int i=1;i<=n;++i){
        int len=read(),len1=a[num].size();
        int tot=min(len,len1);
        for(int j=0;j<len;++j) s[j]=read();bool flag=0;
        for(int j=0;j<tot;++j){
            if(a[num][j]>s[j]){if(!f[a[num][j]]) ans.push_back(a[num][j]),f[a[num][j]]=1;flag=1;break;}
            if(a[num][j]<s[j]){add(s[j],a[num][j]);flag=1;break;}
        }if(flag){
            ++num;for(int j=0;j<len;++j) a[num].push_back(s[j]);continue;
        }if(len<len1){puts("No");return 0;}
        for(int j=len1;j<len;++j) a[num].push_back(s[j]);
    }
    for(int i=1;i<=m;++i) if(f[i]) dfs(i);
    for(int i=1;i<=num-1;++i) if(!check(i,i+1)){puts("No");return 0;}
    puts("Yes");printf("%d\n",ans.size());
    for(int i=0;i<ans.size();++i) printf("%d ",ans[i]);
    return 0;
}