結果

問題 No.1688 Veterinarian
ユーザー miscalcmiscalc
提出日時 2021-09-24 22:06:47
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 249 ms / 3,000 ms
コード長 2,199 bytes
コンパイル時間 2,295 ms
コンパイル使用メモリ 207,424 KB
最終ジャッジ日時 2025-01-24 17:19:14
ジャッジサーバーID
（参考情報） 		judge4 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 14
権限があれば一括ダウンロードができます

ソースコード

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