結果
問題 | No.155 生放送とBGM |
ユーザー | rpy3cpp |
提出日時 | 2015-06-04 00:40:10 |
言語 | PyPy3 (7.3.15) |
結果 |
AC
|
実行時間 | 1,903 ms / 6,000 ms |
コード長 | 943 bytes |
コンパイル時間 | 314 ms |
コンパイル使用メモリ | 81,920 KB |
実行使用メモリ | 264,084 KB |
最終ジャッジ日時 | 2024-06-06 03:09:20 |
合計ジャッジ時間 | 6,335 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge5 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 679 ms
264,084 KB |
testcase_01 | AC | 467 ms
206,336 KB |
testcase_02 | AC | 1,903 ms
263,908 KB |
testcase_03 | AC | 38 ms
52,672 KB |
testcase_04 | AC | 103 ms
80,628 KB |
testcase_05 | AC | 35 ms
52,352 KB |
testcase_06 | AC | 118 ms
154,888 KB |
testcase_07 | AC | 41 ms
59,776 KB |
testcase_08 | AC | 39 ms
58,240 KB |
testcase_09 | AC | 44 ms
64,000 KB |
testcase_10 | AC | 41 ms
58,112 KB |
testcase_11 | AC | 46 ms
65,408 KB |
testcase_12 | AC | 47 ms
68,096 KB |
testcase_13 | AC | 40 ms
59,904 KB |
testcase_14 | AC | 571 ms
249,128 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) d=dp[n+1] for t, v in enumerate(dp[n][l[n]:min(u[n]+1,L-m)],nl): if v: d[t]+=v 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) g=G(M,dp,l,u) a=sum(v*f(n)*f(N-n) for n,v in enumerate(g,1))/f(N) print(a)