[论文解读] A Generic Numbering System based on Catalan Families of Combinatorial Objects

Paul Tarau|arXiv (Cornell University)|Jun 6, 2014

Logic, programming, and type systems参考文献 32被引用 4

一句话总结

本文提出了一种基于类型类的通用卡塔兰数编号系统，适用于卡塔兰组合对象家族（如二叉树、多叉树和自然数），可在极大规模数字上实现高效的算术运算。通过利用规范的树形表示，该系统实现了常数时间的后继与前驱操作，并在具有紧凑卡塔兰表示的数字上实现了超指数级的性能提升，优于传统二进制算术在迭代指数与指数塔运算中的表现。

ABSTRACT

We describe arithmetic algorithms on a canonical number representation based on the Catalan family of combinatorial objects specified as a Haskell type class. Our algorithms work on a {\em generic} representation that we illustrate on instances members of the Catalan family, like ordered binary and multiway trees. We validate the correctness of our algorithms by defining an instance of the same type class based the usual bitstring-based natural numbers. While their average and worst case complexity is within constant factors of their traditional counterparts, our algorithms provide super-exponential gains for numbers corresponding to Catalan objects of low representation size.

研究动机与目标

• 开发一种通用的、可重用的算术系统，适用于所有58种已知的卡塔兰组合家族，基于Haskell的类型类。
• 通过利用紧凑的树形表示，实现对极大数字（如康威的箭号表示法中的数字）的高效计算。
• 通过将标准自然数作为卡塔兰家族的规范实例嵌入，验证系统的正确性。
• 实现与二进制算术相当或更优的性能，尤其在卡塔兰形式中具有低柯尔莫哥洛夫复杂度的数字上。
• 支持高级运算，如加法、乘法以及柯拉茨序列计算，处理超出标准位串表示范围的巨型数字。

提出的方法

• 定义一个Haskell类型类 `Cat`，抽象卡塔兰家族的结构，包含空元素的构造器（`e`）和二元组合器（`c`），用于组合两个元素。
• 在 `Cat` 类型类的任意实例上泛化实现算术运算（加法、减法、后继、前驱）。
• 通过自然数与卡塔兰组合对象之间的规范双射，确保唯一且无歧义的表示，并支持语法相等性判断。
• 利用树形数据的结构递归与模式匹配，通过路径压缩和局部重写，实现常数时间的后继与前驱操作。
• 通过在自然数上实现相同运算作为 `Cat` 类的规范实例，交叉验证系统的正确性。
• 通过利用结构模式（如长串的0和1）和递归分解，优化低复杂度输入的运算，尤其适用于巨型数字。

实验结果

研究问题

• RQ1 能否通过单一类型类接口，在所有组合等价的卡塔兰家族上定义一个通用的算术系统？
• RQ2 该系统能否在保持多种组合结构下正确性的前提下，实现常数时间的后继与前驱操作？
• RQ3 在具有紧凑卡塔兰编码的数字上，树形表示相较于传统位串表示，在计算复杂度方面能提升多少？
• RQ4 对于表示大小对应于迭代指数（如指数塔）的数字，该系统能否高效执行算术运算？
• RQ5 如何扩展该系统以支持混合表示，当卡塔兰表示不再具有优势时自动切换至位串算术？

主要发现

• 系统在后继与前驱操作上实现了平均情况下的常数时间时间复杂度，支持对巨型数字序列的高效遍历。
• 对于表示复杂度较低的数字（如2的幂或迭代指数），该系统在性能上优于二进制算术，优势可达任意指数塔因子。
• 具有紧凑卡塔兰表示的数字（如高度为10^1和10^3的树）的加法与减法，其表示大小与操作数大小的乘积成正比，但仍保持可计算性（例如，加法后节点数约为10,500个）。
• 自然数被成功嵌入为卡塔兰家族的规范实例，从而实现了算术正确性的交叉验证。
• 该系统支持对超出标准二进制算术范围的巨型数字执行柯拉茨序列计算，证明了其在巨型输入上的可行性。
• 实证结果表明，加法与减法具有多项式时间界，最坏情况下的大小膨胀出现在指数塔输入上，此时输出大小随输入高度的乘积增长。