結果

問題 No.1242 高橋君とすごろく
ユーザー buey_tbuey_t
提出日時 2023-03-25 12:12:18
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 155 ms / 2,000 ms
コード長 2,159 bytes
コンパイル時間 560 ms
コンパイル使用メモリ 81,804 KB
実行使用メモリ 89,504 KB
最終ジャッジ日時 2023-10-18 23:25:55
合計ジャッジ時間 6,336 ms
ジャッジサーバーID
（参考情報） 		judge15 / judge13
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 146 ms
89,492 KB
testcase_01 AC 144 ms
89,496 KB
testcase_02 AC 143 ms
89,500 KB
testcase_03 AC 148 ms
89,492 KB
testcase_04 AC 143 ms
89,492 KB
testcase_05 AC 143 ms
89,500 KB
testcase_06 AC 144 ms
89,496 KB
testcase_07 AC 145 ms
89,496 KB
testcase_08 AC 143 ms
89,496 KB
testcase_09 AC 143 ms
89,496 KB
testcase_10 AC 129 ms
84,236 KB
testcase_11 AC 146 ms
89,504 KB
testcase_12 AC 128 ms
84,232 KB
testcase_13 AC 143 ms
89,500 KB
testcase_14 AC 133 ms
84,232 KB
testcase_15 AC 151 ms
89,496 KB
testcase_16 AC 143 ms
89,500 KB
testcase_17 AC 142 ms
89,496 KB
testcase_18 AC 143 ms
89,492 KB
testcase_19 AC 140 ms
89,496 KB
testcase_20 AC 140 ms
89,504 KB
testcase_21 AC 141 ms
89,496 KB
testcase_22 AC 144 ms
89,496 KB
testcase_23 AC 154 ms
89,476 KB
testcase_24 AC 155 ms
89,504 KB
testcase_25 AC 145 ms
89,480 KB
testcase_26 AC 129 ms
84,224 KB
testcase_27 AC 143 ms
89,492 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

def main():
    from math import sqrt,sin,cos,tan,ceil,radians,floor,gcd,exp,log,log10,log2,factorial,fsum
    from heapq import heapify, heappop, heappush
    from bisect import bisect_left, bisect_right
    from copy import deepcopy
    import copy
    import random
    from collections import deque,Counter,defaultdict
    from itertools import permutations,combinations
    from decimal import Decimal,ROUND_HALF_UP
    #tmp = Decimal(mid).quantize(Decimal('0'), rounding=ROUND_HALF_UP)
    from functools import lru_cache, reduce
    #@lru_cache(maxsize=None)
    from operator import add,sub,mul,xor,and_,or_,itemgetter
    INF = 10**18
    mod1 = 10**9+7
    mod2 = 998244353
    
    #DecimalならPython
    #再帰ならPython!!!!!!!!!!!!!!!!!!!!!!!!!!
    
    
    '''
    大丈夫なところは全部行ける
    全部行けるけど、行かなくていい場所、いってはいけない場所もある
    いや、組み合わせ的に全部行かないとダメっぽい
    いや、行かなくてよいときもあるな
    制約的には各Kにおいて結構大胆な探索ができそう
    '''
    
    N,K = map(int, input().split())
    A = list(map(int, input().split()))
    
    st = set()
    for i in range(K):
        st.add(A[i])
    
    B = []
    for i in range(K):
        if A[i] > 1<<5:
            if (A[i]+3 in st) or (A[i]+1 in st) or (A[i]+5 in st):
                print('No')
                exit()
        else:
            B.append(A[i])
    
    dp = [0]*(10**5+1)
    M = len(B)
    for i in range(M):
        dp[B[i]] = 1
    for i in reversed(range(1,10**5+1)):
        if dp[i] == 1:
            if i >= 4 and dp[i-4+3] == 1:
                dp[i-4] = 1
            if i >= 5 and dp[i-5+2] == 1:
                dp[i-5] = 1
            if i >= 6 and dp[i-6+1] == 1:
                dp[i-6] = 1
    
    if dp[1] == 1:
        print('No')
    else:
        print('Yes')
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
if __name__ == '__main__':
    main()
0