洞察(Insight)

题目背景

看待万物毫无偏见的新视角 —— 洞察。 **** 「洞察之光」凯伊·雅思·德·布拉德,是减法盗贼,也是背负黑暗命运的混沌骑士。 凯伊的右手内隐藏着混沌之剑,为了使其发挥出足够的力量又不至于失控,需要满足特定的内部结构。她想知道有多少种符合条件的结构,为了方便你的计算,她把问题转化为如下形式:

题目描述

赛时更新:题面中的笔误已修改为:相邻点对颜色**互不相同**。 **** 在一个**无向连通图** $G$ 中,有黑色和白色的点各 $n$ 个,红色的点 $1$ 个。 所有点之间互不相同,图中有 $2n$ 条边,且所有相邻点对(也就是有边直接相连的点对)的颜色也互不相同。 对于 $\text{type}$ 等于 $0$ 或 $1$,分别在不同条件下计算符合条件的图 $G$ 有多少个: - $\text{type}=0$:无附加条件。 - $\text{type}=1$:对于每个**不包含**红色点的极大连通子图,都要对**恰好一个**点做特殊标记(每个标记也都是不同的)。 答案对 $998244353$ 取模。

输入输出格式

输入格式


输入一行两个整数 $n$ 和 $\text{type}$。

输出格式


输出一行一个整数表示答案。

输入输出样例

输入样例 #1

1 1

输出样例 #1

5

输入样例 #2

2 0

输出样例 #2

45

输入样例 #3

2 1

输出样例 #3

149

输入样例 #4

10 0

输出样例 #4

36011666

输入样例 #5

20 1

输出样例 #5

593465999

输入样例 #6

106 1

输出样例 #6

516553582

说明

【样例 $1$ 解释】 此时 $\text{type}=1$,所有 $5$ 种合法的图包括: 1. $R-W'-B$ 2. $R-W-B'$ 3. $R-B'-W$ 4. $R-B-W'$ 5. $B'-R-W'$ 由于 $n=1$,可以仅用 $B$ 和 $W$ 来区分白点和黑点,$R$ 表示红点。中间的横杠表示连边,$B'$ 和 $W'$ 分别表示有标记的白点和黑点。 注意,由于第 $5$ 个图中,单个的 $B$ 和 $W$ 就是不包含 $R$ 的极大连通子图,必须各有一个标记在这唯一的位置上。 【样例 $2,3$ 解释】 见附件图片,其中展示了 $\text{type}=0$ 时全部的 $45$ 种可能的图 $G$。 对于 $\text{type}=1$ 的情况,只需要对每个图的基础上做标记,就可以数出答案为 $149$。 【样例 $4,5$ 解释】 取模前的答案分别为 $116758263583336861101$ 和 $4159784334433940020473603987503242886367209494283213841$。 【数据范围】 **本题采用捆绑测试。** Subtask 1(8 pts):$n \le4$; Subtask 2(10 pts):$n \le 10^3$,$\text{type}=0$; Subtask 3(11 pts):$\text{type}=0$; Subtask 4(13 pts):$n \le 100$,$\text{type}=1$; Subtask 5(14 pts):$n \le 10^3$,$\text{type}=1$; Subtask 6(21 pts):$n\le 10^5$,$\text{type}=1$; Subtask 7(23 pts):$\text{type}=1$。 对于全部的数据,$1\le n \le 10^7$,$\text{type}\in \{ 0,1\}$。 【提示】 对于这类题目,你或许会想从 [OEIS](https://oeis.org/) 上寻找答案。但我要提醒你的是,直接搜索答案数列不会找到任何结果。然而,对于小数据范围,仍然可以提前处理出答案数列。 图片链接似乎已损坏(?),原链接地址:https://i.niupic.com/images/2024/04/05/huyP.png