結果

問題 No.1196 A lazy student
ユーザー square1001square1001
提出日時 2020-08-22 16:51:54
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 167 ms / 1,000 ms
コード長 2,352 bytes
コンパイル時間 1,239 ms
コンパイル使用メモリ 97,704 KB
実行使用メモリ 12,952 KB
最終ジャッジ日時 2024-04-23 10:58:31
合計ジャッジ時間 2,700 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
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 3 ms
5,376 KB
testcase_05 AC 4 ms
5,376 KB
testcase_06 AC 2 ms
5,376 KB
testcase_07 AC 3 ms
5,376 KB
testcase_08 AC 61 ms
7,272 KB
testcase_09 AC 165 ms
12,772 KB
testcase_10 AC 167 ms
12,952 KB
testcase_11 AC 153 ms
12,652 KB
testcase_12 AC 2 ms
5,376 KB
testcase_13 AC 2 ms
5,376 KB
testcase_14 AC 2 ms
5,376 KB
testcase_15 AC 61 ms
5,376 KB
testcase_16 AC 123 ms
12,200 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <set>
#include <string>
#include <vector>
#include <iostream>
#include <algorithm>
#include <functional>
using namespace std;
const __uint128_t D = 1000LL << 49;
__uint128_t division(__uint128_t x) {
	if (x % (D * 1000) == 0) return x / (D * 1000);
	__uint128_t g = x / (D * 1000);
	if (g % (D / 1000) == 0) ++g;
	return g;
}
int main() {
	cin.tie(0);
	ios_base::sync_with_stdio(false);
	int N; long double sp, sq, sr; string S;
	cin >> N >> sp >> sq >> sr >> S;
	__uint128_t P = sp * 1000, Q = sq * 1000, R = sr * 1000;
	vector<int> node_pos; vector<__uint128_t> dp;
	for (int i = 0; i < N; ++i) {
		if (i <= N - 3 && S.substr(i, 3) == "YES") {
			node_pos.push_back(i);
			dp.push_back(D);
		}
		if (i <= N - 2 && S.substr(i, 2) == "NO") {
			node_pos.push_back(i);
			dp.push_back(0);
		}
	}
	vector<pair<int, int> > merger;
	int depth = 0;
	for (int i = 0; i < N; ++i) {
		if (S[i] == '(') ++depth;
		if (S[i] == ')') --depth;
		if (i <= N - 6 && S.substr(i, 6) == "random") {
			merger.push_back(make_pair(depth * 3 + 2, i));
		}
		if (i <= N - 3 && S.substr(i, 3) == "and" && (i == 0 || i > N - 5 || S.substr(i - 1, 6) != "random")) {
			merger.push_back(make_pair(depth * 3 + 1, i));
		}
		if (i <= N - 2 && S.substr(i, 2) == "or") {
			merger.push_back(make_pair(depth * 3, i));
		}
	}
	sort(merger.begin(), merger.end(), [](pair<int, int> p1, pair<int, int> p2) { return p1.first != p2.first ? p1.first > p2.first : p1.second < p2.second; });
	set<int> current;
	for (int i = 0; i < node_pos.size(); ++i) {
		current.insert(i);
	}
	for (pair<int, int> i : merger) {
		int ptr = lower_bound(node_pos.begin(), node_pos.end(), i.second) - node_pos.begin();
		set<int>::iterator it = current.lower_bound(ptr);
		if (i.first % 3 == 2) {
			// RANDOM
			int lp = *it, rp = *(++it);
			dp[lp] = division(dp[lp] * dp[rp] * P + (D * D - dp[lp] * dp[rp]) * Q);
			current.erase(rp);
		}
		if (i.first % 3 == 1) {
			// AND
			int rp = *it, lp = *(--it);
			dp[lp] = division(dp[lp] * dp[rp] * (1000 - R) + (D * D - dp[lp] * dp[rp]) * R);
			current.erase(rp);
		}
		if (i.first % 3 == 0) {
			// OR
			int rp = *it, lp = *(--it);
			dp[lp] = division((D - dp[lp]) * (D - dp[rp]) * R + (D * D - (D - dp[lp]) * (D - dp[rp])) * (1000 - R));
			current.erase(rp);
		}
	}
	__uint128_t ans = dp[0];
	cout << int(ans / (D / 100)) << endl;
	return 0;
}
0