結果

問題 No.2308 [Cherry 5th Tune B] もしかして、真?
ユーザー shobonvipshobonvip
提出日時 2023-05-19 21:52:39
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 205 ms / 2,000 ms
コード長 1,735 bytes
コンパイル時間 4,631 ms
コンパイル使用メモリ 267,060 KB
実行使用メモリ 21,608 KB
最終ジャッジ日時 2024-07-04 00:58:35
合計ジャッジ時間 14,306 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 156 ms
8,584 KB
testcase_02 AC 183 ms
12,388 KB
testcase_03 AC 163 ms
12,456 KB
testcase_04 AC 167 ms
13,028 KB
testcase_05 AC 168 ms
13,320 KB
testcase_06 AC 179 ms
18,000 KB
testcase_07 AC 173 ms
17,292 KB
testcase_08 AC 185 ms
19,084 KB
testcase_09 AC 187 ms
19,156 KB
testcase_10 AC 168 ms
12,660 KB
testcase_11 AC 177 ms
12,392 KB
testcase_12 AC 180 ms
12,388 KB
testcase_13 AC 181 ms
12,392 KB
testcase_14 AC 179 ms
12,396 KB
testcase_15 AC 177 ms
12,392 KB
testcase_16 AC 185 ms
12,392 KB
testcase_17 AC 180 ms
12,392 KB
testcase_18 AC 182 ms
12,392 KB
testcase_19 AC 183 ms
12,392 KB
testcase_20 AC 178 ms
12,396 KB
testcase_21 AC 199 ms
21,476 KB
testcase_22 AC 205 ms
21,480 KB
testcase_23 AC 202 ms
21,480 KB
testcase_24 AC 199 ms
21,408 KB
testcase_25 AC 197 ms
21,376 KB
testcase_26 AC 199 ms
21,608 KB
testcase_27 AC 198 ms
21,480 KB
testcase_28 AC 201 ms
21,480 KB
testcase_29 AC 200 ms
21,352 KB
testcase_30 AC 203 ms
21,480 KB
testcase_31 AC 118 ms
21,472 KB
testcase_32 AC 115 ms
21,480 KB
testcase_33 AC 114 ms
21,484 KB
testcase_34 AC 129 ms
21,484 KB
testcase_35 AC 129 ms
21,388 KB
testcase_36 AC 131 ms
21,484 KB
testcase_37 AC 9 ms
5,376 KB
testcase_38 AC 181 ms
12,392 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<bits/stdc++.h>
#include<atcoder/all>
using namespace std;
using namespace atcoder;

typedef modint998244353 mint;
typedef long long ll;

// importbisect
template <typename T>
int bisect_left(vector<T> &X, T v){
	return lower_bound(X.begin(), X.end(), v) - X.begin();
}

template <typename T>
int bisect_right(vector<T> &X, T v){
	return upper_bound(X.begin(), X.end(), v) - X.begin();
}
// -----

int dat;
bool hantei(int x){
	return x < dat;
}

int op(int a, int b){
	return a + b;
}

int e(){
	return 0;
}

void solve(){
	int n; cin >> n;
	vector<string> x(n), y(n-1);
	vector<int> s(n);
	for (int i=0; i<n; i++){
		cin >> x[i];
	}
	for (int i=0; i<n-1; i++){
		cin >> y[i];
	}
	vector<bool> f(n);
	for (int i=0; i<n; i++){
		if (x[i] == "True") f[i] = true;
	}

	segtree<int,op,e> seg1(n);
	segtree<int,op,e> seg2(n-1);
	for (int i=0; i<n; i++){
		seg1.set(i, 1);
	}
	for (int i=0; i<n-1; i++){
		seg2.set(i, 1);
	}

	for (int i=0; i<n-1; i++){
		cin >> s[i];
		s[i]--;
		dat = s[i] + 1;
		int x1 = seg1.max_right<hantei>(0);
		int z = seg2.max_right<hantei>(0);
		dat++;
		int x2 = seg1.max_right<hantei>(0);
		if (y[z] == "and"){
			if (f[x1] && f[x2]) f[x1] = true;
			else f[x1] = false;
		}else if (y[z] == "or"){
			if (f[x1] || f[x2]) f[x1] = true;
			else f[x1] = false;
		}else if (y[z] == "xor"){
			if ((f[x1] && !f[x2]) || (!f[x1] && f[x2])) f[x1] = true;
			else f[x1] = false;
		}else{
			if (f[x1]){
				f[x1] = f[x2];
			}else{
				f[x1] = true;
			}
		}
		seg1.set(x2, 0);
		seg2.set(z, 0);
	}

	dat = 1;
	int x3 = seg1.max_right<hantei>(0);
	if (f[x3]) cout << "True\n";
	else cout << "False\n";
}

int main(){
	ios_base::sync_with_stdio(false);
	cin.tie(NULL);
	
	int t; cin >> t;
	while(t--) solve();
}
0