摘要：
Link 然后枚举缩点之后的DAG的情况，考虑计算可行的边集方案数，再递归乘上所有scc的导出子图的答案。 计算可行的边集方案数可以考虑dp，设$f_s$表示点集$s$的导出子图中使得子图形成一个DAG的边集方案数，那么可以得到转移 \(f_s=\sum\limits_{t\subseteq s\w 阅读全文
摘要：
Link 一条Hamilton回路可以被拆分成由若干条树上路径组成的环，其中相邻两条树上路径不能同属于一棵树。 假如我们求出了将一棵树分为若干链的方案数，那么剩下的就是求给环染色，相邻位置颜色不同的方案数。 第一部分可以用树形背包简单求出，设$f_{u,i,0/1/2}$表示$u$的子树内选了$i$ 阅读全文