結果

問題 No.653 E869120 and Lucky Numbers
ユーザー convexineq
提出日時 2021-03-12 21:19:24
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 55 ms / 2,000 ms
コード長 1,288 bytes
コンパイル時間 282 ms
コンパイル使用メモリ 82,360 KB
実行使用メモリ 66,984 KB
最終ジャッジ日時 2024-09-13 18:23:17
合計ジャッジ時間 2,815 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 31
権限があれば一括ダウンロードができます

ソースコード

diff #
プレゼンテーションモードにする

def solve(p):
    def No():
        nonlocal ans
        ans = "No"
        #print("No")
        #exit()
    
    if all(ai=="6" or ai=="7" for ai in p): return "No"
    
    p = "0"+p
    c = 0
    fin = 0
    ans = "Yes"
    L = len(p)
    for j in range(L)[::-1]:
        i = int(p[j])
        if c==0:
            if i==0:
                if j == 0:
                    break
                else:
                    No()
            if i == 6 or i == 7:
                fin = 1
                c = 0
            elif i == 2 or i == 3 or i == 4:
                if fin: No()
                c = 1
            else:
                No()
        elif c==1:
            if i==1:
                if j==1:
                    c = 0
                    break
                else:
                    No()
            elif i == 7 or i == 8:
                fin = 1
                c = 0
            elif i == 3 or i == 4 or i == 5:
                if fin: No()
                c = 1
            else:
                No()
    return ans
q = [6,7]
for i in q:
    if i > 10000: break
    q += [i*10+6,i*10+7]
def guchoku(p):
    L = len(p)
    p = int(p)
    for i in q:
        for j in q:
            if i+j==p:
                return "Yes"
    return "No"
p = input()
print(solve(p))
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0