atcoder#ARC161E. [ARC161E] Not Dyed by Majority (Cubic Graph)

[ARC161E] Not Dyed by Majority (Cubic Graph)

配点 : 800800

問題文

NN を正の偶数として,NN 頂点 32N\displaystyle\frac{3}{2}N 辺の連結な単純無向グラフが与えられます. 頂点には 11 から NN までの番号が付いており,ii 番目の辺は頂点 AiA_i と頂点 BiB_i を結んでいます. また,すべての頂点について,接続する辺の本数はちょうど 3です.

与えられたグラフの各頂点を黒 ( B ) か白 ( W ) のいずれかの色で塗ります. このとき,「各頂点の色( B または W )を頂点の番号順に並べて得られる文字列」を色の列と呼びます.

すべての頂点に色が塗られた状態で以下の操作を 11 回行った結果としてあり得ない色の列が存在するかどうかを判定し,存在するならそのような色の列を 11 つ求めてください.

操作: 各頂点 k=1,2,,Nk = 1, 2, \dots, N に対して,辺で結ばれた頂点の色のうち過半数を占めるものを CkC_k とする. すべての頂点について同時に,頂点 kk の色を CkC_k に塗り替える.

TT 個のテストケースが与えられるので,それぞれについて答えてください.

制約

  • T1T \geq 1
  • N4N \geq 4
  • 11 つの入力に含まれるテストケースについて,NN の総和は 5×1045 \times 10^4 以下である.
  • NN偶数である.
  • $1 \leq A_i < B_i \leq N \ \ \left(1 \leq i \leq \displaystyle\frac{3}{2}N\right)$
  • $(A_i, B_i) \neq (A_j, B_j) \ \ \left(1 \leq i < j \leq \displaystyle\frac{3}{2}N\right)$
  • 与えられるグラフは連結である.
  • 各頂点 k (1kN)k \ (1 \leq k \leq N) は $A_i, B_i \ \left(1 \leq i \leq \displaystyle\frac{3}{2}N\right)$ として合計 3 回現れる.

入力

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

TT

case1\mathrm{case}_1

case2\mathrm{case}_2

\vdots

caseT\mathrm{case}_T

各テストケース casei (1iT)\mathrm{case}_i \ (1 \leq i \leq T) は以下の形式である.

NN

A1A_1 B1B_1

A2A_2 B2B_2

\vdots

A32NA_{\frac{3}{2}N} B32NB_{\frac{3}{2}N}

出力

TT 行出力せよ. ii 行目には,ii 番目のテストケースについて,操作を行った結果としてあり得ない色の列が存在するならそのような色の列を,存在しないなら -1 を出力せよ. 操作を行った結果としてあり得ない色の列が複数存在する場合,そのような色の列のうちどれを出力しても正答と見なされる.

2
4
1 2
1 3
1 4
2 3
2 4
3 4
10
1 2
1 3
1 4
2 3
2 4
3 5
4 5
5 6
6 7
6 8
7 9
7 10
8 9
8 10
9 10
BWWW
BWWWBWWWBB

11 つ目のテストケースについて考えます. 頂点 11 の色が B となるためには,操作を行う前に頂点 2,3,42, 3, 4 のうち 22 つ以上の色が B である必要があります. このとき,頂点 2,3,42, 3, 4 のうち少なくとも 11 つに関して,辺で結ばれた頂点のうち 22 つ以上の色が B であるため,操作を行った後の色は B となります. したがって,BWWW という色の列は操作を行った結果としてあり得ません.