結果

問題 No.1688 Veterinarian
ユーザー miscalcmiscalc
提出日時 2021-09-24 22:06:47
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 259 ms / 3,000 ms
コード長 2,199 bytes
コンパイル時間 2,228 ms
コンパイル使用メモリ 212,216 KB
実行使用メモリ 122,908 KB
最終ジャッジ日時 2023-09-18 21:25:10
合計ジャッジ時間 3,653 ms
ジャッジサーバーID
(参考情報)
judge14 / judge15
このコードへのチャレンジ(β)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
4,376 KB
testcase_01 AC 2 ms
4,380 KB
testcase_02 AC 1 ms
4,376 KB
testcase_03 AC 1 ms
4,376 KB
testcase_04 AC 2 ms
4,376 KB
testcase_05 AC 2 ms
4,380 KB
testcase_06 AC 3 ms
4,396 KB
testcase_07 AC 11 ms
10,412 KB
testcase_08 AC 259 ms
122,908 KB
testcase_09 AC 239 ms
113,912 KB
testcase_10 AC 23 ms
13,384 KB
testcase_11 AC 26 ms
15,500 KB
testcase_12 AC 3 ms
4,568 KB
testcase_13 AC 4 ms
4,376 KB
testcase_14 AC 5 ms
5,400 KB
testcase_15 AC 16 ms
10,756 KB
testcase_16 AC 3 ms
4,380 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

#include <bits/stdc++.h>
#include <atcoder/modint>
using namespace std;
using namespace atcoder;
using mint = modint998244353;
//using mint = modint1000000007;
using ll = long long;
using ld = long double;
using pll = pair<ll, ll>;
using tlll = tuple<ll, ll, ll>;
constexpr ll INF = 1LL << 60;
template<class T> bool chmin(T& a, T b) {if (a > b) {a = b; return true;} return false;}
template<class T> bool chmax(T& a, T b) {if (a < b) {a = b; return true;} return false;}
ll safemod(ll A, ll M) {return (A % M + M) % M;}
ll divfloor(ll A, ll B) {if (B < 0) {return divfloor(-A, -B);} return (A - safemod(A, B)) / B;}
ll divceil(ll A, ll B) {if (B < 0) {return divceil(-A, -B);} return divfloor(A + B - 1, B);}
#define FINALANS(A) do {cout << (A) << '\n'; exit(0);} while (false)

int main()
{
  ll A, B, C, N;
  cin >> A >> B >> C >> N;

  vector dp(N + 1, vector(A + 2, vector(B + 2, vector(C + 2, 0.0L))));
  dp.at(0).at(0).at(0).at(0) = 1.0L;
  for (ll i = 0; i < N; i++)
  {
    for (ll a = 0; a <= A; a++)
    {
      for (ll b = 0; b <= B; b++)
      {
        for (ll c = 0; c <= C; c++)
        {
          ld all = (A - a) + (B - b) + (C - c);
          if (all <= 1)
            continue;
          ld pa = (A - a) * (A - a - 1) / (all * (all - 1));
          ld pb = (B - b) * (B - b - 1) / (all * (all - 1));
          ld pc = (C - c) * (C - c - 1) / (all * (all - 1));
          ld pd = 1 - (pa + pb + pc);

          dp.at(i + 1).at(a + 1).at(b).at(c) += pa * dp.at(i).at(a).at(b).at(c);
          dp.at(i + 1).at(a).at(b + 1).at(c) += pb * dp.at(i).at(a).at(b).at(c);
          dp.at(i + 1).at(a).at(b).at(c + 1) += pc * dp.at(i).at(a).at(b).at(c);
          dp.at(i + 1).at(a).at(b).at(c) += pd * dp.at(i).at(a).at(b).at(c);
        }
      }
    }
  }

  ld ansa = 0, ansb = 0, ansc = 0;
  for (ll a = 0; a <= A; a++)
  {
    for (ll b = 0; b <= B; b++)
    {
      for (ll c = 0; c <= C; c++)
      {
        ld p = dp.at(N).at(a).at(b).at(c);
        ansa += p * a;
        ansb += p * b;
        ansc += p * c;

        //cerr << a << " " << b << " " << c << " " << p << endl;
      }
    }
  }
  cout << fixed << setprecision(15) << ansa << " " << ansb << " " << ansc << endl;
}
0