結果
| 問題 | No.653 E869120 and Lucky Numbers | 
| コンテスト | |
| ユーザー |  | 
| 提出日時 | 2018-02-24 00:27:41 | 
| 言語 | Python3 (3.13.1 + numpy 2.2.1 + scipy 1.14.1) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 32 ms / 2,000 ms | 
| コード長 | 869 bytes | 
| コンパイル時間 | 379 ms | 
| コンパイル使用メモリ | 12,544 KB | 
| 実行使用メモリ | 10,752 KB | 
| 最終ジャッジ日時 | 2024-09-13 18:16:55 | 
| 合計ジャッジ時間 | 2,255 ms | 
| ジャッジサーバーID (参考情報) | judge5 / judge1 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 31 | 
ソースコード
import re
def main():
    """
    6 or 7 で構成されるラッキーナンバー
    下一桁: 2,3,4(6+6,6+7,7+7)
    2: (3,4,5): (2,3,4) + 繰り上げ1
    3: (3,4,5): (2,3,4) + 繰り上げ1
    最上位:    (1)    :         繰り上げ1
           or (6,7,8): (6,7) + 繰り上げ(0/1)
      66| 666| 6666
    + 66|+ 66|+  66
    ----------------
     132| 732| 6732
    """
    p = input()
    if len(p) == 1 or p[-1] not in list("234"):
        print("No")
        return
    if p[0] == "1":
        # 同じ桁の足し算
        m = re.match("^1[3-5]*[2-4]$", p)
    else:
        # 桁ずれのところは必ず繰り上がるので6はない)
        # さらに桁ずれの部分では6 or 7
        m = re.match("^[6-7]*[7-8][3-5]*[2-4]$", p)
    if m:
        print("Yes")
    else:
        print("No")
if __name__ == '__main__':
    main()
            
            
            
        