結果
| 問題 |
No.58 イカサマなサイコロ
|
| コンテスト | |
| ユーザー |
Tatsu_mr
|
| 提出日時 | 2024-10-08 20:26:16 |
| 言語 | C++23 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
WA
|
| 実行時間 | - |
| コード長 | 1,682 bytes |
| コンパイル時間 | 3,661 ms |
| コンパイル使用メモリ | 253,016 KB |
| 実行使用メモリ | 5,248 KB |
| 最終ジャッジ日時 | 2024-10-08 20:26:20 |
| 合計ジャッジ時間 | 4,096 ms |
|
ジャッジサーバーID (参考情報) |
judge2 / judge1 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 3 WA * 7 |
ソースコード
#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<vector<lint>>> dp1(n + 1, vector<vector<lint>>(K + 1, vector<lint>(70)));
dp1[0][0][0] = 1;
for (int i = 1; i <= n; i++) {
for (int j = 0; j <= K; j++) {
for (int k = 0; k < 70; k++) {
if (i < j) {
continue;
}
for (int l = 1; l <= 6; l++) {
if (k - l >= 0) {
dp1[i][j][k] += dp1[i - 1][j][k - l];
}
}
if (j > 0) {
for (int l = 4; l <= 6; l++) {
if (k - l >= 0) {
dp1[i][j][k] += dp1[i - 1][j - 1][k - l];
}
}
}
}
}
}
vector<vector<lint>> dp2(n + 1, vector<lint>(70));
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 * 2LL);
lint cnt = 0;
for (int taro = 0; taro < 70; taro++) {
for (int jiro = 0; jiro < taro; jiro++) {
cnt += dp1[n][K][taro] * dp2[n][jiro];
}
}
ld ans = (ld)cnt / (ld)all;
cout << fixed << setprecision(10) << ans << endl;
}
Tatsu_mr