[論文レビュー] Stable Fixed Points of Card Trick Functions

Jyoti Champanerkar, Mahendra Jani|arXiv (Cornell University)|Aug 13, 2013

Artificial Intelligence in Games参考文献 6被引用数 3

ひとこと要約

この論文は、線形離散力学系を用いて21枚のカードのトリックを数学的に説明し、p と q が 3 以上の奇数である一般化された p×q カードトリックにおいて、選ばれたカードが有限回の反復の後、常に安定した固定点 (pq+1)/2 に到達することを証明している。この固定点の安定性により、初期位置にかかわらず予測可能な収束が保証される。

ABSTRACT

The 21-card trick is a way of dealing cards in order to predict the card selected by a volunteer. We give a mathematical explanation of why the well-known 21-card trick works using a simple linear discrete function. The function has a stable fixed point which corresponds to the position where the selected card reaches at the end of the trick. We then generalize the 21(7 x 3)-card trick to a p x q - card trick where p and q are odd integers greater than or equal to three, determine the fixed point and prove that it is also stable.

研究の動機と目的

• 21枚のカードのトリックが力学系理論を用いてなぜ信頼性を持って選ばれたカードを特定できるかを数学的に説明すること。
• 21枚のカードのトリックを、p と q が 3 以上の奇数である一般化された p×q カードトリックに拡張すること。
• 一般化されたカードトリック関数における固定点の存在と安定性を証明すること。
• p と q に応じて、固定点への収束に必要な反復回数を特定すること。
• 数学的帰納法を用いた教育的で理解しやすい証明を通じて、数学的展開を示すこと。

提案手法

• 各配りと回収のサイクル後の選ばれたカードの位置を表す線形離散関数 f(n) をモデル化すること。
• 位置を n = qk - l の形で表し、k を行インデックス、l を列を決定する値（0 ≤ l ≤ q-1）とする。
• p×q の場合の関数 h(n) を定義し、選ばれた列を中央に配置した列スタックによる次の位置への写像を示すこと。
• 中央の q 行ブロックからのブロック距離に関する帰納法を用いて、すべての初期位置から固定点への収束を証明すること。
• 行ブロックの変換を分析し、中央ブロック外のカードが次第に中心に近づくことを示すこと。
• 関数 h(n) を繰り返し適用したときに、初期位置にかかわらず固定点 (pq+1)/2 に収束することを示し、安定性を証明すること。

実験結果

リサーチクエスチョン

• RQ1 なぜ21枚のカードのトリックは3回の反復で常に選ばれたカードを特定できるのか？
• RQ2 21枚のカードのトリックにおけるカード位置変換をモデル化する数学的関数は何か？
• RQ3 21枚のカードのトリックは、p と q が奇数である場合に一般化して p×q カードに拡張できるか？
• RQ4 一般化されたカードトリック関数の固定点は何か？また、それは安定か？
• RQ5 一般化された p×q ケースにおいて、固定点への収束に必要な反復回数は何か？

主な発見

• 21枚のカードのトリックは、位置 11 に安定した固定点に収束し、(21+1)/2 = 11 である。
• p と q が 3 以上の奇数である一般化された p×q カードトリックにおいて、固定点は (pq+1)/2 であり、関数 h(n) に対して安定である。
• 関数 h(n) は、初期位置にかかわらず、任意の選ばれたカードが有限回の反復で固定点に到達することを保証する。
• p ≤ q の場合、収束は最大2回の反復で達成される。
• p > q の場合、反復回数は p と q の比に依存し、q+1 ≤ p ≤ 3q の範囲では3回、3q+1 ≤ p ≤ 5q の範囲では4回の反復が必要である。
• 中央の q 行ブロックからのブロック距離に関する帰納法を用いた証明により、中央ブロック外のカードが次第に中心に近づくことが示された。