結果

問題 No.2158 X日後に全完するhibit君
ユーザー KudeKude
提出日時 2022-12-09 22:56:58
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 2 ms / 2,000 ms
コード長 2,236 bytes
コンパイル時間 2,543 ms
コンパイル使用メモリ 222,760 KB
実行使用メモリ 6,944 KB
最終ジャッジ日時 2024-04-22 22:52:50
合計ジャッジ時間 3,327 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
6,812 KB
testcase_01 AC 2 ms
6,944 KB
testcase_02 AC 2 ms
6,944 KB
testcase_03 AC 2 ms
6,940 KB
testcase_04 AC 1 ms
6,944 KB
testcase_05 AC 2 ms
6,940 KB
testcase_06 AC 1 ms
6,940 KB
testcase_07 AC 2 ms
6,940 KB
testcase_08 AC 2 ms
6,940 KB
testcase_09 AC 1 ms
6,944 KB
testcase_10 AC 2 ms
6,940 KB
testcase_11 AC 1 ms
6,944 KB
testcase_12 AC 2 ms
6,940 KB
testcase_13 AC 1 ms
6,940 KB
testcase_14 AC 2 ms
6,944 KB
testcase_15 AC 2 ms
6,940 KB
testcase_16 AC 1 ms
6,940 KB
testcase_17 AC 2 ms
6,944 KB
testcase_18 AC 2 ms
6,940 KB
testcase_19 AC 2 ms
6,944 KB
testcase_20 AC 2 ms
6,940 KB
testcase_21 AC 2 ms
6,944 KB
testcase_22 AC 1 ms
6,944 KB
testcase_23 AC 2 ms
6,944 KB
testcase_24 AC 2 ms
6,944 KB
testcase_25 AC 1 ms
6,940 KB
testcase_26 AC 2 ms
6,944 KB
testcase_27 AC 1 ms
6,944 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<bits/stdc++.h>
namespace {
#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wunused-function"
#include<atcoder/all>
#pragma GCC diagnostic pop
using namespace std;
using namespace atcoder;
#define rep(i,n) for(int i = 0; i < (int)(n); i++)
#define rrep(i,n) for(int i = (int)(n) - 1; i >= 0; i--)
#define all(x) begin(x), end(x)
#define rall(x) rbegin(x), rend(x)
template<class T> bool chmax(T& a, const T& b) { if (a < b) { a = b; return true; } else return false; }
template<class T> bool chmin(T& a, const T& b) { if (b < a) { a = b; return true; } else return false; }
using ll = long long;
using P = pair<int,int>;
using VI = vector<int>;
using VVI = vector<VI>;
using VL = vector<ll>;
using VVL = vector<VL>;

double dp[5 * 5 * 5 * 5 * 5 * 5];
int dp_mx[5 * 5 * 5 * 5 * 5 * 5];

} int main() {
  ios::sync_with_stdio(false);
  cin.tie(0);
  int n, k;
  cin >> n >> k;
  VI p(n), s(n), t(n);
  rep(i, n) cin >> p[i] >> s[i] >> t[i];
  if (accumulate(all(s), 0) <= 60) {
    cout << "1 1 1\n";
    return 0;
  }
  if (accumulate(all(t), 0) > 60) {
    cout << "-1\n";
    return 0;
  }
  VI b(n);
  rep(i, n) b[i] = p[i] - k + 1;
  VI state(n);
  vector<pair<double, int>> trans;
  auto dfs = [&](auto self, int i, int idx1) -> void {
    if (i == n) {
      trans.clear();
      int tot = 0;
      double acc = 0;
      int mx = 0;
      auto dfs = [&](auto self, int i, int idx2, int time, int cnt) -> void {
        if (!cnt) return;
        if (i == n) {
          tot += cnt;
          acc += (time <= 60 ? 0 : dp[idx2]) * cnt;
          chmax(mx, time <= 60 ? 0 : dp_mx[idx2]);
          return;
        }
        idx2 *= b[i];
        self(self, i + 1, idx2 + state[i], time + t[i], cnt * (b[i] - 1 - state[i]));
        self(self, i + 1, idx2 + state[i] - 1, time + s[i], cnt * state[i]);
      };
      dfs(dfs, 0, 0, 0, 1);
      dp[idx1] = 1 + acc / tot;
      dp_mx[idx1] = 1 + mx;
      return;
    }
    idx1 *= b[i];
    for(int x = 0; x < b[i]; x++) {
      state[i] = x;
      self(self, i + 1, idx1 + x);
    }
  };
  dfs(dfs, 0, 0);
  int idx = 0;
  rep(i, n) idx = idx * b[i] + b[i] - 1;
  cout << fixed << setprecision(12) << k + 2 << ' ' << dp_mx[idx] + k << ' ' << dp[idx] + k << '\n';
}
0