atcoder#ABC294H. [ABC294Ex] K-Coloring

[ABC294Ex] K-Coloring

配点 : 600600

問題文

頂点に 11 から NN の、辺に 11 から MM の番号がついた NN 頂点 MM 辺の単純無向グラフが与えられます。辺 ii は頂点 uiu_i と頂点 viv_i を結んでいます。

このグラフのそれぞれの頂点に 11 以上 KK 以下の整数を書きこむ方法のうち、次の条件を満たす方法の個数を 998244353998244353 で割った余りを求めてください。

  • 辺で結ばれた頂点同士には異なる数が書きこまれている。

制約

  • 1N301 \leq N \leq 30
  • $0 \leq M \leq \min \left(30, \frac{N(N-1)}{2} \right)$
  • 1K1091 \leq K \leq 10^9
  • 1ui<viN1 \leq u_i \lt v_i \leq N
  • 入力で与えられるグラフは単純

入力

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

NN MM KK

u1u_1 v1v_1

u2u_2 v2v_2

\vdots

uMu_M vMv_M

出力

条件を満たすように頂点に 11 以上 KK 以下の整数を書きこむ方法の個数を 998244353998244353 で割った余りを出力せよ。

4 3 2
1 2
2 4
2 3
2

条件を満たす整数の書きこみ方は次の 22 通りです。

  • 頂点 1,3,41, 3, 411 を、頂点 2222 を書きこむ。
  • 頂点 2211 を、頂点 1,3,41, 3, 422 を書きこむ。
4 0 10
10000

10410^4 通り全ての書きこみ方が条件を満たします。

5 10 5
3 5
1 3
1 2
1 4
3 4
2 5
4 5
1 5
2 3
2 4
120
5 6 294
1 2
2 4
1 3
2 3
4 5
3 5
838338733
7 12 1000000000
4 5
2 7
3 4
6 7
3 5
5 6
5 7
1 3
4 7
1 5
2 3
3 6
418104233