奇偶博弈拟多项式时间算法正确性的简短证明
形式语言与自动机理论
2017-04-25 v4 计算机科学与博弈论
摘要
最近 Cristian S. Calude, Sanjay Jain, Bakhadyr Khoussainov, Wei Li 和 Frank Stephan 提出了一个用于奇偶博弈的拟多项式时间算法。本文给出了他们算法正确性的一个简短证明。
引用
@article{arxiv.1702.01953,
title = {A short proof of correctness of the quasi-polynomial time algorithm for parity games},
author = {Hugo Gimbert and Rasmus Ibsen-Jensen},
journal= {arXiv preprint arXiv:1702.01953},
year = {2017}
}