結果
| 問題 | No.653 E869120 and Lucky Numbers | 
| コンテスト | |
| ユーザー |  | 
| 提出日時 | 2018-09-14 22:38:35 | 
| 言語 | C++17 (gcc 13.3.0 + boost 1.87.0) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 26 ms / 2,000 ms | 
| コード長 | 831 bytes | 
| コンパイル時間 | 1,770 ms | 
| コンパイル使用メモリ | 194,776 KB | 
| 最終ジャッジ日時 | 2025-01-06 13:23:25 | 
| ジャッジサーバーID (参考情報) | judge3 / judge4 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 31 | 
ソースコード
#include <bits/stdc++.h>
#define show(x) std::cerr << #x << " = " << x << std::endl
int main()
{
    std::string p;
    std::cin >> p, std::reverse(p.begin(), p.end());
    const int sz = p.size();
    auto in = [](const int target, const int inf, const int sup) { return inf + '0' <= target and target <= sup + '0'; };
    auto judge = [&]() {
        if (not in(p[0], 2, 4)) { return false; }
        int pos = 1;
        for (; pos < sz and in(p[pos], 3, 5); pos++) {}
        if (pos == sz) { return false; }
        if (p[pos] == '1') {
            return pos == sz - 1;
        } else if (not in(p[pos], 7, 8)) {
            return false;
        }
        pos++;
        for (; pos < sz and in(p[pos], 6, 7); pos++) {}
        return pos == sz;
    };
    std::cout << (judge() ? "Yes" : "No") << std::endl;
    return 0;
}
            
            
            
        