結果

問題 No.1861 Required Number
コンテスト
ユーザー puzneko
提出日時 2022-04-07 22:04:24
言語 PyPy3
(8.0.0 + ACL)
コンパイル:
pypy3 -mpy_compile _filename_
実行:
pypy3 _filename_
結果
AC  
実行時間 46 ms / 2,500 ms
+ 753µs
コード長 566 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 83 ms
コンパイル使用メモリ 64,540 KB
実行使用メモリ 62,316 KB
最終ジャッジ日時 2026-10-17 11:30:26
合計ジャッジ時間 7,057 ms
ジャッジサーバーID
(参考情報)
judge1_0 / judge4_0
外部呼び出し有り
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 3
other AC * 43 MLE * 2 -- * 2
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code

from sys import stdin
n, m, *a = map(int, stdin.read().split())
maxbit = (1<<(m+1)) - 1

dp = [0 for i in range(n+1)]
dp[0] = 1
for i in range(n):
    dp[i+1] = (dp[i] | (dp[i] << a[i])) & maxbit

if dp[n] & (1<<m):
    ans = 0
else:
    print("{}".format(-1))
    exit()
ans = 0

dp2 = [0 for i in range(n+1)]
dp2[n] = 1<<m
for i in reversed(range(n)):
    if dp[i] & dp2[i+1]:
        ans += 0
    else:
        if (dp[i] << a[i]) & dp2[i+1] == dp2[i+1]:
            ans += 1
    dp2[i] = (dp[i] & dp2[i+1]) | (dp[i] & (dp2[i+1] >> a[i]))

print("{}".format(ans))
0