[論文レビュー] Extremal values of the Sackin balance index for rooted binary trees

Mareike Fischer|arXiv (Cornell University)|Jan 31, 2018

Stochastic processes and statistical mechanics参考文献 6被引用数 9

ひとこと要約

この論文は、根付き2分木におけるSackin指数の極値を形式的証明し、任意の葉数に対して最小および最大Sackin指数を達成する木の数を計算する明示的公式を導出している。これは、葉数が2の累乗でない場合における最小Sackin指数木の数を数える問題が長年の文献的ギャップであったのを解消している。

ABSTRACT

Tree balance plays an important role in different research areas like theoretical computer science and mathematical phylogenetics. For example, it has long been known that under the Yule model, a pure birth process, imbalanced trees are more likely than balanced ones. Therefore, different methods to measure the balance of trees were introduced. The Sackin index is one of the most frequently used measures for this purpose. In many contexts, statements about the minimal and maximal values of this index have been discussed, but formal proofs have never been provided. Moreover, while the number of trees with maximal Sackin index as well as the number of trees with minimal Sackin index when the number of leaves is a power of 2 are relatively easy to understand, the number of trees with minimal Sackin index for all other numbers of leaves was completely unknown. In this manuscript, we fully characterize trees with minimal and maximal Sackin index and also provide formulas to explicitly calculate the number of such trees.

研究の動機と目的

• 根付き2分木におけるSackin指数の極値を形式的証明すること。これは、以前に非形式的に議論されていた内容である。
• 葉数が2の累乗でない場合における最小Sackin指数を持つ根付き2分木の数を数えるという未解決問題を解消すること。
• 与えられた任意の葉数に対して、最小および最大Sackin指数を達成する木の構造を完全に特徴づけること。
• 最小および最大Sackin指数値を達成する木の数を計算する明示的かつ計算可能な公式を提供すること。

提案手法

• 著者たちは、Sackin指数を最小化および最大化する木の構造的性質を特徴づけるために、組合せ的木解析を用いた。
• 再帰的分解技術を適用して、極値木の数に対する閉形式表現を導出した。
• この手法は、2分木における葉の深さ分布を分析し、Sackin指数の定義と関連付けることを含む。
• 木の列挙に関する既知の結果を活用し、それらを2の累乗でない葉数に拡張した。
• 極値木構造と既知の組合せ的対象との間の全単写像（双対写像）を確立して、公式の妥当性を検証した。
• 数学的帰納法と構造的不変量を用いて、導出された公式の正しさを証明した。

実験結果

リサーチクエスチョン

• RQ1 任意の葉数に対して最小Sackin指数を達成する根付き2分木の正確な構造的特徴は何か？
• RQ2 任意の葉数に対して最大Sackin指数を達成する根付き2分木の正確な構造的特徴は何か？
• RQ3 葉数が2の累乗でない場合、最小Sackin指数を達成する根付き2分木はいくつあるか？
• RQ4 最小および最大Sackin指数を持つ木の数を計算する明示的・閉形式の公式を導出できるか？

主な発見

• この論文は、2の累乗でない葉数に対しても含め、任意の葉数に対して最小Sackin指数を達成する根付き2分木の完全な特徴づけを提供している。
• 任意の葉数に対して、最大Sackin指数を達成する木の数を表す閉形式の公式を導出した。
• 2の累乗でない葉数に対して長年の未解決問題であった、最小Sackin指数を達成する木の数を表す閉形式の公式を確立した。
• 最大Sackin指数を達成する極値木は、特定の再帰的深さ構造を持つ最も非対称な木であることが示された。
• 最小Sackin指数を達成する極値木は、ほぼ完全2分木構造を持つ最もバランスの取れた木であることが示された。
• 極値木を数えるための公式は計算的に効率よく、あらゆる葉数に適用可能である。