結果

問題 No.733 分身並列コーディング
ユーザー mkawa2
提出日時 2021-01-28 16:28:59
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 381 ms / 1,500 ms
コード長 1,293 bytes
コンパイル時間 331 ms
コンパイル使用メモリ 82,856 KB
実行使用メモリ 101,956 KB
最終ジャッジ日時 2024-06-26 00:36:18
合計ジャッジ時間 11,976 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 46
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sys

sys.setrecursionlimit(10**6)
int1 = lambda x: int(x)-1
p2D = lambda x: print(*x, sep="\n")
def II(): return int(sys.stdin.buffer.readline())
def MI(): return map(int, sys.stdin.buffer.readline().split())
def MI1(): return map(int1, sys.stdin.buffer.readline().split())
def LI(): return list(map(int, sys.stdin.buffer.readline().split()))
def LI1(): return list(map(int1, sys.stdin.buffer.readline().split()))
def LLI(rows_number): return [LI() for _ in range(rows_number)]
def BI(): return sys.stdin.buffer.readline().rstrip()
def SI(): return sys.stdin.buffer.readline().rstrip().decode()
dij = [(0, 1), (-1, 0), (0, -1), (1, 0)]
inf = 10**16
md = 998244353
# md = 10**9+7

s = II()
n = II()
tt = [II() for _ in range(n)]

def ok(m):
    dp = [(-1, -1) for _ in range(1 << n)]
    dp[0] = (m, 0)

    def chmax(i, val):
        if val > dp[i]: dp[i] = val

    for bit in range(1 << n):
        pp, pt = dp[bit]
        if pp == -1: continue
        for i in range(n):
            if bit >> i & 1: continue
            if tt[i] <= pt:
                chmax(bit | 1 << i, (pp, pt-tt[i]))
            elif pp:
                chmax(bit | 1 << i, (pp-1, s-tt[i]))

    return dp[-1]!=(-1,-1)

l, r = 0, n
while l+1 < r:
    m = (l+r)//2
    if ok(m): r = m
    else: l = m

print(r)
0