[论文解读] A Permutation Avoidance Game with Reverse Replies and Monotone Traps

Henning Úlfarsson|arXiv (Cornell University)|Mar 16, 2026

Game Theory and Applications被引用 0

一句话总结

该论文分析一个无偏游戏 PAP，其中玩家从排列中禁用长度为 k 的模式，确定一个最小的单调强制集合 B_k，证明单调强制阈值的二次上界，并展示 k=4 且 n 充分大时的反推回合胜策略。

ABSTRACT

We study the impartial game PAP (``permutations avoiding patterns''), in which players take turns choosing patterns to avoid. We define a set of length $k$ patterns, $B_k$, and show that it is the unique minimal monotone-forcing subset of $S_k$: every sufficiently long permutation that avoids $B_k$ is monotone, and every monotone-forcing subset of $S_k$ must contain $B_k$. We prove a quadratic upper bound for the monotone-forcing threshold, and determine the exact thresholds for $k=3,4,5,6$. We use properties of the sets $B_k$ to prove that a reverse-reply strategy wins PAP on $S_n$ when $k=4$ for all $n \geq 10$; for $k=3$, the same strategy can be analysed directly. We conjecture that it is a winning strategy for all $k$ and $n$ sufficiently large.

研究动机与目标

• 促使基于避免固定排列模式的两人无偏博弈的研究。
• 识别在大排列中强制单调性的结构核心 B_k。
• 确定单调强制阈值 N_k，并给出对小 k（k=3,4,5,6）的精确值。
• 在大 n 情况下开发并应用反推回策略以赢得 PAP。
• 提供计算验证并将结论推广到更高的 k 的可能性。

提出的方法

• 在 S_n 上定义带有长度为 k 的模式的 PAP，并观察仅有 k! 种走法。
• 引入集合 B_k，并通过见证族证明其作为单调强制集合的最小性。
• 建立 N_k 的二次上界，并对小 k（k=3..6）给出精确阈值。
• 证明在 k=4 和 n≥10 时，PAP 上存在反推回策略可以获胜（并直接分析 k=3）。
• 利用 B_k 的结构性质验证反推回策略，并讨论对一般 k 的猜想。
• 辅以计算机辅助验证并在公开代码库提供实现。

实验结果

研究问题

• RQ1 对 S_k 的最小单调强制子集是什么，它决定了长期回避行为？
• RQ2 对于固定的 k，是否存在在大 n 上的反推回策略能赢得 PAP，以及在何种条件下？
• RQ3 单调强制阈值 N_k 是多少，它如何随 k 的增大而变化？
• RQ4 与 B_k 相对应的见证族如何证明最小性与终局结构？
• RQ5 这些结果是否能推广到更大的 k，还是存在在渐近意义下消失的小 n 阻碍？

主要发现

• B_k（由八个特定的 k-模式及其互补模式组成）是 S_k 的唯一最小单调强制子集。
• 对单调强制阈值 N_k 建立了二次上界，并给出 k=3、4、5、6 的精确阈值。
• 对于 k=3，当 n≥3 时，PAP 在 S_n 上存在反推回策略可获胜。
• 对于 k=4，当 n≥10 时，反推回策略有效；较小的 n（n=5–9）表现出异常，并对策略失败或成功的时机给出精确分解。
• 论文证明了一个反向封闭、无单调回的终局结构，从而实现统一的反推回，并推测该反策略可扩展到所有 k 及足够大的 n。
• 见证族表明 B_k 的每个元素对单调强制都是必要的；它们也提供了验证最小性的一种机制。