結果

問題 No.2158 X日後に全完するhibit君
ユーザー KowerKoint2010KowerKoint2010
提出日時 2022-12-01 21:07:45
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 137 ms / 2,000 ms
コード長 2,289 bytes
コンパイル時間 2,072 ms
コンパイル使用メモリ 207,608 KB
実行使用メモリ 5,248 KB
最終ジャッジ日時 2024-10-09 01:31:30
合計ジャッジ時間 3,522 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 1 ms
5,248 KB
testcase_02 AC 137 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 92 ms
5,248 KB
testcase_07 AC 2 ms
5,248 KB
testcase_08 AC 6 ms
5,248 KB
testcase_09 AC 3 ms
5,248 KB
testcase_10 AC 1 ms
5,248 KB
testcase_11 AC 11 ms
5,248 KB
testcase_12 AC 2 ms
5,248 KB
testcase_13 AC 2 ms
5,248 KB
testcase_14 AC 7 ms
5,248 KB
testcase_15 AC 2 ms
5,248 KB
testcase_16 AC 2 ms
5,248 KB
testcase_17 AC 2 ms
5,248 KB
testcase_18 AC 2 ms
5,248 KB
testcase_19 AC 6 ms
5,248 KB
testcase_20 AC 1 ms
5,248 KB
testcase_21 AC 2 ms
5,248 KB
testcase_22 AC 2 ms
5,248 KB
testcase_23 AC 1 ms
5,248 KB
testcase_24 AC 103 ms
5,248 KB
testcase_25 AC 2 ms
5,248 KB
testcase_26 AC 115 ms
5,248 KB
testcase_27 AC 2 ms
5,248 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;
using f128 = __float128;

int main() {
    int n, k; cin >> n >> k;
    vector<int> p(n), s(n), t(n);
    for(int i = 0; i < n; i++) cin >> p[i] >> s[i] >> t[i];
    vector<int> prodp(n+1);
    prodp[0] = 1;
    for(int i = 0; i < n; i++) prodp[i+1] = prodp[i] * (p[i] + 1);
    auto idx_encode = [&](vector<int> data) {
        int idx = 0;
        for(int i = 0; i < n; i++) {
            idx *= p[i] + 1;
            idx += data[i];
        }
        return idx;
    };
    auto idx_decode = [&](int idx) {
        vector<int> data(n);
        for(int i = n-1; i >= 0; i--) {
            data[i] = idx % (p[i] + 1);
            idx /= p[i] + 1;
        }
        return data;
    };
    bool winable = false;
    vector<int> win(1<<n);
    for(int i = 0; i < 1 << n; i++) {
        int tmp = 0;
        for(int j = 0; j < n; j++) {
            if(i >> j & 1) tmp += t[j];
            else tmp += s[j];
        }
        if(tmp <= 60) {
            win[i] = 1;
            winable = true;
        }
    }
    if(!winable) {
        cout << "-1\n";
        return 0;
    }
    vector<int> mx(prodp[n]), mn(prodp[n], 1e9);
    vector<f128> ex(prodp[n]);
    for(int i = (prodp[n])-1; i >= 0; i--) {
        vector<int> data = idx_decode(i);
        int numcases = 0;
        f128 sumsteps = 0;
        for(int j = 0; j < 1<<n; j++) {
            int cases = 1;
            vector<int> ndata = data;
            for(int l = 0; l < n; l++) {
                if(j >> l & 1) cases *= max(0, data[l] - k);
                else {
                    cases *= p[l] - data[l];
                    ndata[l]++;
                }
            }
            if(cases == 0) continue;
            int ni = idx_encode(ndata);
            numcases += cases;
            sumsteps += cases;
            if(win[j]) {
                mn[i] = min(mn[i], 1);
                mx[i] = max(mx[i], 1);
            } else {
                assert(ni > i);
                sumsteps += cases * ex[ni];
                mn[i] = min(mn[i], mn[ni] + 1);
                mx[i] = max(mx[i], mx[ni] + 1);
            }
        }
        ex[i] = sumsteps / numcases;
    }
    cout << fixed << setprecision(20);
    cout << mn[0] << " " << mx[0] << " " << (double)ex[0] << '\n';
}
0