atcoder#ABC199D. [ABC199D] RGB Coloring 2

[ABC199D] RGB Coloring 2

配点 : 400400

問題文

NN 頂点 MM 辺の単純無向グラフがあります。頂点には 11 から NN までの、辺には 11 から MM までの番号がついています。 辺 ii は頂点 AiA_i と頂点 BiB_i を結んでいます。 このグラフの各頂点を赤、緑、青の 33 色のいずれかで塗る方法であって、以下の条件を満たすものの数を求めてください。

  • 辺で直接結ばれている 22 頂点は必ず異なる色で塗られている

なお、使われない色があっても構いません。

制約

  • 1N201 \le N \le 20
  • 0MN(N1)20 \le M \le \frac{N(N - 1)}{2}
  • 1AiN1 \le A_i \le N
  • 1BiN1 \le B_i \le N
  • 与えられるグラフは単純 (多重辺や自己ループを含まない)

入力

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

NN MM

A1A_1 B1B_1

A2A_2 B2B_2

A3A_3 B3B_3

\hspace{15pt} \vdots

AMA_M BMB_M

出力

答えを出力せよ。

3 3
1 2
2 3
3 1
6

頂点 1,2,31, 2, 3 の色をそれぞれ c1,c2,c3c_1, c_2, c_3 とし、赤、緑、青をそれぞれ R, G, B で表すと、以下の 66 通りが条件を満たします。

  • c1c2c3=c_1c_2c_3 = RGB
  • c1c2c3=c_1c_2c_3 = RBG
  • c1c2c3=c_1c_2c_3 = GRB
  • c1c2c3=c_1c_2c_3 = GBR
  • c1c2c3=c_1c_2c_3 = BRG
  • c1c2c3=c_1c_2c_3 = BGR
3 0
27

辺がないため、各頂点の色を自由に決めることができます。

4 6
1 2
2 3
3 4
2 4
1 3
1 4
0

条件を満たす塗り方が存在しない場合もあります。

20 0
3486784401

答えは 3232 ビット符号付き整数型に収まらないことがあります。