【题解】CF875C National Property

题意

给定一些字符串，其中字母用数字表示，并且初始是小写的。你可以把一些小写字母改成大写，但同时你要把所有同种字母全部改成大写。问是否能经过一些操作使得最终的字符串序列满足按字典序升序排列。如果能，则需要输出方案。

题解

可以发现每种字母只有两种状态：大写或者小写。并且状态受到相邻字符串的大小约束，于是我们可以朝2-SAT的方向思考~~（其实要不是这是我们2-SAT作业题，还真想不到）~~。

我们发现只要能维护好相邻字符串的大小，那么整个序列也就自动排完序了，于是我们仅考虑相邻两个字符串比较的情况。

先判断一种特殊情况：$a[i+1]$是$a[i]$的一个不与$a[i]$相等的前缀。那么显然无论怎么操作，$a[i]$始终大于$a[i+1]$，直接输出0。

那么接下来每一位上就不需要考虑相等的情况了。如果$a[i+1][j]<a[i][j]$，那么显然$a[i][j]$需要变成大写，同时$a[i+1][j]$必须为小写，这样才能满足字典序要求；如果$a[i+1][j]>a[i][j]$，那么当$a[i][j]$是小写时，$a[i+1][j]$必须小写,同时如果$a[i+1][j]$为大写，则$a[i][j]$也为大写。

那么就可以按照上述规则建边，设$u$表示$a[i][j]$大写，$u+n$表示$a[i][j]$小写，$v$表示$a[i+1][j]$大写，$v+n$表示$a[i+1][j]$小写

1. 如果$u<v$：add(v,u), add(u+n,v+n)。
2. 如果$u>v$：add(u+n,u), add(v,v+n)。

代码

建图后一波$tarjan$跑2-SAT搞定。

#include <bits/stdc++.h>
#define MAX 200005
using namespace std;

int n, m, cnt, tot;
int len, lst[MAX], a[MAX], col[MAX];
int head[MAX], Next[MAX*2], vet[MAX*2];

void add(int x, int y){
    cnt++;
    Next[cnt] = head[x];
    head[x] = cnt;
    vet[cnt] = y;
}

int low[MAX], dfn[MAX], vis[MAX], T;
stack<int> s;
void tarjan(int x){
    low[x] = dfn[x] = ++T;
    vis[x] = true;
    s.push(x);
    for(int i = head[x]; i; i = Next[i]){
        int v = vet[i];
        if(!dfn[v]){
            tarjan(v);
            low[x] = min(low[x], low[v]);
        }
        else if(vis[v]){
            low[x] = min(low[x], dfn[v]);
        }
    }
    if(low[x] == dfn[x]){
        tot++;
        int t = -1;
        while(t != x){
            t = s.top();
            s.pop();
            vis[t] = false;
            col[t] = tot;
        }
    }
}

int main()
{
    cin >> m >> n;
    for(int i = 1; i <= m; i++){
        int t;
        scanf("%d", &t);
        for(int j = 1; j <= t; j++){
            scanf("%d", &a[j]);
        }
        for(int j = 1; j <= min(len, t); j++){
            if(lst[j] < a[j]){
                add(a[j], lst[j]);
                add(lst[j]+n, a[j]+n);
                break;
            }
            else if(lst[j] > a[j]){
                add(lst[j]+n, lst[j]);
                add(a[j], a[j]+n);
                break;
            }
            if(j == min(len, t) && len > t){
                puts("No");
                return 0;
            }
        }
        len = t;
        for(int j = 1; j <= t; j++) lst[j] = a[j];
    }
    
    for(int i = 1; i <= n*2; i++){
        if(!dfn[i]) tarjan(i);
    }
    for(int i = 1; i <= n; i++){
        if(col[i] == col[i+n]){
            puts("No");
            return 0;
        }
    }
    
    puts("Yes");
    int ans = 0;
    for(int i = 1; i <= n; i++){
        if(col[i] < col[i+n]){
            ans++;
        }
    }
    cout << ans << endl;
    for(int i = 1; i <= n; i++){
        if(col[i] < col[i+n]){
            printf("%d ", i);
        }
    }
    
    return 0;
}