Luogu5448 [THUPC2018] 好图计数

题意:我们归纳定义一个无向简单图是好的:

  • 一个单点是好的。

  • 若干个好的图分别作为联通块所形成的图是好的。

  • 一个好的图的补图是好的。

个点的无标号好图的数量,答案对给定质数 取模。

,时限


为好图, 为联通好图。则显然有

能够发现,如果一个不连通的好图取补图,一定能得到一个联通好图,反之亦然,这是双射。

这只在一个地方不成立, 时一个点的补图是自己。

那么,。 钦定

写出生成函数形式并变形 :

  • ,有

    在得知 之后可以枚举倍数 (一边递推一边并行)计算。

则有 提取 系数可得 注意 ,实际上不需要牵涉到 ,但是会牵涉到 边界为

暴力递推,复杂度 ,卡常后可以通过。