[YsOI2023] 连通图计数
题目背景
Ysuperman 模板测试的多项式题。
【数据删除】
题目描述
请问有多少个 $n$ 个点 $m$ 条边的**无向简单连通**图,无自环无重边,满足删掉编号为 $i$ 的点后无向图被分成了 $a_i$ 个连通块。特殊地,我们保证 $n-1\le m\le n+1$,且答案不为 $0$。
答案对 $998,244,353$ 取模。
输入输出格式
输入格式
第一行两个整数 $n,m$。
第二行 $n$ 个整数,第 $i$ 个整数为 $a_i$。
输出格式
输出一行一个整数,表示答案对 $998,244,353$ 取模得到的结果。
输入输出样例
输入样例 #1
4 4
2 1 1 1
输出样例 #1
3
输入样例 #2
4 5
1 1 1 1
输出样例 #2
6
输入样例 #3
5 6
1 1 2 1 1
输出样例 #3
27
输入样例 #4
6 6
1 2 3 1 1 1
输出样例 #4
30
输入样例 #5
6 5
2 1 1 1 1 4
输出样例 #5
4
输入样例 #6
8 7
1 1 3 1 2 2 2 2
输出样例 #6
360
输入样例 #7
8 8
1 1 1 1 2 2 2 2
输出样例 #7
2520
输入样例 #8
8 9
1 1 1 1 1 1 2 3
输出样例 #8
9240
输入样例 #9
10 11
1 1 1 4 2 2 2 1 1 1
输出样例 #9
105840
输入样例 #10
12 13
1 1 1 1 1 1 1 1 1 1 1 1
输出样例 #10
518269694
说明
#### 样例 1 解释
共有三种可能的图,连的四条边分别为:
1. $(1,2),(1,3),(1,4),(2,3)$。
2. $(1,2),(1,3),(1,4),(2,4)$。
3. $(1,2),(1,3),(1,4),(3,4)$。
#### 数据范围
|测试点编号|$n,m$|特殊性质|
|:-:|:-:|:-:|
|$1\sim 4$|$m=n-1$|无|
|$5\sim 6$|$m=n$,$n\le 7$|无|
|$7\sim 8$|$m=n$|$a_i=1$|
|$9\sim 12$|$m=n$|无|
|$13\sim 14$|$m=n+1$,$n\le 7$|无|
|$15\sim 16$|$m=n+1$|$a_i=1$|
|$17\sim 20$|$m=n+1$|无|
对于所有的数据,满足 $4\le n\le 10^5$,$n-1\le m\le n+1$,$1\le a_i<n$,$n\le \sum_{i=1}^na_i\le 2n-2$,且保证答案非 $0$。