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 5
3 1 2 3
4 1 2 4 4
3 1 3 4 
3 1 2 4
3 4 4 4

*/