符号化方法——精选推荐.pdf

符号化⽅法

OIwiki新增加的⼀页，在GF计数领域⾮常有⽤，所以总结⼀下。

⼀⼀些些符符号号约约定定

符号化⽅法是组合对象（⽐如树，字符串，图等我们关⼼它组合意义的东西）转化为GF形式表达的⼀种⽅法，考虑在这些组合对象组成的集合上进⾏的操作，变成在GF上进⾏的操作，从⽽⼤

⼤提升效率。⼀般地，我们定义组合类：

\[(\mathcal{A},\lvert\cdot\rvert)\]

其中\(\mathcal{A}\)为组合对象组成的集合，\(\lvert\cdot\rvert\)是⼀个单元操作，⼀个组合对象映射为⼀个⾮负整数。举个例⼦，⽐如对于⼀棵树，我们关⼼它的结点数，所以就定义\(|t|\)为\(t\)

这棵树的结点数量。我们定义\(\mathcal{A}_n\{\alpha\in\mathcal{A}||\alpha|n\}\)。

对于组合类\((\mathcal{A},\lvert\cdot\rvert)\)，其对应的OGF为：

\[A(z)\sum_{\alpha\in\mathcal{A}}z^{|\alpha|}\sum_{n\ge0}a_nz^n\]

对应的EGF为：

\[\hat{A}(z)\sum_{\alpha\in\mathcal{A}}\dfrac{z^{|\alpha|}}{|\alpha|!}\sum_{n\ge0}\dfrac{a_nz^n}{n!}\]

其中\(a_n\operatorname{card}(\mathcal{A}_n)\)，\(\operatorname{card}\)表⽰集合的基数。⼀般来说，OGF⽤于⽆标号的情况，EGF⽤于有标号的情况。

定义中性对象\(\epsilon\)满⾜\(|\epsilon|0\)，和中性集合\(\mathcal{E}\{\epsilon\}\)，其对应的OGF，EGF为：

\[\mathcal{E}(z)\hat{\mathcal{E}}(z)1\]

定义原⼦对象\(\circ\)满⾜\(\lvert\circ\rvert1\)，和原⼦集合\(\mathcal{Z}\{\circ\}\)，其对应的OGF，EGF为：

\[\mathcal{Z}(z)\hat{\mathcal{Z}}(z)z\]

显然我们能得到结论，\(\forall\mathcal{A}\)，都有\(\mathcal{A}\cong\mathcal{A}\times\mathcal{E}\cong\mathcal{E}\times\mathcal{A}\)，其中我们称两个组合集\(\mathcal{A},\mathcal{B}\)满⾜\

(\mathcal{A}\cong\mathcal{B}\)当且仅当它们不平凡同构。

⽆⽆标标号号

本部分介绍的所有操作是基于⽆标号的，所以对应的GF均采⽤OGF。

不不相相交交并并

对于两个组合类的并\(\mathcal{A},\mathcal{B}\)，如果我们单纯将它记为：

\[\mathcal{A}+\mathcal{B}\]

即简单的拼接，如果\(\mathcal{A}\cap\mathcal{B}\ne\emptyset\)，就会与不相交的前提相违背。所以我们它记为：

\[(\mathcal{E}_1\times\mathcal{A})+(\mathcal{E}_2\times\mathcal{B})\]

即给两个乘上不同的中性对象，不改变集合的元素本质，但给它们“染上了颜⾊”，从⽽不管是否有\(\mathcal{A}\cap\mathcal{B}\emptyset\)，都可以直接拼接。⽽对应的OGF为：

\[A(z)+B(z)\sum_{\alpha\in\mathcal{A}}z^{|\alpha|}+\sum_{\beta\in\mathcal{B}}z^{|\beta|}\sum_{n\ge0}(a_n+b_n)z^n\]

即两个集合对应OGF的幂级数加法。

笛笛卡卡尔尔积积

我们定义两个集合的笛卡尔积\(\mathcal{A}\times\mathcal{B}\)为：

\[\mathcal{A}\times\mathcal{B}\{(\alpha,\beta)