結果

問題 No.653 E869120 and Lucky Numbers
コンテスト
ユーザー tktk_snsn
提出日時 2020-12-19 00:40:20
言語 PyPy3
(8.0.0 + ACL)
コンパイル:
pypy3 -mpy_compile _filename_
実行:
pypy3 _filename_
結果
AC  
実行時間 38 ms / 2,000 ms
+ 182µs
コード長 593 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 323 ms
コンパイル使用メモリ 64,424 KB
実行使用メモリ 57,976 KB
最終ジャッジ日時 2026-10-16 15:26:38
合計ジャッジ時間 3,489 ms
ジャッジサーバーID
（参考情報） 		judge1_0 / judge5_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 32
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

def after78(p):
    if not p:
        return True
    while p:
        x = p.pop()
        if not x in "67":
            return False
    return True


def main():
    p = input()
    if len(p) == 1:
        return False

    p = list(p)
    # 一桁目は3, 4のどっちか
    if not p[-1] in "234":
        return False
    p.pop()
    while p:
        x = p.pop()
        if x == "1":
            return len(p) == 0
        if x in "78":
            return after78(p)
        if not x in "345":
            return False
    return False


if main():
    print("Yes")
else:
    print("No")
0