[論文レビュー] 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移動に再分類すること、およびエッジラベルを操作するためのバックワード移動シーケンスという3つの新しい技術を導入することで、Graceful Tree予想を前進させる。特定の直径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の木のクラスがグレーシャルであることを証明することで、Graceful Tree予想の未解決事項を解決すること。
• 既存の移動法における制限を克服するために、タイプ-2移動をタイプ-1移動に再分類すること。
• エッジラベルの分布を制御するためのバックワード移動シーケンス技術を開発すること。
• バナナ木に関する結果を一般化し、より大きな直径の木にまで拡張すること。
• 任意の木の任意の頂点に十分多くの葉を付加することで、常にグレーシャルな木が得られることを証明すること。

提案手法

• 頂点ラベル割り当てをモデル化するため、ブロック単位の入れ替え可能な列（BPS）の概念を導入・適用すること。
• すべての内部頂点におけるブランチの再配置を用いて、新たなラベル配置を生成すること。
• タイプ-2移動をタイプ-1移動に再定式化することで、移動に基づくラベル割り当て戦略を単純化すること。
• 0 → n → 1 → n−1 → ⋯ から始める前後を入れ替えながらの移動シーケンスを実装し、ラベル分布を制御すること。
• 0-回転可能コンティリーを用いて、ほとんど完全マッチングをもつ木に対して一般化Δ+1-構成法を適用すること。
• 一貫した範囲緩和グレーシャルラベル付けと帰納法を用いて、葉の付加におけるグレーシャルラベル付けの存在を証明すること。

実験結果

リサーチクエスチョン

• RQ1 中心および第一レベルの頂点に奇数個のブランチを持つ直径6の木のクラスが、新しい移動技術を用いてグレーシャルであることを証明できるか？
• RQ2 移動法におけるタイプ-2移動は、タイプ-1移動と冗長または同等の操作であるか？
• RQ3 バックワード移動シーケンスは、木のラベル付けにおけるエッジラベル生成の制御を向上させることができるか？
• RQ4 任意の木の任意の頂点に十分大きな数の葉を付加すると、常にグレーシャルな木が得られるか？
• RQ5 コンティリーの概念をほとんど完全マッチングをもつ木にまで拡張でき、構成過程でグレーシャルラベル付けを保持できるか？

主な発見

• すべての偶数キャタピラー型バナナ木はグレーシャルであり、一般化されたバナナ木に関する先行結果が拡張された。
• 根および第一レベルの頂点に奇数個の子をもつ直径6の木の新しいクラスが、特定のラベル割り当て制約の下でグレーシャルであることが証明された。
• 移動法は、タイプ-2移動を排除することで単純化可能であり、これらは本質的にタイプ-1移動の隠れた形である。
• バックワード移動シーケンス（0 → n → 1 → n−1 → ⋯）により、得られるエッジラベルの精密な操作が可能になった。
• 任意の頂点にk個の葉を付加する場合、十分に大きなkに対して、常にグレーシャルな木が得られる。
• ほとんど完全マッチングをもつ木は、そのコンティリーが0-回転可能であればグレーシャルである。これは完全マッチングの場合の一般化である。