×

求解奇偶博弈的两个局部策略迭代方案。 (英语) Zbl 1246.91025号

摘要:求解奇偶博弈问题是模型检验、可满足性检验和程序综合中许多问题的核心。求解奇偶博弈的一些最佳算法是策略迭代算法。这些都是全球性的,因为它们要求整个平价博弈在一开始就存在。这是一个明显的缺点,因为在许多应用程序中,用户只需要知道特定节点所属的获胜区域,而见证获胜策略可能只覆盖整个游戏图的一小部分。
我们提出了两种局部策略迭代算法,它们在执行改进步骤的同时实时探索游戏图。我们还将其与现有的全局策略迭代算法和目前唯一的求解奇偶博弈的其他局部算法进行了实证比较。结果表明,局部策略迭代可以显著优于其他策略迭代。

MSC公司:

91A43型 涉及图形的游戏
91A05型 2人游戏
60年第68季度 规范和验证(程序逻辑、模型检查等)
03B80号 逻辑的其他应用

软件:

PGSolver公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] DOI:10.1016/S0304-3975(02)00442-5·Zbl 1175.93148号 ·doi:10.1016/S0304-3975(02)00442-5
[2] DOI:10.1016/S0020-0190(98)00150-1·Zbl 1338.68109号 ·doi:10.1016/S0020-0190(98)00150-1
[3] 内政部:10.1093/log/12.4.623·Zbl 1001.68077号 ·doi:10.1093/log.com/12.4.623
[4] DOI:10.1016/S0304-3975(98)00009-7·Zbl 0915.68120号 ·doi:10.1016/S0304-3975(98)00009-7
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。