結果

問題 No.1242 高橋君とすごろく
ユーザー risujirohrisujiroh
提出日時 2020-10-02 22:35:12
言語 C++17
(gcc 13.2.0 + boost 1.83.0)
結果
AC  
実行時間 3 ms / 2,000 ms
コード長 2,267 bytes
コンパイル時間 5,612 ms
コンパイル使用メモリ 381,060 KB
実行使用メモリ 4,376 KB
最終ジャッジ日時 2023-09-27 08:42:11
合計ジャッジ時間 4,935 ms
ジャッジサーバーID
（参考情報） 		judge11 / judge13
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
4,356 KB
testcase_01 AC 1 ms
4,352 KB
testcase_02 AC 2 ms
4,352 KB
testcase_03 AC 2 ms
4,356 KB
testcase_04 AC 2 ms
4,356 KB
testcase_05 AC 2 ms
4,352 KB
testcase_06 AC 2 ms
4,356 KB
testcase_07 AC 2 ms
4,376 KB
testcase_08 AC 2 ms
4,356 KB
testcase_09 AC 2 ms
4,356 KB
testcase_10 AC 2 ms
4,352 KB
testcase_11 AC 2 ms
4,356 KB
testcase_12 AC 2 ms
4,356 KB
testcase_13 AC 2 ms
4,360 KB
testcase_14 AC 2 ms
4,356 KB
testcase_15 AC 2 ms
4,360 KB
testcase_16 AC 2 ms
4,356 KB
testcase_17 AC 2 ms
4,356 KB
testcase_18 AC 2 ms
4,356 KB
testcase_19 AC 2 ms
4,356 KB
testcase_20 AC 3 ms
4,356 KB
testcase_21 AC 2 ms
4,352 KB
testcase_22 AC 2 ms
4,356 KB
testcase_23 AC 2 ms
4,352 KB
testcase_24 AC 2 ms
4,360 KB
testcase_25 AC 3 ms
4,356 KB
testcase_26 AC 2 ms
4,352 KB
testcase_27 AC 2 ms
4,356 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

// #pragma GCC optimize("Ofast")
// #pragma GCC target("avx2,bmi,bmi2,lzcnt")
// #define NDEBUG

#include <bits/extc++.h>
#include <x86intrin.h>

struct rep {
  struct iter {
    int i;
    constexpr void operator++() { ++i; }
    constexpr int operator*() const { return i; }
    friend constexpr bool operator!=(iter a, iter b) { return *a != *b; }
  };
  const int l, r;
  constexpr rep(int _l, int _r) : l(std::min(_l, _r)), r(_r) {}
  constexpr rep(int n) : rep(0, n) {}
  constexpr iter begin() const { return {l}; }
  constexpr iter end() const { return {r}; }
};
struct per {
  struct iter {
    int i;
    constexpr void operator++() { --i; }
    constexpr int operator*() const { return i; }
    friend constexpr bool operator!=(iter a, iter b) { return *a != *b; }
  };
  const int l, r;
  constexpr per(int _l, int _r) : l(std::min(_l, _r)), r(_r) {}
  constexpr per(int n) : per(0, n) {}
  constexpr iter begin() const { return {r - 1}; }
  constexpr iter end() const { return {l - 1}; }
};
template <class T, class U>
constexpr bool chmin(T& a, U&& b) {
  return b < a ? a = std::forward<U>(b), true : false;
}
template <class T, class U>
constexpr bool chmax(T& a, U&& b) {
  return a < b ? a = std::forward<U>(b), true : false;
}

template <class F>
struct y_combinator : private F {
  y_combinator(F f) : F(f) {}
  template <class... Args>
  decltype(auto) operator()(Args&&... args) const {
    return F::operator()(*this, std::forward<Args>(args)...);
  }
};

int main() {
  using namespace std;
  cin.tie(nullptr)->sync_with_stdio(false);
  int64_t n;
  int k;
  cin >> n >> k;
  vector<int64_t> a(k);
  for (auto&& e : a) cin >> e;

  map<int64_t, bool> mp;
  auto ok = y_combinator([&](auto&& self, auto s) -> bool {
    auto it = lower_bound(begin(a), end(a), s);
    if (it == end(a)) return true;
    if (mp.count(s)) return mp[s];
    if (*it - s < 20) {
      if (*it == s) return false;
      for (int x : rep(1, 4))
        if (not self(s + x) and not self(s + (7 - x))) return mp[s] = false;
      return mp[s] = true;
    } else {
      auto d = ((*it - s) / 6 - 1) * 6;
      return mp[s] = self(s + d);
    }
  })(1);

  cout << (ok ? "Yes\n" : "No\n");
}
0