結果

問題 No.574 正多面体サイコロ
ユーザー firiexp
提出日時 2019-11-26 11:42:57
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
CE  
(最新)
AC  
(最初)
実行時間 -
コード長 1,108 bytes
コンパイル時間 651 ms
コンパイル使用メモリ 85,464 KB
最終ジャッジ日時 2025-01-27 16:52:59
合計ジャッジ時間 1,297 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge1
このコードへのチャレンジ
（要ログイン）
コンパイルエラー時のメッセージ・ソースコードは、提出者また管理者しか表示できないようにしております。（リジャッジ後のコンパイルエラーは公開されます）
ただし、clay言語の場合は開発者のデバッグのため、公開されます。

コンパイルメッセージ
main.cpp:15:13: error: ‘uint32_t’ does not name a type
   15 | using u32 = uint32_t;
      |             ^~~~~~~~
main.cpp:12:1: note: ‘uint32_t’ is defined in header ‘<cstdint>’; did you forget to ‘#include <cstdint>’?
   11 | #include <cmath>
  +++ |+#include <cstdint>
   12 |

ソースコード

diff #
プレゼンテーションモードにする

#include <limits>
#include <iostream>
#include <algorithm>
#include <iomanip>
#include <map>
#include <set>
#include <queue>
#include <stack>
#include <numeric>
#include <bitset>
#include <cmath>
static const int MOD = 1000000007;
using ll = long long;
using u32 = uint32_t;
using namespace std;
template<class T> constexpr T INF = ::numeric_limits<T>::max() / 32 * 15 + 208;
int main() {
    int f, n, k;
    cin >> f >> n >> k;
    k = n-k+1;
    double ans = 0;
    vector<double> logfact(n+1);
    for (int i = 0; i < n; ++i) {
        logfact[i+1] = logfact[i] + log(i+1);
    }
    auto F = [&](double i, double j) {
        if(j == 0) return 0.0;
        if(j == f) return 1.0;
        return exp(logfact[n]-logfact[i]-logfact[n-i] + i * log(1.0*j/f) + (n-i) * log(1.0 * (f-j)/f));
    };
    vector<double> dp(f+1, 1);
    for (int j = 0; j < f; ++j) {
        double a = 0;
        for (int i = k; i <= n; ++i) {
            a += F(i, j);
        }
        dp[j] = a;
    }
    for (int j = 0; j < f; ++j) {
        ans += (dp[j+1]-dp[j])*(j+1);
    }
    printf("%.10lf\n", ans);
    return 0;
}
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0