結果
問題 | No.155 生放送とBGM |
ユーザー | rpy3cpp |
提出日時 | 2015-06-04 00:25:10 |
言語 | PyPy3 (7.3.15) |
結果 |
AC
|
実行時間 | 2,128 ms / 6,000 ms |
コード長 | 924 bytes |
コンパイル時間 | 246 ms |
コンパイル使用メモリ | 82,176 KB |
実行使用メモリ | 263,712 KB |
最終ジャッジ日時 | 2024-07-06 14:04:19 |
合計ジャッジ時間 | 6,442 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge4 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 744 ms
260,060 KB |
testcase_01 | AC | 779 ms
261,872 KB |
testcase_02 | AC | 2,128 ms
263,712 KB |
testcase_03 | AC | 35 ms
52,992 KB |
testcase_04 | AC | 117 ms
85,248 KB |
testcase_05 | AC | 36 ms
52,480 KB |
testcase_06 | AC | 119 ms
156,416 KB |
testcase_07 | AC | 41 ms
60,672 KB |
testcase_08 | AC | 37 ms
57,856 KB |
testcase_09 | AC | 47 ms
68,852 KB |
testcase_10 | AC | 37 ms
58,112 KB |
testcase_11 | AC | 45 ms
71,284 KB |
testcase_12 | AC | 49 ms
76,752 KB |
testcase_13 | AC | 39 ms
61,312 KB |
testcase_14 | AC | 648 ms
260,032 KB |
ソースコード
from itertools import zip_longest as zl from math import factorial as f N,L=map(int,input().split()) L*=60 M=[] for s in input().split(): a,b = map(int,s.split(':')) M+=[a*60+b] def G(M,dp,l,u): m=len(M)//2 if m==0: t=max(len(dp[0])-M[0],0) return [sum(d[t:]) for d in dp] A=G(M[m:],*D(M[:m],dp,l[:],u[:])) B=G(M[:m],*D(M[m:],dp,l[:],u[:])) return [a+b for a,b in zl(A,B,fillvalue=0)] def D(M,d0,l,u): dp=[d[:] for d in d0] for m in M: k=len(dp)-1 if l[k]+m<L: dp.append([0]*L) for n in range(k, -1, -1): if l[n]>=L-m: continue nl=l[n]+m l[n+1]=min(l[n+1],nl) nu=min(u[n]+m,L-1) u[n+1]=max(u[n+1],nu) dp[n+1][nl:nu+1]=[a+b for a,b in zip(dp[n+1][nl:nu+1], dp[n][l[n]:u[n]+1])] return dp, l, u if sum(M)<=L: a=N else: dp=[[0]*L] dp[0][0]=1 l=[0]+[L]*N u=[0]*(N+1) a=sum(v*f(n)*f(N-n) for n,v in enumerate(G(M,dp,l,u),1))/f(N) print(a)