[논문 리뷰] Automatic Counting of Restricted Dyck Paths via (Numeric and Symbolic) Dynamic Programming

Shalosh B. Ekhad, Doron Zeilberger|arXiv (Cornell University)|2020. 06. 02.

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

한 줄 요약

이 논문은 수치적 및 기호적 동적 프로그래밍을 이용해 제한된 딕 경로를 자동으로 열거하는 체계적인 방법을 제시한다. 두 개의 Maple 패키지인 Dyck.txt와 DyckClever.txt를 도입하여 특정 반복 길이나 정점/골짜기 높이 제약 조건을 회피하는 딕 경로에 대해 수열을 생성하고, 대수적 생성 함수 및 선형 재귀식을 유도하며, KISS 원칙을 통해 자동으로 열거 공식을 발견할 수 있도록 한다.

ABSTRACT

Dyck paths are one of the most important objects in enumerative combinatorics, and there are many papers devoted to counting selected families of Dyck paths. Here we present two approaches for the automatic counting of many such families, using both a "dumb" approach (driven by numeric dynamic programming) that often works in practice, and a "clever" approach, needed for larger problems, driven by "symbolic" dynamic programming. Both approaches are fully automated and implemented in Maple.

연구 동기 및 목표

• 다양한 제약 조건, 예를 들어 금지된 반복 길이나 정점/골짜기 높이 제약 조건 하에서 딕 경로의 자동 열거를 수행하는 것.
• 복잡한 개념적 증명이 존재하더라도 '가장 단순한 것을 유지하라' (KISS) 원칙이 초기 수열 항들을 바탕으로 신뢰할 수 있는 패턴 인식을 가능하게 한다는 것을 보여주는 것.
• 수동 조합적 통찰이 필요한 것을 줄이기 위해 컴퓨터가 경로 구조에 대해 재귀적으로 추론하도록 가르치는 일반적인 계산 프레임워크를 개발하는 것.
• 유한한 제약 조건을 넘어서 산술적 등차수열을 통해 무한한 금지 패턴 집합까지 자동 열거 범위를 확장하는 것.
• 정확한 대수적 방정식을 유도하는 기호적 동적 프로그래밍 엔진을 제공하여 추측된 공식의 엄밀한 검증을 가능하게 하는 것.

제안 방법

• 수치적 동적 프로그래밍(패키지 Dyck.txt를 통해)은 주어진 제약 조건 하에서 유효한 딕 경로를 재귀적으로 세어 초기 수열의 많은 항을 생성한다.
• 기호적 동적 프로그래밍(패키지 DyckClever.txt를 통해)은 기호 변수를 사용해 재귀적 경로 분해를 모델링하여 생성 함수에 대한 대수적 방정식을 구성한다.
• 이 방법은 반복 길이 제약(상승 또는 하강)과 정점/골짜기 높이 조건을 가진 부분경로의 조합으로 딕 경로를 모델링한다.
• 경로의 첫 번째 단계에 따라 함수적 재귀 방정식을 유도하며, 초기 반복이 상승인지 하강인지에 따라 경우를 나눈다.
• 무한한 금지 반복 길이 집합은 산술적 등차수열(예: 홀수 길이에 대해 {2r+1})로 표현하여 기호 처리가 가능하게 한다.
• 생성 함수 방정식은 재귀적 분해를 통해 유도되며, 예를 들어 H_{C,C1,D,D1}(x) = x * h_{C,C2,D,D2}(x) 또는 특정 작은 반복을 제외할 때의 뺄셈 규칙을 사용한다.

실험 결과

연구 질문

• RQ1 특정 반복 길이(예: 상승 반복 길이 2나 하강 반복 길이 3를 금지)를 회피하는 딕 경로의 수를 자동으로 계산하고, 그 생성 함수를 도출할 수 있는가?
• RQ2 초기 수열 항들로부터 공식을 추측하는 KISS 원칙이 조합적 열거에서 얼마나 엄밀하고 자동화될 수 있는가?
• RQ3 기호적 동적 프로그래밍을 사용해 복잡한 제약 조건(예: 금지된 정점 높이 또는 반복 길이)을 가진 딕 경로의 정확한 대수적 생성 함수 방정식을 도출할 수 있는가?
• RQ4 무한한 금지 패턴 집합(예: 모든 홀수 길이의 상승 반복)은 어떻게 표현하고 알고리즘적으로 처리할 수 있는가?
• RQ5 이 방법은 동시에 금지된 부분어, 반복 길이, 높이 제약 조건을 모두 회피하는 딕 경로로 일반화될 수 있는가?

주요 결과

• Maple 패키지 Dyck.txt는 금지된 반복 길이를 가진 딕 경로에 대해 첫 100개 항을 성공적으로 계산하여 신뢰할 수 있는 패턴 추측을 가능하게 한다.
• 상승 반복 길이 2와 하강 반복 길이 3를 금지하는 딕 경로의 생성 함수는 P에 대한 10차 대수적 방정식을 만족하며, 계수는 x에 대한 다항식이다.
• 시스템은 모든 정점 높이가 {1} ∪ 짝수인 딕 경로가 모츠킨 재귀식을 만족함을 정확히 도출하여, Retakh의 추측을 자동화된 방법으로 확인한다.
• DyckClever.txt를 통한 기호적 접근은 무한한 금지 반복 길이 집합, 예를 들어 모든 홀수 길이의 상승 반복을 처리할 수 있으며, 생성 함수 방정식 1 + (−x + 1)P + x²(x − 1)P³ = 0을 도출한다.
• 이 방법은 유한하거나 무한한 금지된 부분어 집합을 동시에 처리할 수 있으며, 반복 길이와 높이 제약 조건의 조합을 포함한다.
• 이 방법은 모든 홀수 길이의 상승 반복과 모든 짝수 길이의 하강 반복을 금지하는 딕 경로에 대해 생성 함수 방정식을 성공적으로 도출하였으며, P에 대한 6차 대수적 방정식을 얻는다.