結果

問題 No.155 生放送とBGM
ユーザー rpy3cpprpy3cpp
提出日時 2015-06-03 22:06:03
言語 PyPy3
(7.3.13)
結果
WA  
実行時間 -
コード長 2,707 bytes
コンパイル時間 573 ms
コンパイル使用メモリ 87,228 KB
実行使用メモリ 266,924 KB
最終ジャッジ日時 2023-09-20 19:03:00
合計ジャッジ時間 8,997 ms
ジャッジサーバーID
(参考情報)
judge14 / judge15
このコードへのチャレンジ(β)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 881 ms
260,856 KB
testcase_01 AC 942 ms
261,248 KB
testcase_02 WA -
testcase_03 AC 76 ms
71,668 KB
testcase_04 WA -
testcase_05 AC 72 ms
71,276 KB
testcase_06 AC 167 ms
153,328 KB
testcase_07 WA -
testcase_08 AC 76 ms
74,908 KB
testcase_09 WA -
testcase_10 WA -
testcase_11 WA -
testcase_12 AC 86 ms
78,604 KB
testcase_13 WA -
testcase_14 AC 789 ms
266,924 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

import math
def read_data():
    N, L = map(int, input().split())
    Ss = list(input().split())
    MS = []
    for s in Ss:
        mm, ss = map(int, s.split(':'))
        MS.append(mm * 60 + ss)
    return N, L * 60, MS

def nCb(n, b):
    return math.factorial(n)//math.factorial(b)//math.factorial(n-b)

def solve(N, L, MS):
    '''
    小手先の対応では無理っぽいので、分割統治法を実装。
    また、dp の各行での計算の開始位置に加えて、終了位置も記録するようにした。
    値の書き換えを、リスト内包表記に置き換えた。
    '''
    if sum(MS) <= L:
        return N
    MS.sort(reverse=True)
    dp = [[0] * L]
    dp[0][0] = 1
    lower = [L] * (N + 1)
    upper = [0] * (N + 1)
    lower[0] = 0
    g = get_g(dp, lower, upper, MS)
    return sum(gi / nCb(N, n + 1) for n, gi in enumerate(g))

def get_g(dp, lower, upper, ms):
    '''
    引数:
      dp: 途中まで作成済みの dp table(二次元リスト)
      lower: dp の各行の0でない要素の開始位置を収めたリスト
      upper: dp の各行の0でない要素の終了位置を収めたリスト
      ms: まだ使っていない MS の部分列
    返り値:
      g: 完成した g[n] を格納した一次元リスト
    '''
    mid = len(ms) // 2
    if mid == 0:
        lmsi = max(len(dp[0]) - ms[0], 0)
        return [sum(dpi[lmsi:]) for dpi in dp]
    ms0 = ms[:mid]
    ms1 = ms[mid:]
    dp0, lower0, upper0 = extend_dp(dp, lower, upper, ms0)
    dp1, lower1, upper1 = extend_dp(dp, lower, upper, ms1)
    g0 = get_g(dp0, lower0, upper0, ms1)
    g1 = get_g(dp1, lower1, upper1, ms0)
    return [g0i + g1i for g0i, g1i in zip(g0, g1)]

def extend_dp(dp_original, lower_original, upper_original, ms):
    dp = [dpi[:] for dpi in dp_original]
    lower = lower_original[:]
    upper = upper_original[:]
    L = len(dp[0])
    for msj in ms:
        k = len(dp) - 1
        if lower[k] + msj < L:
            dp.append([0] * L)
        else:
            k-= 1
        threshold = L - msj
        for n in range(k, -1, -1):
            if lower[n] >= threshold:
                continue
            new_lower = lower[n] + msj
            if new_lower < lower[n+1]:
                lower[n+1] = new_lower
            new_upper = min(upper[n] + msj, L-1)
            if new_upper > upper[n+1]:
                upper[n+1] = new_upper
            dpn = dp[n]
            dpn_next = dp[n + 1]
            dpn_next[new_lower:new_upper+1] = [a + b for a, b in zip(dpn_next[new_lower:new_upper+1], dpn[lower[n]:upper[n]+1])]
    return dp, lower, upper

if __name__ == '__main__':
    N, L, MS = read_data()
    print(solve(N, L, MS))
0