結果
| 問題 |
No.58 イカサマなサイコロ
|
| コンテスト | |
| ユーザー |
Tatsu_mr
|
| 提出日時 | 2024-10-08 21:24:16 |
| 言語 | C++23 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
AC
|
| 実行時間 | 2 ms / 5,000 ms |
| コード長 | 1,486 bytes |
| コンパイル時間 | 2,768 ms |
| コンパイル使用メモリ | 250,316 KB |
| 実行使用メモリ | 5,248 KB |
| 最終ジャッジ日時 | 2024-10-08 21:24:20 |
| 合計ジャッジ時間 | 3,237 ms |
|
ジャッジサーバーID (参考情報) |
judge4 / judge5 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 10 |
ソースコード
#include <bits/stdc++.h>
#define rep(i, n) for(long long i = 0; i < n; i++)
#define ALL(v) (v).begin(), (v).end()
#define rALL(v) (v).rbegin(), (v).rend()
using namespace std;
using lint = long long;
using ld = long double;
int main() {
lint n, K;
cin >> n >> K;
vector<vector<lint>> dp1(n + 1, vector<lint>(70)), dp2(n + 1, vector<lint>(70));
dp1[0][0] = 1;
for (int i = 1; i <= n; i++) {
for (int j = 0; j < 70; j++) {
if (i <= K) {
for (int k = 4; k <= 6; k++) {
if (j - k >= 0) {
dp1[i][j] += dp1[i - 1][j - k];
}
}
} else {
for (int k = 1; k <= 6; k++) {
if (j - k >= 0) {
dp1[i][j] += dp1[i - 1][j - k];
}
}
}
}
}
dp2[0][0] = 1;
for (int i = 1; i <= n; i++) {
for (int j = 0; j < 70; j++) {
for (int k = 1; k <= 6; k++) {
if (j - k >= 0) {
dp2[i][j] += dp2[i - 1][j - k];
}
}
}
}
lint all = powl(6LL, n) * powl(3LL, K) * powl(6LL, n - K);
lint cnt = 0;
for (int taro = 0; taro < 70; taro++) {
for (int jiro = 0; jiro < taro; jiro++) {
cnt += dp1[n][taro] * dp2[n][jiro];
}
}
ld ans = (ld)cnt / (ld)all;
cout << fixed << setprecision(10) << ans << endl;
}
Tatsu_mr