P4365 [九省联考 2018] 秘密袭击 coat
题目背景
> We could have had it all. . . . . .
>
> 我们本该,拥有一切
>
> Counting on a tree. . . . . .
>
> 何至于此,数数树上
Counting on a Tree(CoaT)即是本题的英文名称。
题目描述
Access Globe 最近正在玩一款战略游戏。在游戏中,他操控的角色是一名 C 国士兵。他的任务就是服从指挥官的指令参加战斗,并在战斗中取胜。
C 国即将向 D 国发动一场秘密袭击。作战计划是这样的:选择 D 国的 $s$ 个城市,派出 C 国战绩最高的 $s$ 个士兵分别秘密潜入这些城市。每个城市都有一个危险程度 $d_i$。
C 国指挥官会派遣战绩最高的士兵潜入所选择的城市中危险程度最高的城市,派遣战绩第二高的士兵潜入所选择的城市中危险程度次高的城市,以此类推(即派遣战绩第 $i$ 高的士兵潜入所选择城市中危险程度第 $i$ 高的城市)。D 国有 $n$ 个城市,$n - 1$ 条双向道路连接着这些城市,使得这些城市两两之间都可以互相到达。为了任务执行顺利,C 国选出的 $s$ 个城市中,任意两个所选的城市,都可以不经过未被选择的城市互相到达。
Access Globe 操控的士兵的战绩是第 $k$ 高,他希望能估计出最终自己潜入的城市的危险程度。Access Globe 假设 C 国是以等概率选出任意满足条件的城市集合 $S$,他希望你帮他求出所有可能的城市集合中,Access Globe 操控的士兵潜入城市的危险程度之和。如果选择的城市不足 $k$ 个,那么Access Globe 不会被派出,这种情况下危险程度为 $0$。
当然,你并不想帮他解决这个问题,你也不打算告诉他这个值除以 $998\,244\,353$ 的余数,你只打算告诉他这个值除以 $64\,123$ 的余数。
输入格式
无
输出格式
无
说明/提示
D 国地图如下,其中危险程度为 $d$ 的城市的形状是 $d + 3$ 边形。

以下是所有符合条件且选择的城市不少于 $3$ 个的方案:
- 选择城市 $1,2,3$,Access Globe 的士兵潜入的城市危险程度为 $1$;
- 选择城市 $1,2,3,4$,Access Globe 的士兵潜入的城市危险程度为 $1$;
- 选择城市 $1,2,3,5$,Access Globe 的士兵潜入的城市危险程度为 $1$;
- 选择城市 $1,2,3,4,5$,Access Globe 的士兵潜入的城市危险程度为 $2$;
- 选择城市 $1,2,4$,Access Globe 的士兵潜入的城市危险程度为 $1$;
- 选择城市 $1,2,5$,Access Globe 的士兵潜入的城市危险程度为 $1$;
- 选择城市 $1,2,4,5$,Access Globe 的士兵潜入的城市危险程度为 $2$;
- 选择城市 $1,4,5$,Access Globe 的士兵潜入的城市危险程度为 $2$;
- 而在选择的城市少于 $3$ 时,Access Globe 的士兵潜入的城市危险程度均为 $0$。
所以你应该输出 $(1 + 1 + 1 + 2 + 1 + 1 + 2 + 2) \bmod 64\,123 = 11$。
