[论文解读] Tabulation of Noncrossing Acyclic Digraphs

Marco Kuhlmann|arXiv (Cornell University)|Apr 20, 2015

graph theory and CDMA systems参考文献 1被引用 4

一句话总结

本文提出了一种用于枚举具有 n 个顶点的非交叉有向无环图（NCADs）的动态规划表列技术，采用七类分类法与代数运算（连接与覆盖）系统性地构建图。该方法通过一个完备且无误的推理系统实现高效计数，时间复杂度为 O(n³)，空间复杂度为 O(n²)，得到的序列为 OEIS A246756：1, 3, 25, 335, 5521, ...，即 NCAD 的计数结果。

ABSTRACT

I present an algorithm that, given a number $n \geq 1$, computes a compact representation of the set of all noncrossing acyclic digraphs with $n$ nodes. This compact representation can be used as the basis for a wide range of dynamic programming algorithms on these graphs. As an illustration, along with this note I am releasing the implementation of an algorithm for counting the number of noncrossing acyclic digraphs of a given size. The same tabulation can be modified to count other classes of combinatorial structures, including weakly connected noncrossing acyclic digraphs, general noncrossing digraphs, noncrossing undirected graphs.

研究动机与目标

• 开发一种系统化方法，用于枚举所有具有 n 个顶点的非交叉有向无环图（NCADs）。
• 提供一种紧凑且可重用的 NCAD 表示方法，用于动态规划算法。
• 通过形式化推理系统实现 NCAD 的精确计数，该系统具备无误且完备的推理规则。
• 将表列技术扩展至推导相关图类：弱连通 NCADs、无限制的非交叉有向图，以及非交叉无向图。

提出的方法

• 根据连通性与边覆盖情况，将 NCADs 分为七类互不相交的类型：minmax 覆盖型、maxmin 覆盖型、minmax 连通型、maxmin 连通型、混合连通型、基本型（两顶点型）以及非基本不连通型。
• 定义三种核心运算：图的连接、在首尾顶点之间添加有向边以实现覆盖，以及通过逆向推理进行分解。
• 构建一个使用 26 条推理规则的推理系统，从更小的图组件推导出有效的 NCADs，其中各项代表可能的图构造方式。
• 采用动态规划方法，对所有区间 [i,j]（满足 1 ≤ i ≤ j ≤ n）表列所有可能的项（图类型）。
• 通过验证每条规则在定义运算下均保持无环性与非交叉性，确保系统的无误性。
• 建立推导的完备性与唯一性，从而通过计数推导路径而非直接计数图本身，实现精确计数。

实验结果

研究问题

• RQ1 如何对非交叉有向无环图进行系统分类，以支持高效枚举？
• RQ2 哪些代数运算可用于从较小图构建更大的 NCADs，同时保持非交叉与无环性质？
• RQ3 能否设计一个既无误又完备的推理系统，用于生成所有大小为 n 的 NCADs？
• RQ4 表列所有 NCADs 的计算复杂度是多少？是否可优化以适用于实际应用？
• RQ5 如何将表列框架适配以计数相关图类，如弱连通图或无向非交叉图？

主要发现

• 该表列方法的时间复杂度为 O(n³)，空间复杂度为 O(n²)，适用于实际枚举任务。
• 大小为 n 的非交叉有向无环图的数量由 OEIS 序列 A246756 给出：1, 3, 25, 335, 5521, 101551, 1998753, ...（n ≥ 1）。
• 推理系统具备无误性：所有推导出的图均为有效的非交叉有向无环图。
• 推理系统具备完备性：每个非交叉有向无环图均可通过规则推导得出。
• 每个 NCAD 有唯一的推导路径，因此可通过计数推导路径实现精确计数。
• 该框架可适配以推导弱连通 NCADs（OEIS A246757）、无限制非交叉有向图（OEIS A246758）以及非交叉无向图（OEIS A054726 和 A007297）。