题目传送门
思路:
这道题首先看过去,就是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;
}