[论文解读] 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牌魔术中（p和q为≥3的奇数），选定的牌总能在有限次迭代后到达位于位置(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牌魔术，其中p和q为≥3的奇数。
• 证明广义牌魔术函数中不动点的存在性与稳定性。
• 确定收敛至不动点所需的迭代次数，取决于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张牌魔术总能在三次迭代内定位到选定的牌？
• RQ2 21张牌魔术中牌位置变换的数学函数是什么？
• RQ3 如何将21张牌魔术推广至p×q张牌，其中p和q为奇数？
• RQ4 广义牌魔术函数的不动点是什么？它是否稳定？
• RQ5 在广义的p×q牌魔术中，收敛至不动点需要多少次迭代？

主要发现

• 21张牌魔术收敛至位于位置11的稳定不动点，即(21+1)/2 = 11。
• 对于广义的p×q牌魔术（p,q为≥3的奇数），不动点为(pq+1)/2，且在函数h(n)下是稳定的。
• 函数h(n)确保无论初始位置如何，选定的牌总能在有限次迭代内到达不动点。
• 当p ≤ q时，收敛最多只需两次迭代。
• 当p > q时，迭代次数取决于p与q的比值，当q+1 ≤ p ≤ 3q时需三次迭代，当3q+1 ≤ p ≤ 5q时需四次迭代。
• 证明基于距中心q行块的块距离进行数学归纳，表明位于中心块之外的牌会逐步被映射向中心。