[论文解读] The Graceful Tree Conjecture: a class of graceful diameter-6 trees

Matthew C. Superdock|arXiv (Cornell University)|Mar 6, 2014

Graph Labeling and Dimension Problems参考文献 25被引用 6

一句话总结

该论文通过引入三种新技术推进了优雅树猜想：在内部顶点处进行通用分支重排、将2型转移重新分类为伪装的1型转移，以及使用反向转移序列来操控边标签。论文证明了特定类别的直径为6的树（包括广义香蕉树和某些蜘蛛图）是优雅的，并表明向任意树上附加足够多的叶子将产生一棵优雅树。

ABSTRACT

We survey the current state of progress on the Graceful Tree Conjecture, and then we present several new results toward the conjecture, driven by three new ideas: (1) It has been proven that generalized banana trees are graceful by rearranging the branches at the root--consider rearranging branches at all internal vertices; (2) The method of transfers has typically involved type-1 transfers and type-2 transfers--all type-2 transfers are type-1 transfers in disguise, and hence can be removed from the discussion; (3) The method of transfers has typically used the sequence of transfers $0 ightarrow n ightarrow 1 ightarrow n - 1 ightarrow\cdots$--transfer backwards to manipulate the resulting labels. Using these ideas, we prove that several classes of diameter-6 trees are graceful, and we generalize some of these classes to larger trees. We also introduce a class of graceful spiders, prove that attaching sufficiently many leaves to any tree gives a graceful tree, and extend known results on trees with perfect matchings.

研究动机与目标

• 通过证明直径为6的树的新类是优雅的，以解决优雅树猜想中的开放问题。
• 通过将2型转移重新分类为1型转移，解决现有转移方法的局限性。
• 开发反向转移序列技术，以控制边标签的分布。
• 推广香蕉树结果，并将其扩展到更大直径的树。
• 证明向任意树的任一顶点附加足够多的叶子，总会产生一棵优雅树。

提出的方法

• 引入并应用块可置换序列（BPS）的概念，以建模树中顶点标签的分配。
• 通过在所有内部顶点处重新排列分支，生成新的标签配置。
• 将2型转移重新表述为1型转移，从而简化基于转移的标签策略。
• 实施从 0 → n → 1 → n−1 → ⋯ 开始的来回转移序列，以控制标签分布。
• 对具有近乎完美匹配的树应用广义 Δ+1-构造，使用 0-可旋转的 contendree。
• 使用一致的范围松弛优雅标签和归纳法，证明在附加叶子时优雅标签的存在性。

实验结果

研究问题

• RQ1 能否使用新的转移技术证明中心顶点和第一级顶点具有奇数分支的直径为6的树是优雅的？
• RQ2 转移方法中的2型转移是否代表冗余或等价于1型转移的操作？
• RQ3 反向转移序列是否能改善对树标签中边标签生成的控制？
• RQ4 向任意树的任一顶点附加足够多的叶子是否总是产生优雅树？
• RQ5 能否将 contree 概念扩展到具有近乎完美匹配的树，以在构造过程中保持优雅标签？

主要发现

• 所有偶数-长毛虫香蕉树都是优雅的，扩展了关于广义香蕉树的先前结果。
• 在特定标签约束下，证明了一类新的直径为6的树（根节点和第一级顶点具有奇数个子节点）是优雅的。
• 通过消除2型转移，可简化转移方法，因为它们在伪装下等价于1型转移。
• 反向转移序列（0 → n → 1 → n−1 → ⋯）实现了对结果边标签的精确操控。
• 向任意树的任一顶点附加 k 个叶子（当 k 足够大时），将产生一棵优雅树。
• 若其 contendree 是 0-可旋转的，则具有近乎完美匹配的树是优雅的，推广了完美匹配的情况。