[논문 리뷰] Extremal values of the Sackin balance index for rooted binary trees

Mareike Fischer|arXiv (Cornell University)|2018. 01. 31.

Stochastic processes and statistical mechanics참고 문헌 6인용 수 9

한 줄 요약

이 논문은 루트가 있는 이진 트리에서 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.

연구 동기 및 목표

• 루트가 있는 이진 트리에서 Sackin 지수의 극값을 형식적으로 증명하는 것. 이는 이전에 비형식적으로 논의된 바가 있다.
• 잎의 수가 2의 거듭제곱이 아닐 경우 최소 Sackin 지수를 가진 루트가 있는 이진 트리의 수를 세는 열린 문제를 해결하는 것.
• 주어진 잎의 수에 대해 최소 및 최대 Sackin 지수를 달성하는 트리의 구조를 완전히 특성화하는 것.
• 최소 및 최대 Sackin 지수 값을 가진 트리의 수를 계산할 수 있는 명시적이고 계산 가능한 공식을 제공하는 것.

제안 방법

• 저자들은 Sackin 지수를 최소화하고 최대화하는 트리의 구조적 성질을 특성화하기 위해 조합적 트리 분석을 사용한다.
• 재귀적 분해 기법을 적용하여 극값 트리의 수에 대한 폐쇄형 표현식을 유도한다.
• 이 방법은 이진 트리에서 잎의 깊이 분포를 분석하고 Sackin 지수 정의와 연관시키는 것을 포함한다.
• 트리 수세기에서 알려진 결과를 활용하여 이를 2의 거듭제곱이 아닌 잎의 수로 확장한다.
• 극값 트리의 구조와 알려진 조합적 객체 사이의 일대일 대응을 설정하여 유도된 공식의 타당성을 검증한다.
• 수학적 귀납법과 구조적 불변량을 사용하여 유도된 공식의 정확성을 증명한다.

실험 결과

연구 질문

• RQ1 임의의 수의 잎을 가진 루트가 있는 이진 트리 중에서 최소 Sackin 지수를 달성하는 트리의 정확한 구조적 특성은 무엇인가?
• RQ2 임의의 수의 잎을 가진 루트가 있는 이진 트리 중에서 최대 Sackin 지수를 달성하는 트리의 정확한 구조적 특성은 무엇인가?
• RQ3 잎의 수가 2의 거듭제곱이 아닐 경우 최소 Sackin 지수를 가진 루트가 있는 이진 트리의 수는 몇 개인가?
• RQ4 최소 및 최대 Sackin 지수를 가진 트리의 수를 계산할 수 있는 명시적 폐쇄형 공식을 도출할 수 있는가?

주요 결과

• 논문은 잎의 수가 2의 거듭제곱이 아니더라도, 임의의 수의 잎을 가진 루트가 있는 이진 트리 중에서 최소 Sackin 지수를 달성하는 트리의 완전한 특성화를 제공한다.
• 모든 잎의 수에 대해 최대 Sackin 지수를 가진 트리의 수를 위한 폐쇄형 공식을 도출한다.
• 2의 거듭제곱이 아닌 잎의 수에 대해 오랫동안 열려 있던 문제를 해결하기 위해 최소 Sackin 지수 트리의 수를 위한 폐쇄형 공식을 확립한다.
• 최대 Sackin 지수를 가진 극값 트리는 깊이가 특정한 재귀적 구조를 가진 가장 불균형한 트리임이 입증된다.
• 최소 Sackin 지수를 가진 극값 트리는 깊이가 거의 완전한 이진 트리 구조를 가진 가장 균형 잡힌 트리임이 입증된다.
• 극값 트리의 수를 세는 공식은 계산적으로 효율적이며, 모든 잎의 수에 적용 가능하다.