結果

問題 No.733 分身並列コーディング
ユーザー convexineqconvexineq
提出日時 2021-03-17 19:53:41
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 238 ms / 1,500 ms
コード長 751 bytes
コンパイル時間 144 ms
コンパイル使用メモリ 82,320 KB
実行使用メモリ 83,356 KB
最終ジャッジ日時 2024-11-15 14:09:03
合計ジャッジ時間 4,985 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 46
権限があれば一括ダウンロードができます

ソースコード

diff # 

def zeta_to_high(res,n):
    for i in range(n):
        i = 1<<i
        for j in range(1<<n):
            if j&i: res[j] += res[j^i]

def mobius_to_high(res,n):
    for i in range(n):
        i = 1<<i
        for j in range(1<<n):
            if j&i: res[j] -= res[j^i]

T,n,*a = map(int,open(0).read().split())
N = 1<<n
lst = [0]*N
for i in range(n):
    for j in range(1<<i):
        lst[j+(1<<i)] = lst[j] + a[i]
for i in range(N):
    lst[i] = int(lst[i] <= T)

if lst[-1]==1:
    print(1)
    exit()

MOD = 10**9+7
ans = 1
zeta_to_high(lst,n)
res = lst[:] 
while True:
    ans += 1
    for i in range(N):
        res[i] *= lst[i]
        res[i] %= MOD
    after = res[:]
    mobius_to_high(after,n)
    if after[-1]%MOD:
        break
print(ans)
0