P11292 【MX-S6-T4】「KDOI-11」彩灯晚会

原题链接：。

小 K 家的房子还蛮大的，所以他举办了彩灯晚会。 彩灯晚会显然有彩灯。于是小 K 找来了 $n$ 盏彩灯。 小 K 不希望彩灯散在地上，于是他用 $m$ 条**有向边**连接了这些彩灯，使得他们连在一起。也就是说，在将有向边看成无向边的情况下，这些彩灯是连通的。保证该图为**有向无环图**。 小 K 的彩灯很厉害，每个都可以独立地发出 $k$ 种颜色中的任意一种。小 K 作为世界顶尖 Light Glowing Master（简称 LGM），决定将所有方案（共 $k^n$ 种）都尝试一下。 小 K 不喜欢很多的颜色，于是他给定了一个正整数 $l$，并定义一个方案的美丽度为每种颜色长度为 $l$ 的链数量的平方之和。形式化地讲，设第 $i$ 种颜色的长度为 $l$ 的链的数量为 $cnt_i$，则一个方案的美丽度为 $\sum_{i=1}^kcnt_i^2$。 现在小 K 想知道所有 $k^n$ 种方案的美丽度之和，对 $998244353$ 取模。 两种方案是不同的当且仅当存在某个彩灯在两种方案中发出不同的颜色。 一条长度为 $l$ 的链是一个 $2l-1$ 元组 $(v_1,e_1,v_2,e_2,\dots,e_{l-1},v_l)$，使得对于任意 $1\leq i

无

无

**【样例解释 #1】** 共有 $2^3=8$ 种不同的彩灯显示颜色的方案，如下表所示（不妨假设颜色为黑和白）： | 编号 | $1$ 号彩灯颜色 | $2$ 号彩灯颜色 | $3$ 号彩灯颜色 | 美丽度 | |:--:|:--:|:--:|:--:|:--:| | $1$ | 黑 | 黑 | 黑 | $4$ | | $2$ | 黑 | 黑 | 白 | $0$ | | $3$ | 黑 | 白 | 黑 | $1$ | | $4$ | 黑 | 白 | 白 | $1$ | | $5$ | 白 | 黑 | 黑 | $1$ | | $6$ | 白 | 黑 | 白 | $1$ | | $7$ | 白 | 白 | 黑 | $0$ | | $8$ | 白 | 白 | 白 | $4$ | 美丽度之和为 $4+0+1+1+1+1+0+4=12$。 **【样例 #3】** 见附件中的 `party/party3.in` 与 `party/party3.ans`。 该组样例满足测试点 $1$ 的约束条件。 **【样例 #4】** 见附件中的 `party/party4.in` 与 `party/party4.ans`。 该组样例满足测试点 $2\sim3$ 的约束条件。 **【样例 #5】** 见附件中的 `party/party5.in` 与 `party/party5.ans`。 该组样例满足测试点 $4\sim5$ 的约束条件。 **【样例 #6】** 见附件中的 `party/party6.in` 与 `party/party6.ans`。 该组样例满足测试点 $6\sim9$ 的约束条件。 **【样例 #7】** 见附件中的 `party/party7.in` 与 `party/party7.ans`。 该组样例满足测试点 $10\sim12$ 的约束条件。 **【样例 #8】** 见附件中的 `party/party8.in` 与 `party/party8.ans`。 该组样例满足测试点 $13\sim15$ 的约束条件。 **【样例 #9】** 见附件中的 `party/party9.in` 与 `party/party9.ans`。 该组样例满足测试点 $20\sim21$ 的约束条件。 **【数据范围】** 记 $P=998244353$，对于所有测试数据，保证：$1\leq n\leq300$，$1\leq M\leq\frac{n(n-1)}{2}$，$1\leq k