結果

問題 No.2283 Prohibit Three Consecutive
コンテスト
ユーザー buey_t
提出日時 2023-04-29 11:28:08
言語 PyPy3
(7.3.15)
結果
WA  
実行時間 -
コード長 2,360 bytes
コンパイル時間 194 ms
コンパイル使用メモリ 81,864 KB
実行使用メモリ 139,128 KB
最終ジャッジ日時 2024-11-18 09:18:22
合計ジャッジ時間 4,619 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 1
other AC * 8 WA * 5
権限があれば一括ダウンロードができます

ソースコード

diff # 

from math import sqrt,sin,cos,tan,ceil,radians,floor,gcd,exp,log,log10,log2,factorial,fsum
from heapq import heapify, heappop, heappush
from bisect import bisect_left, bisect_right
from copy import deepcopy
import copy
import random
from random import randrange
from collections import deque,Counter,defaultdict
from itertools import permutations,combinations
from decimal import Decimal,ROUND_HALF_UP
#tmp = Decimal(mid).quantize(Decimal('0'), rounding=ROUND_HALF_UP)
from functools import lru_cache, reduce
#@lru_cache(maxsize=None)
from operator import add,sub,mul,xor,and_,or_,itemgetter
import sys
input = sys.stdin.readline
# .rstrip()
INF = 10**18
mod1 = 10**9+7
mod2 = 998244353

#DecimalならPython
#再帰ならPython!!!!!!!!!!!!!!!!!!!!!!!!!!


'''
dpだとは思う
直前の二個を記録すればいいかな
1周回ってきたときに、最初の?をなにで解釈したか考えないといけない
最初の?が1じゃないとダメなとき、11が後ろにあったらダメ

'''

for _ in range(int(input())):
    N = int(input())
    S = list(input().rstrip())
    
    dp = [[[0]*2 for _ in range(2)] for _ in range(N+1)]
    
    for i in range(2):
        for j in range(2):
            dp[0][i][j] = 1
    
    for i in range(1,N+1):
        if S[i-1] == '0':
            dp[i][1][0] = max(dp[i][1][0], dp[i-1][0][1], dp[i-1][1][1])
            dp[i][0][0] = max(dp[i][0][0], dp[i-1][1][0])
        elif S[i-1] == '1':
            dp[i][0][1] = max(dp[i][j][1], dp[i-1][0][0], dp[i-1][1][0])
            dp[i][1][1] = dp[i-1][0][1]
        else:
            dp[i][0][0] = max(dp[i][0][0], dp[i-1][1][0])
            dp[i][1][1] = max(dp[i][1][1], dp[i-1][0][1])
            dp[i][1][0] = max(dp[i][1][0], dp[i-1][0][1], dp[i-1][1][1])
            dp[i][0][1] = max(dp[i][0][1], dp[i-1][1][0], dp[i-1][0][0])
    
    f = 0
    if dp[N][1][1] == 1:
        if dp[2][0][0] == 1 or dp[2][0][1] == 1:
            f = 1
    if dp[N][0][0] == 1:
        if dp[2][1][1] == 1 or dp[2][1][0] == 1:
            f = 1
    if dp[N][1][0] == 1:
        if dp[2][1][1] == 1 or dp[2][1][0] == 1 or dp[2][0][1] == 1:
            f = 1
    if dp[N][0][1] == 1:
        if dp[2][0][0] == 1 or dp[2][1][0] == 1 or dp[2][0][1] == 1:
            f = 1
    
    if f:
        print('Yes')
    else:
        print('No')
0