結果

問題 No.2158 X日後に全完するhibit君
ユーザー KowerKoint2010KowerKoint2010
提出日時 2022-12-01 21:04:07
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
RE  
実行時間 -
コード長 2,285 bytes
コンパイル時間 2,195 ms
コンパイル使用メモリ 209,136 KB
実行使用メモリ 6,820 KB
最終ジャッジ日時 2024-10-09 01:23:41
合計ジャッジ時間 5,134 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 RE -
testcase_01 AC 2 ms
5,248 KB
testcase_02 RE -
testcase_03 AC 2 ms
5,248 KB
testcase_04 RE -
testcase_05 AC 2 ms
5,248 KB
testcase_06 RE -
testcase_07 AC 2 ms
5,248 KB
testcase_08 RE -
testcase_09 RE -
testcase_10 AC 2 ms
5,248 KB
testcase_11 RE -
testcase_12 RE -
testcase_13 RE -
testcase_14 RE -
testcase_15 AC 2 ms
6,816 KB
testcase_16 AC 2 ms
5,248 KB
testcase_17 AC 2 ms
5,248 KB
testcase_18 RE -
testcase_19 RE -
testcase_20 RE -
testcase_21 RE -
testcase_22 RE -
testcase_23 AC 2 ms
5,248 KB
testcase_24 RE -
testcase_25 AC 2 ms
5,248 KB
testcase_26 RE -
testcase_27 AC 2 ms
6,820 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);
            assert(ni > i);
            numcases += cases;
            sumsteps += cases;
            if(win[j]) {
                mn[i] = min(mn[i], 1);
                mx[i] = max(mx[i], 1);
            } else {
                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