#896667 (cLay) No.2540 同値性判定

• 問題: No.2540 同値性判定
• ユーザー: 👑 p-adic
• 提出日時: 2023-07-29 22:15:51
• 言語: cLay (20240104-1)
• 結果: AC
• 実行時間: 30 ms / 2,500 ms
• コード長: 825 bytes
• コンパイル時間: 3,338 ms
• コンパイル使用メモリ: 187,288 KB
• 実行使用メモリ: 11,776 KB
• 最終ジャッジ日時: 2024-04-17 00:39:17
• 合計ジャッジ時間: 7,561 ms
• ジャッジサーバーID （参考情報）: judge4 / judge3

入力	結果	実行時間; 実行使用メモリ
testcase_00	AC	2 ms; 5,248 KB
testcase_01	AC	2 ms; 5,376 KB
testcase_02	AC	2 ms; 5,376 KB
testcase_03	AC	2 ms; 5,376 KB
testcase_04	AC	2 ms; 5,376 KB
testcase_05	AC	2 ms; 5,376 KB
testcase_06	AC	2 ms; 5,376 KB
testcase_07	AC	2 ms; 5,376 KB
testcase_08	AC	2 ms; 5,376 KB
testcase_09	AC	2 ms; 5,376 KB
testcase_10	AC	2 ms; 5,376 KB
testcase_11	AC	1 ms; 5,376 KB
testcase_12	AC	2 ms; 5,376 KB
testcase_13	AC	2 ms; 5,376 KB
testcase_14	AC	4 ms; 5,376 KB
testcase_15	AC	13 ms; 11,264 KB
testcase_16	AC	29 ms; 11,648 KB
testcase_17	AC	30 ms; 11,776 KB
testcase_18	AC	27 ms; 11,648 KB
testcase_19	AC	27 ms; 11,520 KB
testcase_20	AC	29 ms; 11,776 KB
testcase_21	AC	29 ms; 11,776 KB
testcase_22	AC	29 ms; 11,648 KB
testcase_23	AC	29 ms; 11,776 KB
testcase_24	AC	30 ms; 11,776 KB
evil_00.txt	AC	193 ms; 12,544 KB
evil_01.txt	AC	167 ms; 12,672 KB
evil_02.txt	AC	163 ms; 12,672 KB
evil_03.txt	AC	194 ms; 12,672 KB
evil_04.txt	AC	168 ms; 12,544 KB
evil_05.txt	AC	175 ms; 12,544 KB
evil_06.txt	AC	163 ms; 12,672 KB
evil_07.txt	AC	194 ms; 12,672 KB
evil_08.txt	AC	191 ms; 12,672 KB
evil_09.txt	AC	197 ms; 12,672 KB
evil_10.txt	AC	193 ms; 12,672 KB
evil_11.txt	AC	191 ms; 12,672 KB

ソースコード

struct U{ull a,b;bool c;U(ull A=-1,ull B=0,bool C=false):a(A),b(B),c(C){};};
ull O(const U& b,const ull& a){return (b.c?~a:a)&b.a|b.b;}
void C(const U& f,U& b){b=f.c?U(~b.b&f.a,~b.a&~b.b&f.a|f.b,!b.c):U(b.a&f.a,b.b&f.a|f.b,b.c);}
{
ull@N,@Q,P[6]={},M=1000,A[N],h,l,r,x,y,a,m,n,u;U B[M]={},f;
rep(i,6)rep(d,64)P[i]+=((d>>i)&1ULL)<<d;
rep(i,N)A[i]=P[i%6];
string E="land",o;
rep(Q){
	rd(h,o,l,r,x,y);
	r++;y++;
	a=O(B[h/M],A[h]);
	f=o==E?U(a):U(-1,a,o<E);
	m=(l+M-1)/M;
	n=max(m,r/M);
	u=min(m*M,r);
	if(m){rep(i,m*M-M,min(m*M,N))A[i]=O(B[m-1],A[i]);B[m-1]=U();}
	rep(i,l,u)A[i]=O(f,A[i]);
	rep(j,m,n)C(f,B[j]);
	rep(i,n*M,min(n*M+M,N))A[i]=O(B[n],A[i]);
	if(n*M<N)B[n]=U();
	rep(i,max(u,n*M),r)A[i]=O(f,A[i]);
	set<ull>X;
	o="No";
	rep(i,x,y){
		a=O(B[i/M],A[i]);
		if(X.count(a)){o="Yes";break;}
		X.insert(a);
	}
	wt(o);
}
}