結果

問題 No.1196 A lazy student
ユーザー MisterMister
提出日時 2020-08-22 16:16:51
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 116 ms / 1,000 ms
コード長 2,074 bytes
コンパイル時間 967 ms
コンパイル使用メモリ 81,672 KB
実行使用メモリ 112,992 KB
最終ジャッジ日時 2024-10-15 10:21:50
合計ジャッジ時間 2,070 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,248 KB
testcase_02 AC 2 ms
5,248 KB
testcase_03 AC 2 ms
5,248 KB
testcase_04 AC 2 ms
5,248 KB
testcase_05 AC 2 ms
5,248 KB
testcase_06 AC 2 ms
5,248 KB
testcase_07 AC 2 ms
5,248 KB
testcase_08 AC 11 ms
5,248 KB
testcase_09 AC 23 ms
5,344 KB
testcase_10 AC 25 ms
5,344 KB
testcase_11 AC 24 ms
5,472 KB
testcase_12 AC 2 ms
5,248 KB
testcase_13 AC 2 ms
5,248 KB
testcase_14 AC 2 ms
5,248 KB
testcase_15 AC 116 ms
112,992 KB
testcase_16 AC 33 ms
22,372 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