[論文レビュー] The Gift Exchange Problem

David Applegate, N. J. A. Sloane|ArXiv.org|Jul 3, 2009

Advanced Combinatorial Mathematics参考文献 10被引用数 4

ひとこと要約

この論文は、各ギフトがσ回まで盗まれることを許容する条件下で、ギフト交換問題を順次ギフトを選択または盗難する操作の組み合わせ的プロセスとしてモデル化することで解決する。制限付き第二種スターリング数とベッセル多項式を用いて、可能なゲームシナリオの数に対する明示的公式および線形再帰関係を導出しており、σ = 1 から 5 までの主要な結果を提示するとともに、一般化された再帰構造についての仮説を提示する。

ABSTRACT

The aim of this paper is to solve the "gift exchange" problem: you are one of n players, and there are n wrapped gifts on display; when your turn comes, you can either choose any of the remaining wrapped gifts, or you can "steal" a gift from someone who has already unwrapped it, subject to the restriction that no gift can be stolen more than a total of S times. The problem is to determine the number of ways that the game can be played out, for given values of S and n. Several recurrences and explicit formulas are given for these numbers, although some open questions remain.

研究の動機と目的

• 各ギフトが最大σ回まで盗まれることを許容する条件下で、ギフト交換ゲームが取り得る異なるプレイの方法の数を特定すること。
• σ制限の制約下で、ギフト選択または盗難の操作列としてゲームをモデル化すること。
• ゲームの結果の数え上げと、制限付きスターリング数やベッセル多項式といった組合せ的数列との関係を確立すること。
• 一般のσおよびnについて、ゲームシナリオの数の明示的再帰関係を導出すること。
• 再帰の深さおよび係数多項式の一般構造についての仮説を提示すること。

提案手法

• σ回の盗難制限があるとき、n+1個のギフトに対してGσ(n)を定義し、ギフトが固定順序1からn+1の順にプールから引き出されるゲームシナリオの数とする。
• Gσ(n)を第二種スターリング数の制限付き版S²(σ+1)(k,n)の和として表現する：Gσ(n) = Σ S²(σ+1)(k,n)（kはnから(σ+1)nまで）。
• Wilf-Zeilbergerの和分技術を用いて、Gσ(n)の再帰関係を検証および導出する。
• σ = 1 から 4 について、nにおける多項式係数を有する線形再帰関係を導出し、より高いσについての一般形を仮説立てる。
• 再帰の深さと係数構造を分析し、深さδ = (n+1 choose 2) + 1であり、係数の次数がmin{σ, j−i}で上限を持つと仮説立てる。
• σ = 1 の場合をベッセル多項式と関連付け、σ = 2 の場合を超幾何関数と関連付けることで、一般化の可能性を示唆する。

実験結果

リサーチクエスチョン

• RQ1 各ギフトが最大σ回まで盗まれることを許容する条件下で、与えられたσとnについて、異なるゲームシナリオの正確な数は何か？
• RQ2 Gσ(n)という数列は、制限付きスターリング数やベッセル多項式といった既知の組合せ的関数で表現可能か？
• RQ3 Gσ(n)の線形再帰の一般構造は何か？ そして、すべてのσについて成り立つか？
• RQ4 σ = 1 および σ = 2 のケースを一般化した、一般化されたベッセル関数や超幾何関数は存在するか？
• RQ5 Gσ(n)およびEσ(n,k)についての、再帰の深さおよび係数の境界に関する仮説は、形式的に証明可能か？

主な発見

• σ = 1 かつ n = 1 から 5 の場合、ギフトの順序を考慮したシナリオ数はそれぞれ1, 2, 7, 37, 266であり、ベッセル多項式列A001515と一致する。
• 完全なゲームシナリオ数Hσ(n)はn! × Gσ(n−1)として与えられ、Gσ(n)は制限付きスターリング数S²(σ+1)(k,n)の和として定義される。
• σ = 1 から 4 について、Gσ(n)の明示的線形再帰関係が導出され、再帰の深さと係数の複雑さが増加している。
• Gσ(n)の再帰深さはδ = (n+1 choose 2) + 1に従うように見える。これはA000124列と一致する。
• Gσ(n)の再帰における係数は、次数がmin{σ, j−i}で上限を持つnの多項式であり、構造的境界が仮説されている。
• 本論文は、Gσ(n)およびEσ(n,k)の一般再帰形を仮説し、先頭係数が1で、係数の次数が制限されていると示唆する。