atcoder#ABC180F. [ABC180F] Unbranched

[ABC180F] Unbranched

题目描述

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

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

输入格式

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

N N M M L L

输出格式

答えを出力せよ。

题目大意

NN 个点,MM 条边且满足以下条件的图的数量:

  • 图中无自环;

  • 每个点度数最多为 22

  • 连通块大小的最大值恰好为 LL

答案对 109+710^9+7 取模。

2N3002\le N\le3001M,LN1\le M,L\le N

3 2 3
3
4 3 2
6
300 290 140
211917445

提示

制約

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

Sample Explanation 1

頂点に 1 1 から N N の番号を付けたとき、以下の 3 3 通りのグラフが条件を満たします。 - 12 1-2 間と 23 2-3 間に辺がある。 - 12 1-2 間と 13 1-3 間に辺がある。 - 13 1-3 間と 23 2-3 間に辺がある。