[논문 리뷰] Generating and ranking of Dyck words

Zoltán Kása|arXiv (Cornell University)|2010. 02. 12.

Advanced Combinatorial Mathematics참고 문헌 5인용 수 6

한 줄 요약

이 논문은 카탈란 수로 세어지는 조합 구조인 딕 워드를 생성, 순위 매기기, 역순위 매기기 위한 효율적인 알고리즘을 제시한다. 이는 이진 문자열에서 1의 위치 기반 인코딩을 사용한다. 재귀적이고 반복적인 생성 방법, 격자 경로 수세기 기반의 순위 매기기 함수, 동적 프로그래밍을 통한 역순위 매기기 방법을 도입하였으며, 주요 기여는 순위 논리에서 유도된 새로운 카탈란 수의 재귀 공식이다.

ABSTRACT

A new algorithm to generate all Dyck words is presented, which is used in ranking and unranking Dyck words. We emphasize the importance of using Dyck words in encoding objects related to Catalan numbers. As a consequence of formulas used in the ranking algorithm we can obtain a recursive formula for the nth Catalan number.

연구 동기 및 목표

• 모든 딕 워드를 사전순 및 역사전순으로 생성하기 위한 실용적인 알고리즘을 개발하기.
• 딕 워드의 순위 매기기 및 역순위 매기기 메커니즘을 이진 문자열 표현에서 1의 위치 기반으로 제공하기.
• 딕 워드 순위 매기기와 격자 경로 수세기 간의 연결 고리를 설정하여 카탈란 수에 대한 새로운 재귀 공식을 도출하기.
• 딕 워드가 이진 트리와 같은 조합 구조를 인코딩하는 데 어떻게 활용될 수 있는지 보여주며, 명시적인 인코딩 및 디코딩 알고리즘 제공하기.

제안 방법

• 0과 1의 개수 및 균형 제약 조건을 상태 추적하는 재귀 백트래킹을 사용해 사전순으로 딕 워드를 생성하기.
• 딕 워드 성질을 보장하기 위해 $2i \leq b_i \leq n+i$ 를 만족하는 유효한 1의 위치를 반복적으로 순회하는 위치 기반 알고리즘을 사용해 딕 워드를 생성하기.
• 역사전순으로 다음 딕 워드를 생성하기 위해 왼쪽에서부터 첫 번째 '10'을 '01'로 반복적으로 교체하기.
• $(0,0)$ 에서 $(i,j)$ 까지의 단조 증가하는 격자 경로 수를 세는 함수 $f(i,j)$ 를 사용해 딕 워드의 순위를 매기며, 경로 수의 합산을 통해 순위를 계산하기.
• 순위 매기기 과정의 역순으로 진행하여 딕 워드를 복원하기: 목표 순위에 도달할 때까지 1의 위치를 반복적으로 증가시키며 경로 수를 빼기.
• 왼쪽 자식만 존재할 경우 '01', 오른쪽 자식만 존재할 경우 '10', 양쪽 자식이 존재할 경우 '00', 오른쪽 자식을 계속 탐색할 경우 '11'을 붙이는 재귀적 순회를 통해 이진 트리를 딕 워드로 인코딩하기.

실험 결과

연구 질문

• RQ1 반복 길이 $n$ 인 모든 딕 워드를 어떻게 체계적으로 사전순 및 역사전순으로 생성할 수 있는가?
• RQ2 주어진 딕 워드를 사전순으로 정렬된 목록에서 고유한 순위로 매기는 데 효율적인 방법은 무엇인가?
• RQ3 순위에서 딕 워드를 복원할 수 있는 역과정을 구성할 수 있는가? 이를 통해 역순위 매기기 기능을 구현할 수 있는가?
• RQ4 순위 매기기 함수를 어떻게 활용해 $n$번째 카탈란 수에 대한 새로운 재귀 공식을 도출할 수 있는가?
• RQ5 딕 워드는 이진 트리와 같은 조합 구조를 어떻게 인코딩하고 디코딩하는 데 기여하는가?

주요 결과

• 1의 위치를 수정하는 알고리즘은 역사전순으로 $C_n$개의 모든 딕 워드를 생성하며, $n=4$ 일 때 14개의 워드를 생성한다.
• 순위 알고리즘은 경로 수 $f(n-i, n+i-j)$ 의 합산을 통해 딕 워드의 순위를 계산하며, 예시로 $b = 4,5,8,9,10$ 일 때 순위 33를 산출한다.
• 역순위 알고리즘은 $n=6$ 일 때 순위 93에 해당하는 딕 워드를 성공적으로 복원하였으며, 결과적으로 $b = 4,5,7,9,11,12$ 의 위치를 가진다.
• $(n+1)$번째 카탈란 수에 대한 새로운 재귀 공식을 도출하였다: $C_{n+1} = 1 + \sum_{k \geq 0} (-1)^k \binom{n-k}{k+1} C_{n-k}$.
• 딕 워드를 사용한 이진 트리의 인코딩 및 디코딩 알고리즘은 정확하고 일대일 대응이 성립하며, 각 트리의 구조에 대해 고유한 딕 워드를 생성한다.
• 순위 매기기에서 사용된 함수 $f(i,j)$ 는 효율적인 계산을 가능하게 하는 재귀 관계를 만족하며, 카탈란 수 공식 유도의 기초가 된다.