[논문 리뷰] Linial arrangements and local binary search trees

David Forge|arXiv (Cornell University)|2014. 11. 28.

Advanced Combinatorial Mathematics참고 문헌 4인용 수 8

한 줄 요약

이 논문은 Linial 배치의 NBC(비파괴 회로가 없는) 집합과 국소 이진 탐색 트리(LBS) 사이의 구축 가능한 전단사 관계를 수립하며, 두 가지 Linial 유형의 배열에 대해 k-ary 레이블링 트리로 일반화한다. 주요 기여는 손실 그래프와 조합적 트리 구조를 가중치 기반 분해를 통해 연결하는 고유한 재귀적 높이 함수 기반 구조이다. 이는 브라이드, 시, 카탈란 배열에 대해 알려진 전단사 관계를 확장한다.

ABSTRACT

We study the set of NBC sets (no broken circuit sets) of the Linial arrangement and deduce a constructive bijection to the set of local binary search trees. We then generalize this construction to two families of Linial type arrangements for which the bijections are with some $k$-ary labelled trees that we introduce for this purpose.

연구 동기 및 목표

• Linial 배열의 NBC 집합과 국소 이진 탐색 트리(LBS) 사이의 구축 가능한 전단사 관계를 수립하기 위해.
• k-ary 레이블링 트리들을 사용하여 두 가지 Linial 유형의 배열에 대해 이 전단사 관계를 일반화하기 위해.
• 높이 함수와 간선 가중치 기반 재귀적 분해를 통해 k-일반화된 LBS 트리의 정의와 특성화를 하기 위해.
• 브라이드, 시, 카탈란 배열에서의 NBC-트리 관계를 Linial 경우와 그 이상으로 확장하기 위해.

제안 방법

• a + b = 2인 간격 [a,b] 내의 정수 손실 그래프를 정의하며, 특히 [1,1] (Linial)과 [1,k+1], [-k+1,k+1]을 k-일반화에 사용한다.
• 정점 집합 [n]에 대해 높이 함수 h를 정의하여 간선 순서 O_h를 유도하고, 간선 (i,j)의 손실 g에 대해 h(j) - h(i) = g를 만족하는 일관성 있는 간선을 정의한다.
• 손실 그래프에서 코너와 서브코너를 식별하고, 국소 LBS 또는 k-ary 트리에 대응하는 부분수트리로 분해함으로써 NBC 집합을 재귀적으로 구성한다.
• 높이 차이에 기반해 부분수트리에 가중치를 할당한다: 더 작은 레이블을 가진 후손은 k - i + 1, 더 큰 레이블을 가진 후손은 k - i로 할당하고, 루트 부분수트리에 대해서는 조정한다.
• 각 부분수트리를 가중치가 있는 왼쪽 리프 순서 기반 k-ary 탐색 트리(LLkS) 또는 SLLkS로 매핑함으로써 NBC 집합과 k-ary 트리 사이의 전단사 관계를 수립한다.
• 내부 정점이 내림차순 또는 S-내림차순인, 색상이 칠해지고 레이블이 부여된 루트 트리로 관계를 재구성하며, 간선 색상은 [k]에 속하고 내림차순 조건은 레이블 순서에 기반한다.

실험 결과

연구 질문

• RQ1 Linial 배열의 NBC 집합은 어떻게 국소 이진 탐색 트리와 전단사적으로 매핑될 수 있는가?
• RQ2 손실이 [1,k+1] 또는 [-k+1,k+1]인 Linial 유형 배열의 NBC 집합에서 유도되는 국소 이진 탐색 트리의 일반화된 형태는 무엇인가?
• RQ3 높이 함수와 간선 순서는 NBC 집합을 부분수트리로 재귀적으로 분해하는 데 어떻게 기여하는가?
• RQ4 손실이 [1,k+1] 또는 [-k+1,k+1]인 손실 그래프의 NBC 집합과 대응하는 k-ary 트리의 구조적 특성은 무엇인가?
• RQ5 내림차순 조건이 있는 색상이 칠해지고 레이블이 부여된 루트 트리를 사용하여 NBC-트리 관계를 재구성할 수 있는가?

주요 결과

• Linial 배열의 NBC 집합과 국소 이진 탐색 트리(LBS) 사이의 구축 가능한 전단사 관계가 수립되었으며, 브라이드 및 시 배열에 대한 기존 결과를 확장한다.
• [1,k+1] 및 [-k+1,k+1]의 손실에 대해, 본 논문은 (k+1)-ary 트리인 k-일반화된 LBS 트리를 도입하며, 이는 해당 손실 그래프의 NBC 집합과의 전단사 관계를 수립한다.
• n개 정점이 있는 Linial 배열의 NBC 집합의 수가 n개 노드가 있는 국소 이진 탐색 트리의 수와 동일함을 보여주며, 기존의 수량 계산 결과와 일치함을 입증한다.
• 전단사 관계는 재귀적이며 높이 함수에 기반한다: 코너와 서브코너가 부분수트리의 루트를 정의하고, 간선 가중치는 높이 차이와 레이블 순서에 따라 할당된다.
• 내부 정점이 내림차순(일반 LkS) 또는 S-내림차순(SLkS)인 루트, 색상이 칠해지고 레이블이 부여된 트리로 관계를 재구성하며, 간선 색상은 [k]에 속하고 내림차순 조건은 가장 작은 자식 레이블에 기반한다.
• 완전한 손실 그래프 K_n^{[1-k2,k1+k2]}로의 일반화는 두 개의 가중치 집합 W1 = [k1], W2 = [k2]를 정의함으로써 이루어지며, 이는 새로운 k-ary 트리의 가족을 도출한다.