小进度度量的改进
计算机科学中的逻辑
2015-09-25 v1
摘要
小进度度量（Small Progress Measures，SPM）是经典的奇偶博弈求解算法之一。对于具有n个顶点、m条边和d个不同优先级的博弈，原算法在O(dm.(n/floor(d/2))^floor(d/2))时间内计算获胜区域及其中一方的获胜策略。计算另一方的获胜策略需要在该方的获胜区域上重新运行算法，从而将计算双方获胜区域和获胜策略的运行时间复杂度增至O(dm.(n/ceil(d/2))^ceil(d/2))。我们改进该算法，使其一遍推导出双方的获胜策略。这将SPM的策略推导上限降低至O(dm.(n/floor(d/2))^floor(d/2))。我们改进的基础是所提供的最小进度度量的一种新颖操作语义解释。
引用
@article{arxiv.1509.07207,
title = {Improvement in Small Progress Measures},
author = {Maciej Gazda and Tim A. C. Willemse},
journal= {arXiv preprint arXiv:1509.07207},
year = {2015}
}
备注
In Proceedings GandALF 2015, arXiv:1509.06858