[论文解读] Generating and ranking of Dyck words

Zoltán Kása|arXiv (Cornell University)|Feb 12, 2010

Advanced Combinatorial Mathematics参考文献 5被引用 6

一句话总结

本文提出了一套高效算法，用于基于二进制字符串中1的位置编码，生成、排序和反排序Catalan数计数的Dyck词。该文引入了递归与迭代的生成方法，基于格路计数的排序函数，以及通过动态规划实现的反排序方法，其关键贡献是基于排序逻辑推导出的Catalan数新递归公式。

ABSTRACT

A new algorithm to generate all Dyck words is presented, which is used in ranking and unranking Dyck words. We emphasize the importance of using Dyck words in encoding objects related to Catalan numbers. As a consequence of formulas used in the ranking algorithm we can obtain a recursive formula for the nth Catalan number.

研究动机与目标

• 开发实用算法，以字典序和逆字典序系统生成所有Dyck词。
• 基于二进制字符串表示中1的位置，提供Dyck词的排序与反排序机制。
• 建立Dyck词排序与格路计数之间的联系，进而推导出Catalan数的新递归公式。
• 展示Dyck词在编码组合对象（如二叉树）中的实用性，提供明确的编码与解码算法。

提出的方法

• 使用递归回溯法生成字典序Dyck词，通过跟踪0和1的数量及平衡约束条件。
• 通过迭代遍历1的有效位置，使用基于位置的算法生成Dyck词，利用约束条件 $2i \leq b_i \leq n+i$ 确保满足Dyck性质。
• 通过反复将最左侧的'10'替换为'01'，生成逆字典序中的下一个Dyck词。
• 使用函数 $f(i,j)$ 对Dyck词进行排序，该函数计算从 $(0,0)$ 到 $(i,j)$ 的单调格路数量，且不越过对角线，排序通过路径计数的求和计算得出。
• 通过反向排序过程实现反排序：迭代增加1的位置，同时减去路径计数，直至达到目标秩。
• 使用递归遍历将二叉树编码为Dyck词，其中左子树仅存在时追加'01'，右子树仅存在时追加'10'，两子树均存在时追加'00'，右子树继续时追加'11'。

实验结果

研究问题

• RQ1 如何系统性地生成所有半长为 $n$ 的Dyck词，使其按字典序和逆字典序排列？
• RQ2 如何高效地为字典序列表中的任意给定Dyck词分配唯一秩？
• RQ3 能否构建一个逆过程，从秩值重建Dyck词，从而实现反排序？
• RQ4 如何利用排序函数推导出第 $n$ 个Catalan数的新递归公式？
• RQ5 Dyck词在编码与解码组合结构（如二叉树）中起什么作用？

主要发现

• 通过修改1的位置生成Dyck词的算法，以逆字典序生成全部 $C_n$ 个词，当 $n=4$ 时生成14个词。
• 排序算法通过求和路径计数 $f(n-i, n+i-j)$ 计算Dyck词的秩，示例中 $b = 4,5,8,9,10$ 的秩为33。
• 反排序算法成功重建了 $n=6$ 时秩为93的Dyck词，结果为位置 $b = 4,5,7,9,11,12$。
• 推导出 $(n+1)$ 个Catalan数的新递归公式：$C_{n+1} = 1 + \sum_{k \geq 0} (-1)^k \binom{n-k}{k+1} C_{n-k}$。
• 使用Dyck词对二叉树进行编码与解码的算法正确且为双射，编码过程为每种树结构生成唯一的Dyck词。
• 排序中使用的函数 $f(i,j)$ 满足一个递推关系，可实现高效计算，并为Catalan数公式的推导提供基础。