結果
| 問題 | No.2927 Reverse Polish  Equation | 
| コンテスト | |
| ユーザー |  Tatsu_mr | 
| 提出日時 | 2024-10-23 13:05:58 | 
| 言語 | C++23 (gcc 13.3.0 + boost 1.87.0) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 392 ms / 2,000 ms | 
| コード長 | 1,407 bytes | 
| コンパイル時間 | 3,526 ms | 
| コンパイル使用メモリ | 250,448 KB | 
| 実行使用メモリ | 11,448 KB | 
| 最終ジャッジ日時 | 2024-10-23 13:06:10 | 
| 合計ジャッジ時間 | 10,785 ms | 
| ジャッジサーバーID (参考情報) | judge2 / judge3 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 43 | 
ソースコード
#include <bits/stdc++.h>
#define For(i, a, b) for(long long i = a; i < b; i++)
#define rep(i, n) For(i, 0, n)
#define rFor(i, a, b) for(long long i = a; i >= b; i--)
#define ALL(v) (v).begin(), (v).end()
#define rALL(v) (v).rbegin(), (v).rend()
using namespace std;
using lint = long long;
using ld = long double;
int INF = 2000000000;
lint LINF = 1000000000000000000;
int main() {
    int q;
    lint y;
    cin >> q >> y;
    vector<string> s(q);
    rep(i, q) {
        cin >> s[i];
    }
    auto f = [&](lint x) {
        vector<lint> a;
        rep(i, q) {
            int sz = a.size();
            if (s[i] == "+") {
                a[sz - 2] = min(LINF, a[sz - 2] + a[sz - 1]);
                a.pop_back();
            } else if (s[i] == "max") {
                a[sz - 2] = max(a[sz - 2], a[sz - 1]);
                a.pop_back();
            } else if (s[i] == "min") {
                a[sz - 2] = min(a[sz - 2], a[sz - 1]);
                a.pop_back();
            } else {
                a.emplace_back(s[i] == "X" ? x : stoll(s[i]));
            }
        }
        return a[0];
    };
    if (f(0LL) == y) {
        cout << 0 << endl;
        return 0;
    }
    lint l = 0, r = LINF;
    while (r - l > 1) {
        lint mid = (l + r) / 2;
        if (f(mid) >= y) {
            r = mid;
        } else {
            l = mid;
        }
    }
    cout << (f(r) == y ? r : -1) << endl;
}
            
            
            
        