Codeforces 876E：2-SAT 或者 瞎搞

题意：给出N个字符串，每个字符用整数来代表，规定一个字符可以有大小写,设小写为1，大写为1‘，并且字典序表示为：1’<2'<3'<4'<1<2<3<4，现在要求你选出若干个字符变成大写（所有串中的这个字符都变成大写），使得N个字符串是按照字典序不降的。无解输出-1

题解：正解是2-SAT。。。。我要讲一个怪算法。。。

首先有一个不完整的思路是：正着扫一遍，要保证第i个字符串<第i+1个字符串，方法是，暴力搞掉最长公共前缀，然后拿到第一个不同的字符，必须让第i个串的那个字符小才行，如果不满足，就让那个字符变成大写的，如果变成大写了还不满足就是No。

但是这样有问题，后面有一些字符变成大写了之后，可能前边的字典序就保证不了了，那么显然 另外一个不完整的思路就是：反着再扫一次。

但是这样还是有问题，于是我们发现了，问题其实是这样子：如果某次扫描，把某个字符变成了大写，那么之前的字典序可能会被破坏掉，那么我们至少需要再来一次扫描检查一次。

于是骚的算法来了：正着扫一次+反着扫一次，如果把某个字符变成了大写，就继续疯狂扫，如果没有，就可以书出答案了。

我他妈不知道怎么就AC了。。。

过几天把2-SAT的板子补出来ORZ。。。

Code：

#include<bits/stdc++.h>using namespace std;const int maxm = 2e5;bool big[maxm];int m,n;int ch[maxm];int l[maxm];int pos[maxm];int cnt=0;bool small(int x_,int y_){if (big[x_]==big[y_]){return x_<=y_;}else{return big[x_];}}int main(){scanf("%d%d",&n,&m);for (int i=0;i<n;i++){int len;scanf("%d",&len);l[i]=len;pos[i] =cnt;for (int j=0;j<len;j++){scanf("%d",ch+cnt+j);}cnt+=len;}pos[n]=cnt;while (true){bool flag = false;for (int i=0;i<n-1;i++){int p1=pos[i];int p2 = pos[i+1];int l1=l[i];int l2 = l[i+1];int mm = min(l1,l2);int del =0;while (del<mm&&ch[p1+del]==ch[p2+del]){del++;}//cout<<i<<" "<<del<<endl;if (del==mm&&del==l1)continue;if (del==mm&&del==l2){cout<<"No"<<endl;return 0;}if (small(ch[p1+del],ch[p2+del])){continue;}else{if (!big[ch[p1+del]])flag = true;big[ch[p1+del]] =true;if (small(ch[p1+del],ch[p2+del])){continue;}else{cout<<"No"<<endl;return 0;}}}for (int i=n-1;i>0;i--){int p2 = pos[i];int p1 = pos[i-1];int l2 = l[i];int l1 = l[i-1];int mm = min(l1,l2);int del =0;while (del<mm&&ch[p1+del]==ch[p2+del])del++;//cout<<"! "<<i<<" "<<del<<endl; if (del==mm&&del==l1)continue;if (del==mm&&del==l2){cout<<"No"<<endl;return 0;}if (small(ch[p1+del],ch[p2+del])){continue;}else{if (!big[ch[p1+del]])flag = true;big[ch[p1+del]] = true;if (small(ch[p1+del],ch[p2+del])){continue;}else{cout<<"No"<<endl;return 0;}}}if (!flag)break;}printf("Yes\n");int cnt =0;for (int i=1;i<=m;i++){if (big[i])cnt++;}printf("%d\n",cnt);for (int i=1;i<=m;i++){if(big[i])printf("%d ",i);}return 0;}/*5 53 1 2 34 1 2 4 43 1 3 4 3 1 2 43 4 4 4*/