結果

問題 No.2283 Prohibit Three Consecutive
ユーザー simansiman
提出日時 2023-05-01 15:32:47
言語 C++17(clang)
(17.0.6 + boost 1.83.0)
結果
AC  
実行時間 39 ms / 2,000 ms
コード長 2,207 bytes
コンパイル時間 1,335 ms
コンパイル使用メモリ 141,120 KB
実行使用メモリ 6,944 KB
最終ジャッジ日時 2024-04-30 17:26:07
合計ジャッジ時間 2,409 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,812 KB
testcase_01 AC 1 ms
6,944 KB
testcase_02 AC 1 ms
6,940 KB
testcase_03 AC 5 ms
6,944 KB
testcase_04 AC 5 ms
6,940 KB
testcase_05 AC 20 ms
6,940 KB
testcase_06 AC 20 ms
6,940 KB
testcase_07 AC 2 ms
6,944 KB
testcase_08 AC 5 ms
6,944 KB
testcase_09 AC 4 ms
6,944 KB
testcase_10 AC 4 ms
6,940 KB
testcase_11 AC 4 ms
6,940 KB
testcase_12 AC 18 ms
6,940 KB
testcase_13 AC 39 ms
6,940 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <cassert>
#include <cmath>
#include <algorithm>
#include <iostream>
#include <iomanip>
#include <climits>
#include <map>
#include <queue>
#include <set>
#include <cstring>
#include <vector>

using namespace std;
typedef long long ll;

bool solver(int f, int N, string S) {
  if (f >> 1 & 1) {
    S[0] = '1';
    S.append("1");
  } else {
    S[0] = '0';
    S.append("0");
  }
  if (f >> 0 & 1) {
    S[1] = '1';
    S.append("1");
  } else {
    S[1] = '0';
    S.append("0");
  }

  bool is_valid[N + 2][4];
  memset(is_valid, false, sizeof(is_valid));

  is_valid[1][f] = true;

  for (int i = 2; i < N + 2; ++i) {
    for (int mask = 0; mask < 4; ++mask) {
      if (not is_valid[i - 1][mask]) continue;

      switch(mask) {
        case 0:
          if (S[i] == '1' || S[i] == '?') {
            is_valid[i][1] = true;
          }
          break;
        case 1:
          if (S[i] == '0' || S[i] == '?') {
            is_valid[i][2] = true;
          }
          if (S[i] == '1' || S[i] == '?') {
            is_valid[i][3] = true;
          }
          break;
        case 2:
          if (S[i] == '0' || S[i] == '?') {
            is_valid[i][0] = true;
          }
          if (S[i] == '1' || S[i] == '?') {
            is_valid[i][1] = true;
          }
          break;
        case 3:
          if (S[i] == '0' || S[i] == '?') {
            is_valid[i][2] = true;
          }
          break;
      }
    }

    bool valid = false;
    for (int mask = 0; mask < 4; ++mask) {
      valid |= is_valid[i][mask];
    }
    if (not valid) {
      return false;
    }
  }

  return true;
}

int main() {
  int T;
  cin >> T;

  for (int t = 0; t < T; ++t) {
    int N;
    string S;

    cin >> N;
    cin >> S;

    bool res = false;

    for (int mask = 0; mask < 4; ++mask) {
      bool ok = true;

      for (int i = 0; i < 2; ++i ){
        if (mask >> i & 1) {
          ok &= (S[1 - i] == '1' || S[1 - i] == '?');
        } else { 
          ok &= (S[1 - i] == '0' || S[1 - i] == '?');
        }
      }

      if (ok) {
        res |= solver(mask, N, S);
      }
    }

    if (res) {
      cout << "Yes" << endl;
    } else {
      cout << "No" << endl;
    }
  }

  return 0;
}
0