#P15456. [JOI 2026 SemiFinal] 奇妙な機械 / Strange Machine

[JOI 2026 SemiFinal] 奇妙な機械 / Strange Machine

Description

あなたはタイル 11 からタイル NN までの番号が付けられている NN 枚のタイルを持っている.各タイルの表面の色と裏面の色は黒色または白色である.ここで,黒色は文字 'B' で表し,白色は文字 'W' で表すことにする.タイル ii (1iN1 \le i \le N) の表面の色は,文字列 SSii 文字目で表される色である.タイル ii (1iN1 \le i \le N) の裏面の色は,文字列 TTii 文字目で表される色である.

ウズベキスタンはタイル装飾による歴史的建築で有名な国である.ウズベキスタンのモスクやマドラサを訪れたあなたはそれらの美しい建築に魅了され,タイルに関する奇妙な機械を購入した.この機械は左側と右側に台を持ち,それぞれの台に 11 枚ずつタイルを置くことで,置いた 22 枚のタイルと引き換えに新しいタイルを 11 枚受け取ることができる.左側の台に置いたタイルを aa,右側の台に置いたタイルを bb としたとき,22 枚のタイル a,ba, b と引き換えに受け取ることができる新しいタイル cc は以下の条件を満たす.

  • cc の表面の色は,aa の裏面の色と bb の表面の色が同じとき黒色であり,そうでないとき白色である.
  • cc の裏面の色は,aa の表面の色と bb の裏面の色が同じとき黒色であり,そうでないとき白色である.

あなたは NN 枚のタイルと奇妙な機械を用いて,QQ 日間にわたり次のような行動を行うことにした.jj 日目 (1jQ1 \le j \le Q) に行う行動は以下のパターン 11 かパターン 22 のいずれかである.

  • パターン 1:タイル XjX_j の表面の色を文字 YjY_j で表される色に変更する.また,タイル XjX_j の裏面の色を文字 ZjZ_j で表される色に変更する.ただし,Yj,ZjY_j, Z_j'B', 'W' のいずれかである.
  • パターン 2:タイル Lj,Lj+1,,RjL_j, L_j+1, \dots, R_j をこの順に左から右へ一列に並べる.この列に対して,以下の操作を 00 回以上 RjLjR_j - L_j 回以下の好きな回数行うことで,列の中で表面が白色であるタイルをちょうど MjM_j 枚にできるかを判定する思考実験を行う.
    • 列の中で隣り合う 22 枚のタイルを選んでそれらを列から取り除く.選んだ 22 枚のタイルのうち,列において左側に置かれていたタイルを機械の左側の台に置き,右側に置かれていたタイルを機械の右側の台に置くことで,置いた 22 枚のタイルと引き換えに新しいタイルを受け取る.そして,列の中で元々 22 枚のタイルがあった場所に,受け取った 11 枚のタイルを入れる.

タイルの情報と行動の情報が与えられたとき,パターン 22 の行動の結果を求めるプログラムを作成せよ.

Input Format

入力は以下の形式で標準入力から与えられる.

NN
SS
TT
QQ
(Query 1)
(Query 2)
\vdots
(Query QQ)

各 (Query jj) (1jQ1 \le j \le Q) にはいくつかの整数や文字が空白区切りで書かれている.そのうち最初に書かれているものは整数 1,21, 2 のいずれかであり,これを PjP_j とすると,この行の内容は以下のいずれかである.

  • Pj=1P_j = 1 のとき,この行には続いて 11 個の整数 XjX_j22 個の文字 Yj,ZjY_j, Z_j がこの順に書かれている.これはあなたが jj 日目に取る行動がパターン 11 であり,タイル XjX_j の表面の色を文字 YjY_j で表される色に変更し,タイル XjX_j の裏面の色を文字 ZjZ_j で表される色に変更することを表す.ただし,Yj,ZjY_j, Z_jB, W のいずれかである.
  • Pj=2P_j = 2 のとき,この行には続いて 33 個の整数 Lj,Rj,MjL_j, R_j, M_j がこの順に書かれている.これはあなたが jj 日目に取る行動がパターン 22 であり,タイル Lj,Lj+1,,RjL_j, L_j+1, \dots, R_j をこの順に左から右へ一列に並べ,この列に対して操作を行い,列の中で表面が白色であるタイルをちょうど MjM_j 枚にすることができるかを判定する思考実験を行うことを表す.

