lcw

摘要： 参考自 x义x 的同名博客。 一、无标号计数 定义 1.1（组合类）：组合类是一个集合 $\mathcal A$ 和一个附带的大小函数 $f:\mathcal A\to\mathbb N$（记 $f(a)$ 为 $|a|$ 或 $|a|_{\mathcal A}$）。 它需要满足对于任意 $n\in 阅读全文