結果
問題 |
No.58 イカサマなサイコロ
|
ユーザー |
![]() |
提出日時 | 2020-12-03 07:20:25 |
言語 | PyPy3 (7.3.15) |
結果 |
AC
|
実行時間 | 51 ms / 5,000 ms |
コード長 | 730 bytes |
コンパイル時間 | 421 ms |
コンパイル使用メモリ | 81,656 KB |
実行使用メモリ | 60,800 KB |
最終ジャッジ日時 | 2024-09-13 14:56:20 |
合計ジャッジ時間 | 1,647 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge4 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
other | AC * 10 |
ソースコード
# coding: utf-8 # Your code here! import sys read = sys.stdin.read readline = sys.stdin.readline n = int(readline()) k = int(readline()) M = 6*n+1 dp1 = [0]*M dp1[0] = 1 for _ in range(n): for i in range(M-7,-1,-1): for j in range(1,7): dp1[i+j] += dp1[i] dp1[i] = 0 dp2 = [0]*M dp2[0] = 1 for _ in range(n-k): for i in range(M-7,-1,-1): for j in range(1,7): dp2[i+j] += dp2[i] dp2[i] = 0 for _ in range(k): for i in range(M-7,-1,-1): for j in [4,5,6,4,5,6]: dp2[i+j] += dp2[i] dp2[i] = 0 ans = 0 for i in range(M): for j in range(i): ans += dp2[i]*dp1[j] #print(dp1,dp2,sum(dp1),sum(dp2)) print(ans/pow(36,n))