[论文解读] An exhaustive generation algorithm for Catalan objects and others

Antonio Bernini, Irene Fanti+1 more|ArXiv.org|Dec 5, 2006

Advanced Combinatorial Mathematics参考文献 19被引用 4

一句话总结

本文提出了一种CAT（均摊时间恒定）算法，用于通过三种操作（op1、op2和op3）对长度为$2n$的Dyck路径进行穷举生成，这些操作系统地遍历生成树结构。该方法通过将路径表示为二进制字符串并使用常数时间操作，实现了对所有Catalan对象的高效、无重复枚举，并通过类似的操作方案推广至Grand Dyck路径和Motzkin路径。

ABSTRACT

In this paper we present a CAT generation algorithm for Dyck paths with a fixed length n. It is the formalization of a method for the exhaustive generation of this kind of paths which can be described by means of two equivalent strategies. The former is described by a rooted tree, the latter lists the paths by means of three operations which, as we are going to see, are equivalent to visit the tree. These constructions are strictly connected with ECO method and can be encoded by a rule, very similar to the succession rule in ECO, with a finite number of labels for each n. Moreover with a slight variation this method can be generalized to other combinatorial classes like Grand Dyck or Motzkin paths.

研究动机与目标

• 开发一种高效、穷举的Dyck路径生成算法，避免冗余或遗漏对象。
• 形式化一种使用根树结构和三种等价于中序遍历的操作来生成所有大小为$n$的Dyck路径的方法。
• 确保算法在每个对象上均摊时间恒定，最大限度减少计算开销。
• 将该方法推广至其他组合类，如Grand Dyck路径和Motzkin路径。
• 提供一种直接基于对象的生成方法，避免中间的编码与解码步骤。

提出的方法

• 该算法使用一棵生成树，其中每个节点代表一个大小为$n$的Dyck路径，父子关系由路径构造规则定义。
• 定义了三种操作以遍历该树：op1用于移动到第一个子节点，op2用于移动到下一个兄弟节点，op3用于在中序遍历中移动到下一个节点。
• 每种操作通过常数时间的位交换和指针调整，对路径的二进制字符串表示（1表示东北方向，0表示东南方向）进行操作。
• 路径以循环数组形式存储，并通过指向第一步的指针进行管理，从而在遍历过程中实现高效访问与修改。
• 通过模拟中序树遍历的策略，确保所有路径恰好被生成一次，无重复或遗漏。
• 通过将三种操作适配到其各自的路径约束，该方法被推广至Grand Dyck路径和Motzkin路径。

实验结果

研究问题

• RQ1 能否设计一种仅使用局部常数时间操作的均摊时间恒定（CAT）算法，用于Dyck路径的穷举生成？
• RQ2 如何通过三种对应于树导航操作的机制，系统地遍历Dyck路径的生成树？
• RQ3 该基于操作的遍历方法在多大程度上可被适配至其他组合类，如Grand Dyck路径和Motzkin路径？
• RQ4 该算法能否通过直接在组合对象上操作，避免中间的编码/解码步骤？
• RQ5 Dyck路径的何种结构特性使得这种常数时间遍历机制成为可能？

主要发现

• 所提出的算法以每个对象均摊时间恒定的速度生成所有大小为$n$的Dyck路径，每个路径仅需常数数量的位操作。
• 三种操作——op1、op2和op3——恰好对应于生成树的中序遍历，确保了完整且无冗余的枚举。
• 该方法直接在路径表示的二进制字符串上操作，无需单独的编码与解码步骤。
• op3最多连续应用两次，从而确保遍历过程中行为的有界性和可预测性。
• 该算法的结构允许通过类似的操作方案推广至其他Catalan类组合对象，包括Grand Dyck路径和Motzkin路径。
• 该方法在ECO方法和归纳规则方面具有严格的理论基础，且对每个$n$具有有限的标签集合，支持递归构造与高效生成。