摘要：link 计数类 *3100 首次独立过纪念版题解。 首先我们考虑一个去重的问题。貌似针对循环同构去重的问题，只能从循环节上入手。 那么我们考虑设 \(dp(d)\) 为 最小循环节长度恰好为 \(d\) 不同方案数个数，则答案为： \[\sum_{d=1}^ndp(d)=\sum_{d|n}\fr 阅读全文

摘要：组合符号化构造 将组合对象快速转化为生成函数方法 无标号组合构造 无标号组合构造食用 OGF。 我们定义一个组合类 \((A,|·|)\) ，其中 \(A\) 是对象集合，而 \(|·|\) 将每个对象变成它的大小函数。如字符串长度，图的点集大小等。如对于 \(A=\lbrace 0,1\rbrac 阅读全文

摘要：Burnside 与 Polya 推导过程： 部分题目 模板 Polya 定理 给定 \(n\) 个点 \(n\) 条边的环，\(m\) 种颜色，问本质不同染色方案数，两个方案本质不同，当且仅当对于所有的循环串都不同 直接 \(Burnside\)。 考虑到给长为 \(d\) 的链染色的本质不同方案 阅读全文