AT_arc223_e [ARC223E] Yin-Yang Two Bits Insertion
Description
$ 0 $ と $ 1 $ からなる長さ $ 2 $ 以上の整数列 $ A=(A_1,A_2,\dots,A_N),B=(B_1,B_2,\dots,B_M) $ が与えられます。
$ A $ に対し、以下の操作を何回でも行うことができます。
- $ 1 \leq i \leq |A|-1 $ を満たす整数 $ i $ を選ぶ。
- $ A_i $ と $ A_{i+1} $ の間に $ 1-A_i $ と $ 1-A_{i+1} $ をこの順で挿入する。
$ A $ を $ B $ に一致させることができるかどうかを判定してください。
$ 1 $ つの入力につき、 $ T $ 個のテストケースを解いてください。
Input Format
入力は以下の形式で標準入力から与えられる。
> $ T $ $ \mathrm{case}_1 $ $ \mathrm{case}_2 $ $ \vdots $ $ \mathrm{case}_T $
各テストケース $ \mathrm{case}_t $ は以下の形式で与えられる。
> $ N $ $ M $ $ A_1 $ $ A_2 $ $ \dots $ $ A_N $ $ B_1 $ $ B_2 $ $ \dots $ $ B_M $
Output Format
答えを合計 $ T $ 行で出力せよ。 $ t $ 行目には、 $ t $ 番目のテストケースについて $ A $ を $ B $ に一致させることができるならば `Yes` を、できないならば `No` を出力せよ。
Explanation/Hint
### Sample Explanation 1
$ 1 $ つ目のテストケースについて、最初、 $ A=(0,1,1) $ です。
まず、 $ i $ として $ 2 $ を選ぶと、 $ A=(0,1,0,0,1) $ となります。
次に、 $ i $ として $ 3 $ を選ぶと、 $ A=(0,1,0,1,1,0,1) $ となります。
### Constraints
- $ 1 \leq T \leq 10^5 $
- $ 2 \leq N \leq M \leq 2 \times 10^5 $
- $ A_i,B_i \in \{0,1\} $
- すべてのテストケースにおける $ N+M $ の総和は $ 4 \times 10^5 $ 以下
- 入力される値はすべて整数