結果

問題 No.2283 Prohibit Three Consecutive
ユーザー nagisa5101nagisa5101
提出日時 2023-04-28 21:56:51
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
RE  
実行時間 -
コード長 2,760 bytes
コンパイル時間 4,694 ms
コンパイル使用メモリ 273,504 KB
実行使用メモリ 61,184 KB
最終ジャッジ日時 2024-11-17 20:54:56
合計ジャッジ時間 7,173 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 RE -
testcase_02 RE -
testcase_03 WA -
testcase_04 RE -
testcase_05 RE -
testcase_06 RE -
testcase_07 WA -
testcase_08 RE -
testcase_09 AC 101 ms
61,184 KB
testcase_10 RE -
testcase_11 RE -
testcase_12 RE -
testcase_13 RE -
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
#include <atcoder/all>

#pragma GCC target("avx2")
#pragma GCC optimize("O3")
#pragma GCC optimize("unroll-loops")

using namespace std;
using namespace atcoder;

#define rep(i, n) for (int i = 0; i < (int)(n); i++)
#define repll(i, n) for (long long i = 0; i < (long long)(n); i++)
#define rep2(i, n, m) for (int i = n; i < (int)(m); i++)
#define repll2(i, n, m) for (long long i = n; i < (long long)(m); i++)
#define all(v) v.begin(),v.end()
using ll=long long;
using ld=long double;
using vi=vector<int>;
using vvi=vector<vi>;
using vvvi=vector<vvi>;
using vl=vector<ll>;
using vvl=vector<vl>;
using vvvl=vector<vvl>;
using vld=vector<ld>;
using vvld=vector<vld>;

int dx[8]={1,0,-1,0,1,1,-1,-1};
int dy[8]={0,1,0,-1,1,-1,1,-1};

const double PI = acos(-1);
//const ll MOD=1e9+7;
//const ll MOD=998244353;
const ll INF=(1LL<<60);
const int INF2=(1<<30);
//using mint=modint1000000007;
//using mint=modint998244353;

int n;
string s;

vvvi memo;

int dp(int i,int j,int k){
    if(memo[i][j][k]!=-1)return memo[i][j][k];
    if(s[i]=='0'&&j==0)return 0;
    if(s[i]=='1'&&j==3)return 0;
    //cout<<i<<" "<<j<<" "<<k<<endl;
    if(i==n-1){
        if(s[i]=='0'){
            if(k==0)return 0;
            if(j==2||k==1)return 0;
            return 1;
        }
        else if(s[i]=='1'){
            if(k==3)return 0;
            if(j==1&&k==2)return 0;
            return 1;
        }
        return 1;
    }
    int res=0;
    int r=j%2;
    if(s[i]=='0'){
        res=max(res,dp(i+1,r*2,k));
    }
    else if(s[i]=='1'){
        res=max(res,dp(i+1,r*2+1,k));
    }
    else{
        res=max(res,dp(i+1,r*2,k));
        res=max(res,dp(i+1,r*2+1,k));
    }
    memo[i][j][k]=res;
    return res;
}



void solve(){
    cin>>n>>s;
    int res=0;
    //memset(memo,-1,sizeof(memo));
    vvvi arr(n,vvi(4,vi(4,-1)));
    memo=arr;
    if(s[0]!='?'){
        int r1=s[0]-'0';
        if(s[1]!='?'){
            int r2=s[1]-'0';
            res=max(res,dp(2,2*r1+r2,2*r1+r2));
        }
        else{
            s[1]=1;
            res=max(res,dp(2,2*r1+1,2*r1+1));
            s[1]=0;
            res=max(res,dp(2,2*r1,2*r1));
            s[1]='?';
        }
    }
    else{
        rep(i,2){
            s[0]=i;
            if(s[1]=='?'){
                rep(j,2){
                    s[1]=j;
                    res=max(res,dp(2,2*i+j,2*i+j));
                }
            }
            else{
                int r1=s[0]-'0';
                int r2=s[1]-'0';
                res=max(res,dp(2,2*r1+r2,2*r1+r2));
            }
        }
    }
    if(res)cout<<"Yes"<<endl;
    else cout<<"No"<<endl;
}

int main() {
    ios::sync_with_stdio(false);
    std::cin.tie(nullptr);
    int t;cin>>t;
    while(t--)solve();
    return 0;
}
0