数树(2021 CoE-II E)
题目描述
定义一棵树 $\mathcal T$ 为 $k_1-k_2$ 叉树,当且仅当每个节点 $p\in \mathcal T$ 有儿子,要么有 $k_1$ 个儿子,要么有 $k_2$ 个儿子,$k_1 \ne k_2$。我们定义两棵 $k_1-k_2$ 树同构,当且仅当以下伪代码返回的字符串相同:
$$
\begin{array}{ll}
1 & \textbf{Input. } \text{The edges of the tree } \mathcal T \\
2 & \textbf{Output. } \text{The eigenvalue of tree } \mathcal T.\\
3 & \textbf{Algorithm. } \text{dfs}(u)\\
4 & \qquad result \gets \texttt{'('} \\
5 & \qquad \textbf{for} \text{ each } (u, v) \text{ in the } \mathcal T \\
6 & \qquad \qquad \textbf{if } v \text{ is not the father of } u \\
7 & \qquad \qquad\qquad result \gets result\ +\ \mathrm{dfs}(v) \\
8 & \qquad result\gets result\ +\ \texttt{')'} \\
9 & \qquad \textbf{return } result \\
10 & \textbf{Method. } \text{check}(\mathcal T) \\
11 & \qquad \textbf{return } \text{dfs(the root of the tree } \mathcal T\text{)}
\end{array}
$$
形式化地,$k_1-k_2$ 叉树有**确定的根节点**,每个节点的若干儿子之间**有顺序**,但是节点**没有标号**。
若 $k_1-k_2$ 叉树 $\mathcal T$ 有一个 $k_1$ 叉节点,则得分 $a$,若有一个 $k_2$ 叉节点,则得分 $b$,叶节点无得分。定义一棵树的得分为其所有节点的得分之和,记为 $v(\mathcal T)$。
现在我们在所有互不同构的 $n$ 个节点的 $k_1-k_2$ 叉树中等概率随机生成一棵 $\mathcal T$,记 $v(\mathcal T)$ 的期望值为 $\mathbb{E}(v(\mathcal T))$。
可以证明 $\mathbb{E}(v(\mathcal T))$ 为有理数。当 $\mathbb{E}(v(\mathcal T))$ 不为零时,令答案 $\mathbb{E}(v(\mathcal T)) = p/q$,其中 $p$ 与 $q$ 互质。你需要输出最小的自然数 $x$ 使得 $p\equiv qx\pmod P$,其中 $P=998244353$,可以证明这样的自然数 $x$ 必定存在。
输入输出格式
输入格式
输入包含五个整数 $k_1,\ k_2,\ n,\ a,\ b$,其含义如题目描述所示。
输出格式
输出一个整数 $x$,表示方程 $p\equiv qx\pmod P$ 的最小自然数解,其中 $P=998244353$。
输入输出样例
输入样例 #1
2 3 6 1 2
输出样例 #1
3
说明
**样例说明**
具有 $6$ 个结点的不同构 $2-3$ 叉树共有 $5$ 棵,每棵得分均为 $3$ 分,则 $\mathbb{E}(v(\mathcal T))=15/5=3$,故 $p=3$ 且 $q=1$,则 $x=3$。
![](https://cdn.luogu.com.cn/upload/image_hosting/nqywy0df.png)
------------
**数据范围**
共 $10$ 个测试点。
对于测试点 $1$,满足 $1 \le k_1,\ k_2<n\leq 10$。
对于测试点 $2$,满足 $1 \le k_1,\ k_2<n\leq 15$。
对于测试点 $3\sim 4$,满足 $1 \le k_1,\ k_2<n\leq 5 \times 10^3$。
对于测试点 $5\sim 6$,满足 $a=b=1,\ 1 \le k_1,\ k_2<n\leq 10^5$。
对于 $100\%$ 的数据,满足 $1 \le k_1,\ k_2<n\leq 10^7,\ k_1 \ne k_2, \ k_1+k_2 \le n, \ \ 1 \le \ a,\ b\leq 10^7$。
------------
**约定**
- 测试数据保证 $\mathbb{E}(v(\mathcal T))$ 不为零。