Curiosity Has No Limits-CF div517-B(优雅的暴力）

题目传送门
思路：
这道题首先看过去，就是CF那种要你生成一个满足条件的序列或者字符那种题型。这种题型一般都有简单的规律。果不其然，这道题并不需要复杂的分类讨论，有一个规律。
你可以通过a1,b1枚举出t1和t2。那么这个规律就是：如果t(i)是已知的，那么a(i),b(i),t(i)三者可以根据题目中的关系唯一确定t(i+1).
这个可以用程序暴力枚举证明。
证明代码片段如下：

for(int i =0;i <= 3;++i){//a
		for(int j = 0;j <= 3;++j){//b
			for(int k = 0;k <= 3;++k){//ti
				int cnt = 0;
				for(int l = 0;l <= 3;++l){//t(i+1)
					if((l|k) == i && (l&k) == j){
						cnt++;
					}
				}
				printf("%d\n",cnt);//cnt要没是0，要么是1，说明要么不存在满足条件的t(i+1),要么就存在唯一的t(i+1)满足条件
				//printf("%d %d %d %d\n",)
			}
		}
	}

还有一点，向这里a,b,t的范围都很小，很有可能存在某种规律，这种规律你可以通过枚举发现。比赛时，你不确定时可以大胆假设。还有就是不要想太复杂，我想到如果有多种情况，就是有多个t(i+1)满足条件，那么该选哪个呢？如果选了第一个，结果是NO，但是选第二个结果是YES，这样的话，就是4^n的复杂度。这样的话，就是DP。
有时候，不要摆问题考虑得太复杂，比赛也没时间去考虑那么多，所以不要考虑联动效应，他们之间的互相影响。

AC code:
#include<iostream>
#include<cstdio>
#include<vector>
#include<bitset>
#include<stack>
#include<set>
#include<queue>
#include<map>
#include<cmath>
#include<string>
#include<cstring>
#include<ctime>
#include<fstream>
#include<cstdlib>
#include<algorithm>

using namespace std;

//#define pii pair<int, int>
#define pb push_back
#define mem(a,b) memset(a,b,sizeof(a))
#define per(i,a,b) for(int i=a;i<=b;i++)
#define rep(i,a,b) for(int i=a;i>=b;i--)
#define all(x) x.begin(),x.end()
#define PER(i,x) for(auto i=x.begin();i!=x.end();i++)
#define PI acos(-1.0)
#define INF 0x3f3f3f3f
typedef long long LL;
typedef pair<int,int> pii;
const double eps=1.0e-5;
const int maxn=1e5 + 10;
int dx[4] = {0,0,-1,1};
int dy[4] = {1,-1,0,0};
int n = 0; 
int a[maxn],b[maxn],c[maxn];
void solve(){
	fill(c,c+maxn,-1);
	per(i,0,3){
		per(j,0,3){
			if((i|j) == a[1] && (i&j) == b[1]){//枚举t1,t2 
				c[1] = i;c[2] = j;
				if(n == 2){
					printf("YES\n");
					printf("%d %d\n",c[1],c[2]);
					return ;
				} 
				per(k,2,n-1){
					//int cnt = 0;
					per(l,0,3){
						if((l|c[k]) == a[k] && (l&c[k]) == b[k]){
							c[k+1] = l;
							if(k == n-1){//说明生成了一个可满足的，立即打印，防止后面覆盖 
								printf("YES\n");
								per(u,1,n){//注意循环变量 
									printf("%d%c",c[u],u == n ? '\n':' ');
								}	
								return ;
							}
							//cnt++;
							//break; //注释掉，好像还运行快点 
						}
					}
					//printf("nima %d\n",cnt);
				}
			}
		}
	}
	printf("NO\n");
}
int main(){
	#ifndef ONLINE_JUDGE
		//freopen("a.txt","r",stdin);
	#endif
	while(~scanf("%d",&n)){
		per(i,1,n-1){
			scanf("%d",&a[i]);
		} 
		per(i,1,n-1){
			scanf("%d",&b[i]);
		} 
		solve();
	}
	
	return 0; 
}