Submission #1774116

---

Source Code Expand

///////////////////////////////////////////////////////////
///////////////////////////////////////////////////////////
//                       _oo0oo_                         //
//                      o8888888o                        //
//                      88" . "88      ------ hzt1       //
//                      (| -_- |)                        //
//                      0\  =  /0                        //
//                    ___/`---'\___                      //
//                  .' \|     |// '.                     //
//                 / \|||  :  |||// \                    //
//                / _||||| -:- |||||- \                  //
//               |   | \  -  /// |     |                 //
//               | \_|  ''\---/''  |_/ |                 //
//               \  .-\__  '-'  ___/-. /                 //
//             ___'. .'  /--.--\  `. .'___               //
//          ."" '<  `.___\_<|>_/___.' >' "".             //
//         | | :  `- \`.;`\ _ /`;.`/ - ` : | |           //
//         \  \ `_.   \_ __\ /__ _/   .-` /  /           //
//     =====`-.____`.___ \_____/___.-`___.-'=====        //
//                       `=---='                         //
//                                                       //
//                                                       //
//     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~       //
//                                                       //
//                 God-He Bless All.                     //
//           This Code Will Never Explode.               //
//                                                       //
//                                                       //
///////////////////////////////////////////////////////////
///////////////////////////////////////////////////////////
#include<cstdio>
#include<cstring>
#include<cctype>
#include<algorithm>
#include<vector>
#define pb push_back
#define mp make_pair
#define rep(i,a,b) for(int i=(a),i##_end_=(b);i<=i##_end_;i++)
#define dwn(i,a,b) for(int i=(a),i##_end_=(b);i>=i##_end_;i--)
using namespace std;
const int Size=1<<16;
char buffer[Size],*head,*tail;
inline char Getchar() {
    if(head==tail) {
        int l=fread(buffer,1,Size,stdin);
        tail=(head=buffer)+l;
    }
    if(head==tail) return -1;
    return *head++;
}
inline int read() {
    int x=0,f=1;char c=getchar();
    for(;!isdigit(c);c=getchar()) if(c=='-') f=-1;
    for(;isdigit(c);c=getchar()) x=x*10+c-'0';
    return x*f;
}
#define lc ch[x][0]
#define rc ch[x][1]
typedef long long ll;
typedef pair<int,int> pii;
const int maxn=100010;
int n,A[4][maxn],B[maxn];
void GG() {puts("No");exit(0);}
int pre[maxn],ch[maxn][2],val[maxn],flip[maxn],sumv[maxn];
int ToT;
int newnode(int x) {val[++ToT]=x;sumv[ToT]=1;return ToT;}
void maintain(int x) {sumv[x]=sumv[lc]+sumv[rc]+1;}
void pushdown(int x) {
	if(flip[x]) {
		flip[lc]^=1;flip[rc]^=1;
		val[lc]*=-1;val[rc]*=-1;
		flip[x]=0;
	}
}
void rotate(int x) {
	int y=pre[x],z=pre[y],d=ch[y][0]==x;
	ch[y][d^1]=ch[x][d];pre[ch[x][d]]=y;
	ch[z][ch[z][1]==y]=x;pre[x]=z;
	ch[x][d]=y;pre[y]=x;maintain(y);
}
int st[maxn];
void splay(int x) {
	int top=0;
	for(int i=x;i;i=pre[i]) st[++top]=i;
	while(top) pushdown(st[top--]);
	while(pre[x]) {
		int y=pre[x],z=pre[y];
		if(z) {
			if(ch[y][0]==x^ch[z][0]==y) rotate(x);
			else rotate(y);
		}
		rotate(x);
	}
	maintain(x);
}
int find(int x,int k) {
	if(k<=sumv[lc]) return find(lc,k);
	if(k==sumv[lc]+1) return x;
	return find(rc,k-(sumv[lc]+1));
}
int merge(int x,int y) {
	if(!sumv[x]&&!sumv[y]) return 0;
	if(!sumv[x]) return y;
	if(!sumv[y]) return x;
	while(ch[x][1]) x=ch[x][1];splay(x);
	ch[x][1]=y;pre[y]=x;
	maintain(x);return x;
}
void split(int x,int k,int& l,int& r) { // [1,k] & [k+1,r]
	if(!k) {l=0,r=x;return;}
	x=find(x,k);splay(x);
	l=x;r=ch[x][1];pre[r]=0;ch[x][1]=0;
	maintain(x);
}
void print(int x) {
	if(!x) return ;
	pushdown(x);
	print(lc);
	printf("%d ",val[x]);
	print(rc);
}
int root[2],rt[maxn];
int main() {
	n=read();
	rep(i,1,3) rep(j,1,n) A[i][j]=read();
	rep(i,1,n) {
		if(A[2][i]*2!=A[1][i]+A[3][i]||abs(A[2][i]-A[1][i])!=1) GG();
		if(A[1][i]<A[3][i]) B[i]=A[3][i]/3;
		else B[i]=-A[1][i]/3;
		if(abs(B[i])%2!=i%2) GG();
	}
	rep(i,1,n) rt[abs(B[i])]=newnode(B[i]);
	rep(i,1,n) root[i%2]=merge(root[i%2],rt[abs(B[i])]);
	int cur1=0,cur2=0;
	rep(i,1,n) {
		int l,r,mid,p;splay(rt[i]);root[i%2]=rt[i];
		split(root[i%2],p=sumv[ch[rt[i]][0]],l,mid);
		split(mid,1,mid,r);val[l]*=-1;flip[l]^=1;
		root[i%2]=merge(l,r);
		if(p%2) val[mid]*=-1;
		B[i]=val[mid];
		if(p) {
			split(root[(i%2)^1],p,l,r);
			val[l]*=-1;flip[l]^=1;
			root[(i%2)^1]=merge(l,r);
		}
	}
	rep(i,1,n) if(B[i]<0) {
		if(i&1) cur1++;
		else cur2++;
	}
	cur1%=2;cur2%=2;
	puts(cur1||cur2?"No":"Yes");
	return 0;
}

Submission Info

Judge Result