다익스트라 단어 생성·순위 매김과 카탈란 수 응용

초록

본 논문은 다익스트라(Dyck) 단어를 사전식 순서로 모두 생성하는 새로운 재귀 알고리즘을 제시하고, 이를 이용한 순위(rank)와 역순위(unrank) 방법을 제시한다. 1‑위치 집합을 활용한 조합 생성, “10 → 01” 변환 기반 생성, 그리고 격자 경로 함수 f(i,j)를 이용한 순위 계산식을 도입한다. 또한 이 기법을 이진 트리 인코딩·디코딩에 적용하고, 파생된 식을 통해 카탈란 수의 재귀 및 폐쇄형 공식도 도출한다.

상세 분석

논문은 먼저 이진 알파벳 B={0,1}와 평가 함수 h를 정의하여 길이 2n인 문자열이 다익스트라 단어가 되기 위한 두 조건, 즉 모든 앞부분의 h값이 비음수이고 전체 합이 0임을 명시한다. 이를 기반으로 사전식(lexicographic) 순서에서 다익스트라 단어를 생성하는 간단한 재귀 절차를 설계한다. 알고리즘은 현재까지 사용된 0과 1의 개수(n0, n1)를 추적하며, 다섯 가지 경우에 따라 다음 문자를 0 혹은 1로 선택한다. 이 과정은 모든 가능한 문자열을 중복 없이 탐색함을 증명한다.

다음으로 저자는 1의 위치 집합 b₁…bₙ을 이용한 조합 생성 방법을 제시한다. 다익스트라 단어의 1 위치는 2i ≤ bᵢ ≤ n+i 를 만족해야 하므로, 초기값 bᵢ=2i에서 시작해 가능한 최대값까지 순차적으로 증가시키는 루프를 통해 역사전식 순서로 모든 위치 조합을 열거한다. 이 방법은 문자열 자체를 다루지 않고 위치만으로도 완전한 생성이 가능함을 보여준다.

세 번째 접근은 “10 → 01” 변환을 이용한다. 초기 문자열을 (01)ⁿ으로 두고, 현재 문자열에서 가장 왼쪽에 나타나는 10을 01로 바꾸는 과정을 재귀적으로 적용한다. 저자는 모든 다익스트라 단어가 이 변환 과정을 통해 (01)ⁿ으로 환원될 수 있음을 증명함으로써, 변환 기반 알고리즘이 완전함을 확보한다.

순위 매김 부분에서는 격자 (0,0)에서 (i,j)까지 대각선 x=y를 넘지 않는 경로 수 f(i,j)를 정의하고, 재귀식 f(i,j)=f(i‑1,j)+f(i,j‑1) (1≤j<i≤n) 등을 이용한다. 이 함수는 잘 알려진 카탈란 수와 직접 연결되며, Cₙ₊₁ = f(n+1,n) = Σ_{i=0}^{n} f(n,i) 로 표현된다. 순위 알고리즘은 주어진 1 위치 집합 b₁…bₙ에 대해 보조 배열 cᵢ = max(bᵢ‑1+1,2i)를 만든 뒤, 각 i에 대해 cᵢ부터 bᵢ‑1까지 f(n‑i, n+i‑j) 값을 누적해 순번 nr을 계산한다. 이는 사전식 순서에서의 정확한 위치를 반환한다.

역순위(unranking) 알고리즘은 목표 순번 nr을 입력받아, 초기값 bᵢ=2i에서 시작해 f값을 이용해 nr을 감소시키면서 bᵢ를 적절히 증가시킨다. 루프는 nr이 현재 f값보다 작아질 때까지 진행되며, 최종적으로 얻어진 b₁…bₙ은 원하는 순번에 해당하는 다익스트라 단어의 1 위치를 제공한다.

응용 섹션에서는 다익스트라 단어를 이진 트리의 전위/후위 인코딩에 활용한다. 트리의 왼·오른쪽 서브트리를 재귀적으로 탐색하며 01,10,00,11 네 가지 패턴을 순서대로 붙여 문자열을 만든다. 디코딩은 스택을 이용해 00과 11 패턴 사이의 매칭을 복원함으로써 트리 구조를 재구성한다. 이는 Catalan 구조물(이진 트리, 괄호열 등)과의 일대일 대응을 실현한다.

마지막으로, f와 Cₙ 사이의 관계식을 이용해 새로운 카탈란 수 공식
Cₙ₊₁ = 1 + Σ_{k≥0} (−1)^{k}·C_{n−k}·( n−k choose k+1 )
을 도출한다. 이는 기존의 재귀식과는 다른 포함‑배제 형태이며, 증명은 f(n,n‑k)의 전개와 수학적 귀납법을 통해 이루어진다.

전체적으로 논문은 다익스트라 단어의 생성·순위·역순위에 대한 알고리즘을 체계적으로 정리하고, 이를 Catalan 수와 다양한 구조적 객체에 연결함으로써 이산수학 및 알고리즘 설계 분야에 실용적인 도구와 이론적 통찰을 제공한다.