結果

問題 No.2283 Prohibit Three Consecutive
コンテスト
ユーザー Kude
提出日時 2023-04-28 21:38:29
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 23 ms / 2,000 ms
コード長 1,552 bytes
コンパイル時間 2,194 ms
コンパイル使用メモリ 216,744 KB
最終ジャッジ日時 2025-02-12 14:58:40
ジャッジサーバーID
（参考情報） 		judge3 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 1
other AC * 13
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<bits/stdc++.h>
namespace {
#pragma GCC diagnostic ignored "-Wunused-function"
#include<atcoder/all>
#pragma GCC diagnostic warning "-Wunused-function"
using namespace std;
using namespace atcoder;
#define rep(i,n) for(int i = 0; i < (int)(n); i++)
#define rrep(i,n) for(int i = (int)(n) - 1; i >= 0; i--)
#define all(x) begin(x), end(x)
#define rall(x) rbegin(x), rend(x)
template<class T> bool chmax(T& a, const T& b) { if (a < b) { a = b; return true; } else return false; }
template<class T> bool chmin(T& a, const T& b) { if (b < a) { a = b; return true; } else return false; }
using ll = long long;
using P = pair<int,int>;
using VI = vector<int>;
using VVI = vector<VI>;
using VL = vector<ll>;
using VVL = vector<VL>;

} int main() {
  ios::sync_with_stdio(false);
  cin.tie(0);
  int tt;
  cin >> tt;
  while(tt--) {
    int n;
    string s;
    cin >> n >> s;
    s += '_';
    s += '_';
    bool ok = false;
    rep(s0, 2) rep(s1, 2) {
      if (s[0] != '?' && s[0] - '0' != s0) continue;
      if (s[1] != '?' && s[1] - '0' != s1) continue;
      s[n] = '0' + s0;
      s[n + 1] = '0' + s1;
      using A = array<array<bool, 2>, 2>;
      A dp{};
      dp[s0][s1] = true;
      for(int i = 2; i < n + 2; i++) {
        A ndp{};
        rep(nc, 2) if (s[i] == '?' || s[i] - '0' == nc) {
          rep(c1, 2) rep(c2, 2) if (dp[c1][c2] && !(c1 == c2 && c2 == nc)) {
            ndp[c2][nc] = true;
          }
        }
        dp = ndp;
      }
      rep(i, 2) rep(j, 2) ok |= dp[i][j];
    }
    cout << (ok ? "Yes\n" : "No\n");
  }
}
0