結果
| 問題 | 
                            No.2283 Prohibit Three Consecutive
                             | 
                    
| コンテスト | |
| ユーザー | 
                             | 
                    
| 提出日時 | 2023-04-29 08:58:43 | 
| 言語 | PyPy3  (7.3.15)  | 
                    
| 結果 | 
                             
                                WA
                                 
                             
                            
                         | 
                    
| 実行時間 | - | 
| コード長 | 1,402 bytes | 
| コンパイル時間 | 503 ms | 
| コンパイル使用メモリ | 82,368 KB | 
| 実行使用メモリ | 81,964 KB | 
| 最終ジャッジ日時 | 2024-11-18 07:50:18 | 
| 合計ジャッジ時間 | 2,266 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge1 / judge5 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 1 | 
| other | AC * 6 WA * 7 | 
ソースコード
T = int(input())
def calc(N,S):
    t = []
    for s in S:
        if s == "?":
            t.append(2)
        else:
            t.append(int(s))
    for init in range(4):
        flag = True
        for i in range(2):
            if t[i] == 2 or t[i] == (init >> i & 1):
                pass
            else:
                flag = False
        if flag == False:
            continue
        dat = [0] * 4
        dat[init] = 1
        for j in range(2,N):
            nx = [0] * 4
            if t[j] == 2 or t[j] == 1:
                for bit in range(3):
                    nx [(bit << 1 | 1) & 3] |= dat[bit]
            if t[j] == 2 or t[j] == 0:
                for bit in range(1,4):
                    nx [bit << 1 & 3] |= dat[bit]
            dat = nx
        for bit in range(4):
            if dat[bit]:
                flag = True
                tmp = bit << 1 | (init >> 1)
                if tmp == 0 or tmp == 7:
                    flag = False
                else:
                    pass
                tmp = ((bit & 1) << 2) | init
                if tmp == 0 or tmp == 7:
                    flag = False
                else:
                    pass
                if flag:
                    #print(bit,tmp,init)
                    return True
    return False
for _ in range(T):
    N = int(input())
    S = input()
    
    print('Yes' if calc(N,S) else 'No')