結果

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

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,820 KB
testcase_01 AC 491 ms
7,784 KB
testcase_02 AC 557 ms
10,708 KB
testcase_03 AC 520 ms
10,768 KB
testcase_04 AC 529 ms
11,296 KB
testcase_05 AC 525 ms
11,812 KB
testcase_06 AC 554 ms
14,488 KB
testcase_07 AC 559 ms
13,684 KB
testcase_08 AC 573 ms
15,596 KB
testcase_09 AC 570 ms
15,640 KB
testcase_10 AC 537 ms
10,980 KB
testcase_11 AC 553 ms
11,016 KB
testcase_12 AC 558 ms
10,732 KB
testcase_13 AC 552 ms
10,860 KB
testcase_14 AC 557 ms
10,920 KB
testcase_15 AC 558 ms
10,892 KB
testcase_16 AC 557 ms
10,868 KB
testcase_17 AC 561 ms
10,904 KB
testcase_18 AC 556 ms
10,840 KB
testcase_19 AC 557 ms
10,788 KB
testcase_20 AC 561 ms
10,912 KB
testcase_21 AC 605 ms
18,156 KB
testcase_22 AC 614 ms
18,056 KB
testcase_23 AC 610 ms
18,068 KB
testcase_24 AC 609 ms
18,000 KB
testcase_25 AC 611 ms
18,120 KB
testcase_26 AC 607 ms
18,080 KB
testcase_27 AC 607 ms
18,196 KB
testcase_28 AC 608 ms
18,088 KB
testcase_29 AC 605 ms
18,052 KB
testcase_30 AC 606 ms
18,040 KB
testcase_31 AC 427 ms
18,128 KB
testcase_32 AC 427 ms
18,064 KB
testcase_33 AC 429 ms
18,060 KB
testcase_34 AC 463 ms
18,008 KB
testcase_35 AC 475 ms
18,160 KB
testcase_36 AC 472 ms
18,056 KB
testcase_37 AC 28 ms
6,820 KB
testcase_38 AC 562 ms
10,924 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