看成内向基环森林,操作 相当于让 连向 所连的点, 变成自环。发现如果一个点 变成了自环,那么操作任意一个 都没有用。
从简单的情形出发,对于一个内向树(或者说环大小为 的内向基环树),每次操作 时,相当于让 变成一个自环,然后 的父亲就变成了 ,并且 其它子树往上连的边再也不能跨过 .于是想到用树链剖分去对应操作出来的一张图。对于一条树链,让链底连向链顶的父亲,非链底的节点都是自环。
于是每次操作 的时候,如果 是链底并且链顶的父亲还没有重儿子,那么将链顶到父亲的这条边设为重边,否则什么也不干(对应 是自环或 连向了一个自环)。于是这样完成了链剖分方案与一张合法图方案的双射。这里有个问题是根已经是自环了,所以不能它不能有重边连下去。于是方案数就是除了根以外的度数 +1 之积 .
现在考虑环很大,依然想要让它去对应链剖分的情况。当环上全是重边的时候定义其表示环上所有点都是自环。
但是这个时候发现有计重的情况,当环上只有一条边不是重边的时候会出现这样的计重:
环上点的入边轻重选取方案将所有左侧的这种情况减去即可,也就是减去 .所以答案就是
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· TypeScript + Deepseek 打造卜卦网站:技术与玄学的结合
· Manus的开源复刻OpenManus初探
· 三行代码完成国际化适配,妙~啊~
· .NET Core 中如何实现缓存的预热?
· 阿里巴巴 QwQ-32B真的超越了 DeepSeek R-1吗?
2022-08-31 一次对计数问题将常用套路形式化剖析的尝试