[论文解读] Improving the complexity of Parys' recursive algorithm

Karoliina Lehtinen, Sven Schewe+1 more|arXiv (Cornell University)|Apr 26, 2019

Complexity and Algorithms in Graphs参考文献 7被引用 7

一句话总结

该论文通过简化递归结构，改进了Parys求解公平博弈的递归算法，将时间复杂度降低至$2^{O((⋯ n)(⋯ c))}$，与当前最先进的界限一致。其关键创新在于用单次递归调用替代迭代循环，将优势集大小的参数减半，从而在保持正确性和固定参数可塑性的前提下实现准多项式复杂度。

ABSTRACT

Parys has recently proposed a quasi-polynomial version of Zielonka's recursive algorithm for solving parity games. In this brief note we suggest a variation of his algorithm that improves the complexity to meet the state-of-the-art complexity of broadly $2^{O((\log n)(\log c))}$, while providing polynomial bounds when the number of colours is logarithmic.

研究动机与目标

• 降低Parys求解公平博弈的准多项式递归算法的时间复杂度。
• 简化Parys算法的递归结构，以消除冗余迭代。
• 实现与最佳已知算法（包括Calude等人和Jurdziński & Lazić的算法）相当的复杂度。
• 通过在递归调用中对参数进行减半，在提升效率的同时保持正确性。
• 分析递归算法与公平博弈求解中通用树之间的关系。

提出的方法

• 用单次递归调用替代Parys算法中的两个while循环，将优势集大小的参数减半。
• 引入一种新的递归过程，通过参数$p_E$和$p_O$分别维护偶数和奇数优势集的边界，并在子调用中将$p_O$减半。
• 基于优势集性质和吸引子构造，运用归纳推理证明正确性。
• 应用递推关系$f(h,l) \leq 2f(h,l-1) + f(h-1,l)$来界定递归调用的次数。
• 将调用树分析为一个通用$(n,d)$-树，将算法结构与公平博弈复杂度中的组合对象联系起来。
• 采用基于吸引子的剪枝策略，逐步移除获胜区域，确保不会丢失任何有效优势集。

实验结果

研究问题

• RQ1 Parys算法的递归结构能否被简化，以在不牺牲正确性的前提下降低时间复杂度？
• RQ2 用递归参数减半替代迭代循环，是否能带来更紧致的复杂度界限，与当前最先进的算法保持一致？
• RQ3 该递归算法的调用树在公平博弈求解的背景下，与通用树有何关联？
• RQ4 对称递归（处理所有颜色）与选择性递归（每隔一个颜色）对复杂度的影响是什么？
• RQ5 当颜色数量$c$为状态数的对数级时，该算法能否保持固定参数可塑性和多项式界？

主要发现

• 改进后的算法实现了$2^{O((\u22ef n)(\u22ef c))}$的时间复杂度，与当前最佳已知的公平博弈求解器界限一致。
• 递归结构现在在每个递归层级仅进行一次完整参数调用，减少了冗余计算。
• 递归调用次数受$2^l \binom{h+l}{l}$限制，其中$l = \lfloor \log p_E \rfloor + \lfloor \log p_O \rfloor$，从而实现准多项式复杂度。
• 通过吸引子操作和归纳推理，算法保持了优势集不变量，从而保证了正确性。
• 该算法的调用树构成一个通用$(n,d)$-树，表明其与组合通用树之间存在深层次的结构关联。
• 当颜色数$c$为$O(\log n)$时，该方法提供了多项式时间解法，证实了固定参数可塑性。