[论文解读] How to encode a tree

Sally Picciotto|arXiv (Cornell University)|Oct 23, 2017

Advanced Graph Theory Research被引用 9

一句话总结

本文提出三种新的双射编码——Happy、Blob 和 Dandelion 编码——基于矩阵树定理与线性代数，对有根树进行编码，提供自然且可逆的算法，超越经典的 Prüfer 编码。主要贡献在于基于矩阵运算与树手术的系统化双射构造，每种方法均保留结构信息，并可推广至森林。

ABSTRACT

We construct bijections giving three "codes" for trees. These codes follow naturally from the Matrix Tree Theorem of Tutte and have many advantages over the one produced by Prufer in 1918. One algorithm gives explicitly a bijection that is implicit in Orlin's manipulatorial proof of Cayley's formula (the formula was actually found first by Borchardt). Another is based on a proof of Knuth. The third is an implementation of Joyal's pseudo-bijective proof of the formula, and is equivalent to one previously found by Egecioglu and Remmel. In each case, we have at least two algorithms, one of which involves hands-on manipulations of the tree while the other involves a combinatorial and linear algebraic manipulation of a matrix.

研究动机与目标

• 开发比经典 Prüfer 编码更自然、更可逆的双射树编码方法。
• 建立矩阵代数（通过矩阵树定理）与显式组合树手术算法之间的直接联系。
• 将现有编码推广至有根树森林，同时保持其结构与代数一致性。
• 探索基于矩阵的构造是否能产生具有组合解释的新颖、高效树编码。
• 研究这些编码在枚举树统计量（如逆序数）方面的潜力，这些统计量与代数组合学密切相关。

提出的方法

• 通过源自矩阵树定理的矩阵行与列运算，构建三种不同的树编码（Happy、Blob、Dandelion）。
• 利用 Garsia 与 Milne 的对合原理，定义符号相反的对合，从而生成双射。
• 引入树手术算法，通过逐步移除顶点与重构路径，反向执行基于矩阵的编码过程。
• 在矩阵元素中使用占位符变量（例如 λ）以在行/列运算过程中保持代数结构，直至最终替换。
• 通过修改根结构与矩阵子式，将相同矩阵与手术方法应用于森林。
• 通过显式对合链，证明基于矩阵的方法与基于树手术的方法在结果上完全一致。

实验结果

研究问题

• RQ1 矩阵树定理能否用于构建超越 Prüfer 编码的、自然且可逆的树与编码之间的双射？
• RQ2 基于矩阵的编码方法是否能产生与矩阵方法本身一样直观且高效的树手术算法？
• RQ3 这些新编码能否在保持其代数与组合性质的前提下，自然推广至有根树森林？
• RQ4 是否能够使用这些基于矩阵的编码来编码树的逆序（例如，沿路径到根的顶点顺序）？
• RQ5 Prüfer 编码是否存在固有局限性，而这些新编码是否通过更好的结构保持与可逆性克服了这些局限？

主要发现

• Happy、Blob 与 Dandelion 编码均为有根树的双射编码，与矩阵树定理一致，且可通过显式算法实现可逆。
• 每种编码的基于矩阵的方法与基于树手术的方法产生完全相同的结果，通过符号相反的对合作证其等价性。
• Dandelion 编码可通过将根节点替换为 k 个根变量之和，自然推广至由 k 棵有根树组成的森林。
• Blob 编码不将顶点 1 视为特殊节点，与 Happy 和 Dandelion 编码不同，因而提供更对称的编码方式。
• Dandelion 编码的矩阵方法计算效率高，且保留了原始树的大部分边，具有计算优势。
• 本文表明，线性代数构造可产生独立且具有组合意义的双射，且矩阵方法在前序阶段启发并指导了树手术方法的构建。