結果

問題 No.1242 高橋君とすごろく
コンテスト
ユーザー ああ
提出日時 2026-05-16 14:37:00
言語 PyPy3
(7.3.17)
コンパイル:
pypy3 -mpy_compile _filename_
実行:
pypy3 _filename_
結果
WA  
実行時間 -
コード長 442 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 268 ms
コンパイル使用メモリ 85,120 KB
実行使用メモリ 52,608 KB
最終ジャッジ日時 2026-05-16 14:37:09
合計ジャッジ時間 2,260 ms
ジャッジサーバーID
（参考情報） 		judge2_0 / judge1_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 23 WA * 1
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

n,k=map(int,input().split())
a=list(map(int,input().split()))
s=set(a)
m=min(n,1000)
dp=[1]*(m+1)
for i in a:
    if i>m:
        if i-1 in s or i-3 in s:
            print("No");exit()
    else:
        dp[i]=0
for i in range(m,-1,-1):
    if dp[i]==0:
        continue
    if (i+6>m or dp[i+1] or dp[i+6]) and (i+5>m or dp[i+2] or dp[i+5]) and\
    (i+4>m or dp[i+3] or dp[i+4]):
        continue
    dp[i]=0
print("Yes" if dp[1] else "No")
0