結果

問題 No.2308 [Cherry 5th Tune B] もしかして、真?
ユーザー norikamenorikame
提出日時 2023-05-19 22:59:37
言語 C++23
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 605 ms / 2,000 ms
コード長 1,947 bytes
コンパイル時間 5,592 ms
コンパイル使用メモリ 320,252 KB
実行使用メモリ 18,176 KB
最終ジャッジ日時 2024-05-10 06:24:00
合計ジャッジ時間 27,330 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 495 ms
7,788 KB
testcase_02 AC 547 ms
10,748 KB
testcase_03 AC 504 ms
10,840 KB
testcase_04 AC 510 ms
11,408 KB
testcase_05 AC 522 ms
11,936 KB
testcase_06 AC 533 ms
14,504 KB
testcase_07 AC 537 ms
13,900 KB
testcase_08 AC 553 ms
15,872 KB
testcase_09 AC 543 ms
15,744 KB
testcase_10 AC 517 ms
11,136 KB
testcase_11 AC 534 ms
10,832 KB
testcase_12 AC 543 ms
10,960 KB
testcase_13 AC 542 ms
10,960 KB
testcase_14 AC 536 ms
10,964 KB
testcase_15 AC 538 ms
10,828 KB
testcase_16 AC 547 ms
10,836 KB
testcase_17 AC 539 ms
10,832 KB
testcase_18 AC 531 ms
10,828 KB
testcase_19 AC 532 ms
10,828 KB
testcase_20 AC 546 ms
10,836 KB
testcase_21 AC 585 ms
18,176 KB
testcase_22 AC 598 ms
18,176 KB
testcase_23 AC 596 ms
18,176 KB
testcase_24 AC 589 ms
18,048 KB
testcase_25 AC 585 ms
18,048 KB
testcase_26 AC 581 ms
18,048 KB
testcase_27 AC 591 ms
18,048 KB
testcase_28 AC 595 ms
18,176 KB
testcase_29 AC 584 ms
18,048 KB
testcase_30 AC 605 ms
18,176 KB
testcase_31 AC 423 ms
18,048 KB
testcase_32 AC 418 ms
18,176 KB
testcase_33 AC 420 ms
18,048 KB
testcase_34 AC 455 ms
18,176 KB
testcase_35 AC 454 ms
18,048 KB
testcase_36 AC 446 ms
18,176 KB
testcase_37 AC 27 ms
5,376 KB
testcase_38 AC 547 ms
10,832 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

// 

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

using ll = long long;

#define rep(i, n) for (int i=0; i<(int)(n); ++(i))
#define rep3(i, m, n) for (int i=(m); (i)<(int)(n); ++(i))
#define repr(i, n) for (int i=(int)(n)-1; (i)>=0; --(i))
#define rep3r(i, m, n) for (int i=(int)(n)-1; (i)>=(int)(m); --(i))
#define all(x) (x).begin(), (x).end()

const int INF = (int)(1e9);
const vector<string> ops = { "and", "or", "xor", "imp" }, bins = { "False", "True" };
const vector<vector<int>> results = {
	{ 0, 0, 0, 1 }, { 0, 1, 1, 1 }, { 0, 1, 1, 0 }, { 1, 1, 0, 1 }
};

int main() {
	int t0;
	cin >> t0;
	rep(i0, t0) {
		int n;
		cin >> n;
		vector<string> a(n*2-1);
		vector<int> s(n-1);
		rep(i, n) cin >> a[i*2];
		rep(i, n-1) cin >> a[i*2+1];
		rep(i, n-1) {
			cin >> s[i];
			s[i]--;
		}
		fenwick_tree<int> ft(n*2-1);
		rep(i, n*2-1) ft.add(i, 1);
		function<string(int)> get = [&](int id) {
			int li = -1, ri = n*2-1;
			while (ri-li > 1) {
				int ci = li + (ri-li) / 2;
				if (ft.sum(0, ci+1) > id) ri = ci;
				else li = ci;
			}
			return a[ri];
		};
		function<void(int,string)> set = [&](int id, string val) {
			int li = -1, ri = n*2-1;
			while (ri-li > 1) {
				int ci = li + (ri-li) / 2;
				if (ft.sum(0, ci+1) > id) ri = ci;
				else li = ci;
			}
			a[ri] = val;
		};
		function<void(int)> del = [&](int id) {
			int li = -1, ri = n*2-1;
			while (ri-li > 1) {
				int ci = li + (ri-li) / 2;
				if (ft.sum(0, ci+1) > id) ri = ci;
				else li = ci;
			}
			a[ri] = "";
			ft.add(ri, -1);
		};
		string res;
		rep(i, n-1) {
			string lval = get(s[i]*2), cval = get(s[i]*2+1), rval = get(s[i]*2+2);
			int oid = find(all(ops), cval) - ops.begin(), vid = (lval == "True" ? 2 : 0) + (rval == "True" ? 1 : 0);
			string bval = bins[results[oid][vid]];
			set(s[i]*2, bval);
			del(s[i]*2+2);
			del(s[i]*2+1);
			if (i == n-2) res = bval;
		}
		cout << res << endl;
	}
	return 0;
}
0