Output Format

Pj=2P_j = 2 となる jj (1jQ1 \le j \le Q) それぞれに対して,列の中で表面が白色であるタイルをちょうど MjM_j 枚にすることができるとき Yes を,そうでないとき No を,jj の昇順に改行区切りで出力せよ.

4
WBWB
BWBB
5
2 3 4 1
2 1 2 0
1 3 B B
2 3 4 2
2 2 4 1
Yes
Yes
No
Yes
6
BWBWWB
WBWBBB
8
2 1 3 2
2 2 6 0
2 1 5 3
2 3 3 0
2 3 4 1
2 5 6 2
2 2 6 4
2 1 4 2
No
Yes
Yes
Yes
Yes
No
No
Yes

Hint

Sample Explanation 1

1 日目の行動について,タイル 3,43,4 をこの順に左から右へ一列に並べる.操作を1回も行わない場合,タイル 33 のみ表面が白色であるため,列の中で表面が白色であるタイルをちょうど 11 枚にすることができる.したがって,Yes を出力する.

2 日目の行動について,タイル 1,21,2 をこの順に左から右へ一列に並べる.タイル 11 とタイル 22 を選んで操作を1回行う場合,操作した後の列は1枚のタイルを含む.このタイルの表面と裏面は共に黒色であるため,列の中で表面が白色であるタイルをちょうど 00 枚にすることができる.したがって,Yes を出力する.

3 日目の行動について,タイル 33 の表面の色と裏面の色を共に黒色に変更する.

4 日目の行動について,タイル 3,43,4 をこの順に左から右へ一列に並べる.操作によって,列の中で表面が白色であるタイルをちょうど 22 枚にすることができないことが証明できる.したがって,No を出力する.

5 日目の行動について,タイル 2,3,42,3,4 をこの順に左から右へ一列に並べる.タイル 33 とタイル 44 を選んで操作を1回行う場合,操作した後の列は2枚のタイルを含む.左側にあるタイルはタイル 22 であり,右側にあるタイルの表面と裏面は共に黒色である.この2枚のタイルを選んでさらに操作を1回行う場合,操作した後の列は1枚のタイルを含む.このタイルの表面は白色で,裏面は黒色であるため,列の中で表面が白色であるタイルをちょうど 11 枚にすることができる.したがって,Yes を出力する.

この入力例は小課題 1,5,6,71,5,6,7 の制約を満たす.

制約

  • 1N3000001 \le N \le 300\,000
  • SSB, W からなる長さ NN の文字列である.
  • TTB, W からなる長さ NN の文字列である.
  • 1Q3000001 \le Q \le 300\,000
  • PjP_j1,21, 2 のいずれかである (1jQ1 \le j \le Q).
  • Pj=1P_j = 1 のとき,1XjN1 \le X_j \le N (1jQ1 \le j \le Q).
  • Pj=1P_j = 1 のとき,YjY_j'B', 'W' のいずれかである (1jQ1 \le j \le Q).
  • Pj=1P_j = 1 のとき,ZjZ_j'B', 'W' のいずれかである (1jQ1 \le j \le Q).
  • Pj=2P_j = 2 のとき,1LjRjN1 \le L_j \le R_j \le N (1jQ1 \le j \le Q).
  • Pj=2P_j = 2 のとき,0MjRjLj+10 \le M_j \le R_j - L_j + 1 (1jQ1 \le j \le Q).
  • N,Q,Pj,Xj,Lj,Rj,MjN, Q, P_j, X_j, L_j, R_j, M_j はすべて整数である.

小課題

  1. (6 点) N6N \le 6
  2. (10 点) N100N \le 100, Pj=2P_j = 2 (1jQ1 \le j \le Q).
  3. (9 点) N500N \le 500, Pj=2P_j = 2 (1jQ1 \le j \le Q).
  4. (8 点) N1700N \le 1700, Pj=2P_j = 2 (1jQ1 \le j \le Q).
  5. (23 点) N10000N \le 10\,000, Q10000Q \le 10\,000
  6. (14 点) N100000N \le 100\,000, Q100000Q \le 100\,000
  7. (30 点) 追加の制約はない.