[論文レビュー] A solution to the tennis ball problem

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

Advanced Combinatorial Mathematics参考文献 5被引用数 5

ひとこと要約

本稿では、格子路に関連するマトロイドの Tutte 多項式を用いて、一般化されたテニスボール問題の完全な解を提示する。パスカウンティング問題をマトロイド構造としてモデル化し、再帰的関数方程式を通じて明示的な母関数を導出することで、任意のパrameterセットに対してゲーム終了時の有効なボール配置の数を体系的に計算する手法を提供する。

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 パrameter 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 を計算するコンピュータプログラムを記述可能である。