奇偶游戏中的获胜核
计算机科学与博弈论
2016-02-08 v1 计算机科学中的逻辑
摘要
我们引入了奇偶游戏中获胜核(winning core)这一新概念，并基于获胜核近似开发了用于求解奇偶游戏的确定性多项式时间欠近似算法。该算法背后是若干关于获胜核的性质，这些性质本身也颇具趣味。特别地，我们证明了在奇偶游戏中，某玩家的获胜核与获胜区域在为空性上是等价的。此外，获胜核包含所有致命吸引子，但其本身不一定是领地(dominion)。实验结果在近似质量和运行时间两方面均非常积极。在大多数基准测试上，它显著优于现有最先进的算法。
引用
@article{arxiv.1602.01963,
title = {Winning Cores in Parity Games},
author = {Steen Vester},
journal= {arXiv preprint arXiv:1602.01963},
year = {2016}
}