atcoder#ABC180F. [ABC180F] Unbranched

[ABC180F] Unbranched

配点 : 600600

問題文

頂点にラベルが付き辺にはラベルが付いていない NN 頂点 MM 辺の単純とも連結とも限らないグラフであって、以下の条件を満たすものの個数を 109+710^9+7 で割ったあまりを求めてください。

  • 自己ループを持たない
  • すべての頂点の次数が 22 以下である
  • 各連結成分のサイズを並べたとき、その最大値がちょうど LL である

制約

  • 2N3002 \leq N \leq 300
  • 1MN1\leq M \leq N
  • 1LN1 \leq L \leq N
  • 入力はすべて整数

入力

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

NN MM LL

出力

答えを出力せよ。

3 2 3
3

頂点に 11 から NN の番号を付けたとき、以下の 33 通りのグラフが条件を満たします。

  • 121-2 間と 232-3 間に辺がある。
  • 121-2 間と 131-3 間に辺がある。
  • 131-3 間と 232-3 間に辺がある。
4 3 2
6
300 290 140
211917445