結果

問題 No.58 イカサマなサイコロ
ユーザー 沙耶花沙耶花
提出日時 2021-10-21 21:17:38
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 2 ms / 5,000 ms
コード長 973 bytes
コンパイル時間 4,771 ms
コンパイル使用メモリ 264,332 KB
実行使用メモリ 4,348 KB
最終ジャッジ日時 2023-10-21 16:27:19
合計ジャッジ時間 5,054 ms
ジャッジサーバーID
（参考情報） 		judge10 / judge13
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
4,348 KB
testcase_01 AC 2 ms
4,348 KB
testcase_02 AC 2 ms
4,348 KB
testcase_03 AC 2 ms
4,348 KB
testcase_04 AC 2 ms
4,348 KB
testcase_05 AC 2 ms
4,348 KB
testcase_06 AC 2 ms
4,348 KB
testcase_07 AC 2 ms
4,348 KB
testcase_08 AC 2 ms
4,348 KB
testcase_09 AC 2 ms
4,348 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <stdio.h>
#include <bits/stdc++.h>
#include <atcoder/all>
using namespace atcoder;
using mint = modint998244353;
using namespace std;
#define rep(i,n) for (int i = 0; i < (n); ++i)
#define Inf 1000000

int main(){
	
	int n,K;
	cin>>n>>K;
	
	vector<double> dp0(6*n+1,0.0);
	dp0[0] = 1.0;
	
	rep(i,n){
		vector<double> ndp(6*n+1,0.0);
		rep(j,6*n+1){
			for(int k=1;k<=6;k++){
				if(j+k<=6*n){
					ndp[j+k] += dp0[j] / 6.0;
				}
			}
		}
		swap(dp0,ndp);
	}
	
	vector<double> dp1(6*n+1,0.0);
	dp1[0] = 1.0;
	
	rep(i,n){
		vector<double> ndp(6*n+1,0.0);
		rep(j,6*n+1){
			if(i>=K){
				for(int k=1;k<=6;k++){
					if(j+k<=6*n){
						ndp[j+k] += dp1[j] / 6.0;
					}
				}
			}
			else{
				for(int k=4;k<=6;k++){
					if(j+k<=6*n){
						ndp[j+k] += dp1[j] / 3.0;
					}
				}
			}
		}
		swap(dp1,ndp);
	}
	double ans = 0.0;
	rep(i,6*n+1){
		for(int j=i+1;j<=6*n;j++){
			ans += dp0[i] * dp1[j];
		}
	}
	
	cout<<fixed<<setprecision(10)<<ans<<endl;
	
	return 0;
}
0