Luogu6295 有标号 DAG 计数
题意:求
弱连通:所有有向边替换为无向边后的图连通。
答案对
容易发现,弱连通 DAG 无序组合并分配标号之后就能得到任意的 DAG 图。
那么根据 SET 变换,我们只需求出任意的 DAG 的 EGF,然后取
设
考虑 DAG
如何拆分成子问题。在对付树时,我们往往去掉根而考虑子树,而对于
DAG,我们要考虑入度为
这些点可能有很多个,需要枚举。而且我们很难统计“恰好”有
先钦定
这是卷积的形式,记
(特殊考虑常数项)则有
解得
复杂度