[논문 리뷰] A solution to the tennis ball problem

Anna de Mier, Marc Noy|ArXiv.org|2003. 11. 14.

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

한 줄 요약

이 논문은 격자 경로와 관련된 매트로이드의 Tutte 다항식을 사용하여 일반화된 테니스 볼 문제의 완전한 해를 제시한다. 경로 수를 세는 문제를 매트로이드 구조로 모델링하고, 재귀적 함수 방정식을 통해 명시적인 생성함수를 유도함으로써, 주어진 매개변수 집합에 대해 게임 종료 시 유효한 볼 구성의 수를 체계적으로 계산할 수 있는 방법을 제공한다.

ABSTRACT

We present a complete solution to the so-called tennis ball problem, which is equivalent to counting lattice paths in the plane that use North and East steps and lie between certain boundaries. The solution takes the form of explicit expressions for the corresponding generating functions. Our method is based on the properties of Tutte polynomials of matroids associated to lattice paths. We also show how the same method provides a solution to a wide generalization of the problem.

연구 동기 및 목표

• 특정 제약 조건 하에 n턴 동안 볼을 추가하고 제거하는 과정 후 남는 볼의 서로 다른 집합의 수를 세는 일반화된 테니스 볼 문제를 해결하기 위해.
• 반복 블록 N과 E 단위로 구성된 주어진 경로 경계 아래에 머무르는 유효한 격자 경로의 수를 체계적으로 계산하기 위한 방법을 수립하기 위해.
• 이전 결과가 특수 케이스에 국한되어 있던 것(예: k=1 또는 k=l=2)을 일반화하여 임의의 양의 정수 k_i와 l_i에 적용 가능한 일반적 프레임워크로 확장하기 위해.
• 대수적 함수와 근의 대칭 유리 함수를 사용하여 경로 수 계산 수열의 생성함수에 대해 명시적이고 계산 가능한 표현식을 도출하기 위해.

제안 방법

• 경로가 형태 (N^{k_1}E^{l_1}...N^{k_r}E^{l_r})^n인 경계 경로 아래에 머무르도록 제약된 테니스 볼 문제를 격자 경로 수세기 문제로 모델링하기 위해.
• 각 경로를 기저가 바구니 외부의 유효한 볼 구성에 대응하는 매트로이드 M[P_n]과 연결하기 위해.
• Tutte 다항식 t(M[P_n]; x, y)를 사용하여 경계와의 교차 수와 초기 E-단위 수를 추적하는 매개변수를 포함한 경로 수를 인코딩하기 위해.
• 경계 경로의 블록 간 정보를 전파하기 위해 재귀적 함수 변환 Φ^i를 정의하고, 생성함수의 재귀적 계산을 가능하게 하기 위해.
• 생성함수의 대수적 구조를 표현하기 위해 대수방정식 (w-1)^l - z w^{k+l} = 0의 멱급수 해 w_1, ..., w_l을 도입하기 위해.
• 생성함수 Q(z) = (1/z) R(w_1, ..., w_l)를 도출하며, 여기서 R은 주어진 방정식계로부터 계산 가능한 대칭 유리 함수이다.

실험 결과

연구 질문

• RQ1 임의의 매개변수 t와 s에 대해 테니스 볼 문제에서 n턴 이후 남는 볼의 서로 다른 집합의 수는 어떻게 계산할 수 있는가?
• RQ2 (0,0)에서 (ln, kn)까지 가는 격자 경로 중 경계 경로 (N^{k_1}E^{l_1}...N^{k_r}E^{l_r})^n을 초과하지 않는 경로의 수에 대한 생성함수는 무엇인가?
• RQ3 기존 문제와 이전에 해결된 케이스(예: k=1, k=l=2)를 초월하여 이 해법을 일반화할 수 있는가?
• RQ4 연관된 매트로이드의 Tutte 다항식을 어떻게 활용하여 경로 수 계산 생성함수에 대해 닫힌 표현식 또는 계산 가능한 표현식을 도출할 수 있는가?

주요 결과

• 유효한 구성의 수에 대한 생성함수는 Q(z) = (1/z) R(w_1, ..., w_l)로 주어지며, 여기서 w_1, ..., w_l은 (w-1)^l - z w^{k+l} = 0의 유일한 분수 급수 해이다.
• (k_1,l_1,k_2,l_2) = (2,2,1,1)인 경우, 생성함수는 수열 1, 16, 503, 19904, 885500, ... 를 도출하며, 명시적인 유리 함수 R = (1-w_1)(1-w_2)(1-w_3)/(2w_1w_2w_3 - (w_1w_2 + w_1w_3 + w_2w_3))로 주어진다.
• 이 방법은 이전 결과를 일반화한다: k=1일 경우, 생성함수는 일반화된 카탈란 수 공식 1/((l-1)n+1) * C(ln, n)로 간소화된다.
• 완전한 Tutte 다항식 생성함수는 근 w_j와 변수 x와 y의 대칭 함수를 포함하는 유리 함수로 표현된다.
• 이 해법은 효과적이며 알고리즘적이다: 임의의 입력 k_1, l_1, ..., k_r, l_r에 대해 R을 계산할 수 있는 컴퓨터 프로그램을 작성할 수 있다.