結果

問題 No.1196 A lazy student
ユーザー MisterMister
提出日時 2020-08-22 16:16:51
言語 C++17
(gcc 13.2.0 + boost 1.83.0)
結果
AC  
実行時間 85 ms / 1,000 ms
コード長 2,074 bytes
コンパイル時間 1,005 ms
コンパイル使用メモリ 84,412 KB
実行使用メモリ 89,956 KB
最終ジャッジ日時 2024-04-23 10:28:30
合計ジャッジ時間 2,023 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,816 KB
testcase_01 AC 2 ms
6,940 KB
testcase_02 AC 2 ms
6,944 KB
testcase_03 AC 2 ms
6,940 KB
testcase_04 AC 2 ms
6,940 KB
testcase_05 AC 2 ms
6,940 KB
testcase_06 AC 2 ms
6,940 KB
testcase_07 AC 2 ms
6,940 KB
testcase_08 AC 8 ms
6,940 KB
testcase_09 AC 17 ms
6,940 KB
testcase_10 AC 17 ms
6,940 KB
testcase_11 AC 16 ms
6,944 KB
testcase_12 AC 2 ms
6,944 KB
testcase_13 AC 2 ms
6,940 KB
testcase_14 AC 2 ms
6,944 KB
testcase_15 AC 85 ms
89,956 KB
testcase_16 AC 24 ms
18,784 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <cmath>
#include <string>
#include <cassert>

using ldouble = long double;

struct Parser {
    std::string s;
    int n, i;
    ldouble p, q, r;

    ldouble expr() {
        // std::cerr << "expr: " << i << "\n";

        auto ret = sexpr();
        while (s.substr(i, 2) == "or") {
            i += 2;
            auto x = sexpr();

            ret = 1 - (1 - ret) * (1 - x);
            ret = ret * (1 - r) + (1 - ret) * r;
        }

        return ret;
    }

    ldouble sexpr() {
        // std::cerr << "sexpr: " << i << "\n";

        auto ret = term();
        while (s.substr(i, 3) == "and") {
            i += 3;
            auto x = term();

            ret *= x;
            ret = ret * (1 - r) + (1 - ret) * r;
        }

        return ret;
    }

    ldouble term() {
        // std::cerr << "term: " << i << "\n";

        ldouble ret;

        if (s[i] == '(') {
            ++i;
            ret = expr();

            assert(s[i] == ')');
            ++i;

        } else if (s.substr(i, 7) == "random(") {
            i += 7;
            auto x = expr();
            auto y = expr();

            assert(s[i] == ')');
            ++i;

            auto t = x * y;
            ret = t * p + (1 - t) * q;

        } else if (s.substr(i, 3) == "YES") {
            i += 3;
            ret = 1;

        } else {
            assert(s.substr(i, 2) == "NO");
            i += 2;
            ret = 0;
        }

        return ret;
    }

    ldouble exec() {
        i = 0;
        auto ret = expr();
        assert(i == n);
        return ret;
    }

    explicit Parser(const std::string& s, ldouble p, ldouble q, ldouble r)
        : s(s), n(s.length()), i(0), p(p), q(q), r(r) {}
};

void solve() {
    int n;
    ldouble p, q, r;
    std::string s;
    std::cin >> n >> p >> q >> r >> s;

    Parser parser(s, p, q, r);
    auto ans = parser.exec();

    std::cout << std::lround(std::floor(ans * 100)) << "\n";
}

int main() {
    std::cin.tie(nullptr);
    std::ios::sync_with_stdio(false);

    solve();

    return 0;
}
0