托马斯·科尔科贝特;纳塔娜·菲亚尔科夫;霍恩，弗洛里安 谨慎行事。 （英语） Zbl 1360.68583号 Raman，Venkatesh（ed.）等人，第34届软件技术和理论计算机科学基础国际会议，FSTTCS 2014，印度新德里，2014年12月15日至17日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-77-4）。LIPIcs–莱布尼茨国际信息学论文集29，379-390（2014）。 摘要：我们考虑了图上的两人游戏，并给出了确保安全条件的策略的内存大小的严格界限。更具体地说，我们证明了确保安全条件的策略的最小记忆状态数是由关于语言包含的最大左商反链的大小给出的。该结果适用于所有安全条件，无任何正则性假设，以及所有有限度（有限或无限）图。我们给出了这个一般原理的几个应用。特别地，我们刻画了广义可达博弈中对手的精确记忆需求，并证明了有计数器博弈中位置策略的存在性。有关整个系列，请参见[Zbl 1329.68036号]. 引用于4文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 91A43型 涉及图形的游戏 关键词：博弈论;合成;安全规范;程序验证 PDF格式BibTeX公司 XML格式引用 \textit{T.Colcombet}等人，LIPIcs——莱布尼茨国际程序。通知。29，379-390（2014年；兹比尔1360.68583） 全文： 内政部