[논문 리뷰] A note on the independence number, domination number and related parameters of random binary search trees and random recursive trees

Michael Fuchs, Cecilia Holmgren외 2명|arXiv (Cornell University)|2019. 09. 27.

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

한 줄 요약

이 논문은 랜덤 이진 탐색 트리와 랜덤 순환 트리에서 독립 수, 독립 집합 수, 클리크 커버 수에 대한 중심극한정리를 수립한다. 이 모델들에서 프링프 트리에 대한 일반적 프레임워크를 사용하여, 저자들은 이러한 그래프 매개변수들이 평균 주위에서 渐近적으로 정규 분포를 띠며, 부분수 트리의 구조와 기능적 극한 법칙을 통한 확률적 분석을 통해 정확한 극한 분포를 도출함을 증명한다.

ABSTRACT

We identify the mean growth of the independence number of random binary search trees and random recursive trees and show normal fluctuations around their means. Similarly we also show normal limit laws for the domination number and variations of it for these two cases of random tree models. Our results are an application of a recent general theorem of Holmgren and Janson on fringe trees in these two random tree models.

연구 동기 및 목표

• 랜덤 이진 탐색 트리와 랜덤 순환 트리에서 독립 수의 점근적 행동을 분석하는 것.
• 두 랜덤 트리 모델에서 독립 집합 수와 관련 매개변수에 대한 중심극한정리를 수립하는 것.
• 트리의 구조적 성질을 활용하여, 이러한 트리 모델에서 클리크 커버 수의 극한 분포에 대한 직접적 증명을 제공하는 것.
• 최근의 프링프 트리 분포 결과를 확장하여, 랜덤 트리 구조에서 핵심 그래프 매개변수에 대한 극한 법칙을 도출하는 것.
• 독립 수, 독립 집합 수, 클리크 커버 수와 같은 다수의 그래프 매개변수 분석을 랜덤 트리에 대한 동일한 확률적 프레임워크 아래 통합하는 것.

제안 방법

• 홀름그렌과 장손의 일반 정리(랜덤 이진 탐색 트리와 랜덤 순환 트리에서의 프링프 트리에 대해)를 적용한다.
• 랜덤 순환 트리의 분해 성질을 사용한다: 루트에서 분할하면 크기가 랜덤인 두 개의 독립적인 랜덤 순환 트리가 생성된다.
• 랜덤 이진 탐색 트리의 재귀적 구조를 활용한다. 루트에서의 왼쪽 및 오른쪽 서브트리는 균일 분포를 가진 크기를 가진다.
• 그래프 매개변수를 트리 구조 위의 가감 함수로 모델링하며, 프링프 트리 분포의 수렴에 의존한다.
• 기능적 극한 법칙과 중심극한정리를 사용하여, 프링프 트리에서의 국소 기여 합에 대해 점근적 정규성을 도출한다.
• 클리크 커버 수와 국소 지표의 합 사이의 분포 동치성을 확립하여, 기존의 극한 정리의 적용을 가능하게 한다.

실험 결과

연구 질문

• RQ1 랜덤 이진 탐색 트리와 랜덤 순환 트리에서 독립 수의 점근 평균과 분산은 무엇인가?
• RQ2 이러한 랜덤 트리 모델에서 독립 수와 독립 집합 수는 중심극한정리를 만족하는가?
• RQ3 랜덤 이진 탐색 트리와 랜덤 순환 트리에서 클리크 커버 수는 점근적으로 어떻게 행동하는가?
• RQ4 독립 집합 수의 프레임워크를 동일하게 사용하여 독립 집합 수의 극한 분포를 도출할 수 있는가?
• RQ5 프링프 트리 분포는 랜덤 트리에서 전반적 그래프 매개변수의 극한 법칙 수립에 어떤 역할을 하는가?

주요 결과

• 랜덤 이진 탐색 트리와 랜덤 순환 트리에서의 독립 수는 중심극한정리를 만족하며, 평균 주위에서 점근적으로 정규 분포를 띤다.
• 두 랜덤 트리 모델에서의 독립 집합 수와 그 변형 역시 점근적으로 정규 분포를 가지는 극한 법칙을 보인다.
• 이러한 랜덤 트리의 클리크 커버 수는 프링프 트리에서의 국소 기여 합으로 표현되며, 그 극한 분포는 정규 분포이다.
• 독립 수의 평균 성장률을 규명하고, 정점 수에 대해 선형임을 보였으며, 프링프 트리 분석을 통해 정확한 점근 상수를 도출할 수 있다.
• 결과는 프링프 트리에 대한 일반적 프레임워크를 사용하여 도출되었으며, 이는 국소 서브트리 구조에서의 극한 법칙을 전반적 그래프 매개변수로 이전하는 데 가능하게 한다.
• 분석 결과는 독립 수, 독립 집합 수, 클리크 커버 수가 적절한 중심화 및 스케일링을 거친 후 모두 정규 분포로 수렴함을 확인한다.