避免模式的排列回避游戏与反向回应
A Permutation Avoidance Game with Reverse Replies and Monotone Traps
AI总结:
研究了避免模式的 impartial 游戏 PAP,定义了长度为 k 的模式集合 B_k,证明其为唯一最小的单调强制子集,并确定了 k=3,4,5,6 的精确阈值,使用 B_k 的性质证明反向回应策略在 k=4 时获胜,猜测该策略对所有 k 和足够大的 n 都是获胜策略。
摘要:
我们研究了 impartial 游戏 PAP("避免模式的排列"),其中玩家轮流选择要避免的模式。我们定义了一个长度为 k 的模式集合 B_k,并证明它是 S_k 的唯一最小单调强制子集:任何足够长的避免 B_k 的排列都是单调的,且任何单调强制子集都必须包含 B_k。我们证明了单调强制阈值的二次上界,并确定了 k=3,4,5,6 的精确阈值。我们利用 B_k 的性质证明,当 k=4 时,反向回应策略在 S_n 上获胜,对于 k=3,该策略可以直接分析。我们推测,对于所有 k 和足够大的 n,该策略都是获胜策略。
英文摘要:
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.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。