存在对手时的连通性
摘要：有限二分图上的两个玩家连通性游戏的介绍 用于解决Muller游戏的算法可以作为子程序来使用 Muller游戏是模型检测和验证中一个已经建立起来的游戏类别 在连通性游戏中，其中一名玩家的目标是无限次地访问游戏图中的每个节点 本文的第一个贡献是我们证明了解决连通性游戏可以归约为增量强连通分量维护问题(ISCCM)，这是图算法和数据结构中的一个重要问题 第二个贡献是我们将已知的两个ISCCM问题的算法进行了非平凡的改进，提供了两个有效的算法来解决连通性游戏问题 最后，基于我们开发的技术，我们重新构建了Horn的多项式时间算法，该算法可以解决明确给定的Muller游戏，并提供了另一种正确性证明 我们的算法比Horn的算法更有效率，我们的解决方案可用作该算法的子程序。
作者：Zihui Liang, Bakh Khoussainov, Toru Takisaka, Mingyu Xiao
论文ID：2304.08783
分类：Computer Science and Game Theory
分类简称：cs.GT
提交时间：2023-04-19