[论文解读] Permutation sorting and a game on graphs

Chad Jansen, Marion Scheepers+2 more|arXiv (Cornell University)|Nov 20, 2014

Genome Rearrangement Algorithms参考文献 8被引用 3

一句话总结

本文提出了一种基于排列排序中上下文导向交换（cds）的图上双人游戏，玩家交替执行cds操作直至达到不动点。关键贡献在于证明：对于大小为n且n能被4整除的排列，存在情形下即使目标集A的大小仅为(|P|−3)/4 + 1，玩家ONE仍能获胜，从而证明了先前界限的最优性，并通过重叠图与环图揭示了cds动态中的结构性深度。

ABSTRACT

We introduce a game on graphs. By a theorem of Zermelo, each instance of the game on a finite graph is determined. While the general decision problem on which player has a winning strategy in a given instance of the game is unsolved, we solve the decision problem for a specific class of finite graphs. This result is then applied to a permutation sorting game to prove the optimality of a proportional bound under which TWO has a winning strategy.

研究动机与目标

• 分析当排列不可完全排序时，通过上下文导向交换（cds）进行排列排序的战略结构。
• 形式化图上的双人游戏，玩家交替执行cds移动，获胜条件基于最终不动点是否属于目标子集A。
• 确定在cds游戏中某一玩家拥有获胜策略的精确条件，特别是针对具有完整战略堆的排列。
• 通过构造极值例子，证明先前关于获胜策略数值边界的最优性。
• 引入并分析一种新的图变换gcds，用于建模cds操作对重叠图的影响。

提出的方法

• 本文将排列π的战略堆P定义为可通过cds操作达到的所有可能cds不动点的集合。
• 引入重叠图O(π)，用于编码可用的cds移动，并定义一种新的图变换gcds，用于建模一次cds移动对图的影响。
• 在有限图上定义游戏GCDS(G, A)，玩家交替应用gcds变换，获胜者由最终不动点是否属于目标集A决定。
• 作者证明：对于满足|V| ≡ 3 mod 4的连通图G，且|A| = (|V|−3)/4 + 1时，玩家ONE拥有获胜策略。
• 该结果被应用于排列重叠图，以证明：当n ≡ 0 mod 4时，存在排列π满足|P| = n−1，且存在集合A满足|A| = (|P|−3)/4 + 1，使得在CDS(π, A)中玩家ONE获胜。
• 通过终局分析表明该界限是紧的，因为从A中移除一个元素后，玩家TWO将获胜。

实验结果

研究问题

• RQ1 对于哪些排列类和目标集A，玩家ONE在CDS(π, A)游戏中拥有获胜策略？
• RQ2 能否通过结构分析改进关于获胜策略的数值界限，例如TWO的|A| ≤ (1/4)|P| − 2与ONE的|A| ≥ (3/4)|P|？
• RQ3 是否存在有限图G与子集A，使得|A|/|V|可任意小，但玩家ONE在GCDS(G, A)中仍拥有获胜策略？
• RQ4 判断给定有限图是否为某个排列在cds操作下的移动图的复杂度是多少？
• RQ5 重叠图与gcds变换的结构特性能否用于刻画cds操作所有可能不动点的特征？

主要发现

• 对于每个能被4整除的n，均存在排列π ∈ S_n，其战略堆P的大小为n−1，使得当|A| = (|P|−3)/4 + 1时，玩家ONE在CDS(π, A)中拥有获胜策略。
• 该结果表明，TWO获胜策略的界限|A| = (1/4)|P| − 2是最优的，因为将|A|减少1后TWO即可获胜。
• 本文构造了显式例子，表明即使A仅为战略堆的一小部分，玩家ONE仍能获胜，证明了仅凭数量优势无法决定结果。
• 引入图变换gcds，并证明其能准确捕捉cds操作对重叠图的影响，为分析cds动态提供了新工具。
• 作者证明：对于满足|V| ≡ 3 mod 4的连通图G，且|A| = (|V|−3)/4 + 1时，玩家ONE在GCDS(G, A)中拥有获胜策略，且该结构可实现为某个排列的移动图。
• 本文证明，先前基于终局分析的界限无法改进，因为所构造的例子在等号处达到临界值。