摘要
Walid Belkhir和Luigi Santocanale。 2007.无向纠缠图2。 FSTTCS 2007:软件技术和理论计算机科学基础（2007），508-519。 谷歌学者 
数字图书馆 
马西莫·贝内雷切蒂（Massimo Benerecetti）、丹尼尔·德尔尔巴（Daniele Dell’Erba）和法比奥·莫加维罗（Fabio Mogavero）。 2017.奇偶博弈的除法和Impera算法的鲁棒指数最坏情况。 《游戏、自动机、逻辑和形式验证国际研讨会论文集》（2017），121-135。 谷歌学者 交叉引用 
迪特马尔·伯旺格（Dietmar Berwanger）、阿努杰·达瓦尔（Anuj Dawar）、保罗·亨特（Paul Hunter）和斯蒂芬·克鲁泽（Stephan Kreutzer）。 2006年，DAG宽度和平价游戏。 在STACS，第6卷。 施普林格，524-536。 谷歌学者 数字图书馆 迪特马尔·伯旺格和埃里希·格拉德尔。 2005.纠缠-一种用于逻辑和游戏的有向图复杂性度量。 在编程人工智能和推理逻辑国际会议上。 施普林格，209-223。 谷歌学者 交叉引用 迪特马尔·伯旺格（Dietmar Berwanger）、埃里希·格拉德尔（Erich Grädel）、乌卡斯·凯泽（ukasz Kaiser）和罗曼·拉比诺维奇（Roman Rabinovich）。 2012.有向图的纠缠和复杂性。 理论计算机科学463（2012），2-25。 谷歌学者 数字图书馆 Dietmar Berwanger、Erich Grädel和Giacomo Lenzi。 2007.&mu；的可变层次结构- 微积分很严格。 计算系统理论40，4（2007），437-466。 谷歌学者 数字图书馆 Mikołaj Bojańczyk和Wojciech Czerwiński。 2018.自动化工具箱。 华沙大学。 https://www.mimuw.edu.pl/ ~bojan/papers/toolbox-reduced-feb6.pdf上次检查时间为2018年4月。 谷歌学者 朱利安·布拉德菲尔德和科林·斯特林。 2007年模态&mu- 计算。 逻辑与实践推理研究3（2007），721--756。 谷歌学者 克里斯蒂安·卡鲁德（Cristian S.Calude）、桑杰·贾恩（Sanjay Jain）、巴哈迪尔·库萨诺夫（Bakhadyr Khousainov）、魏莉（Wei Li）和弗兰克·斯蒂芬（Frank Stephan）。 2017.在准多项式时间内决定平价游戏。 第49届ACM SIGACT计算理论年会论文集。 美国医学会，252-263。 谷歌学者 数字图书馆 Anuj Dawar和Erich Grädel。 2008年，平价游戏的描述复杂性。 计算机科学逻辑。 施普林格，354--368。 谷歌学者 数字图书馆 艾伦·艾默生（E Allen Emerson）和查兰吉特·朱特拉（Charanjit S Jutla）。 树自动机、微积分和确定性。 《计算机科学基础》，1991年。 诉讼程序。， 第32届IEEE年会，368-377。 谷歌学者 数字图书馆 John Fearnley、Sanjay Jain、Sven Schewe、Frank Stephan和Dominik Wojtczak。 2017.在准多项式时间和准线性空间中求解平价博弈的有序方法。 第24届ACM SIGSOFT国际SPIN软件模型检查研讨会论文集。 ACM，112-121。 谷歌学者 数字图书馆 奥利弗·弗里德曼。 2009年。我们所知的平价游戏策略改进算法的指数下限。《计算机科学中的逻辑》，2009年。 LICS’09年。 第24届IEEE年会，IEEE，145-156。 谷歌学者 数字图书馆 奥利弗·弗里德曼。 2011.奇偶游戏的递归算法需要指数时间。 RAIRO-理论信息学与应用45，4（2011），449--457。 谷歌学者 交叉引用 摩西·加纳迪。 2015年，有界树与权势对等游戏。。 在FoSSaCS中。 390--404. 谷歌学者 雨果·金伯特（Hugo Gimbert）和拉斯穆斯·易卜森·延森（Rasmus Ibsen-Jensen）。 2017.奇偶博弈准多项式时间算法正确性的简短证明。 arXiv预印本arXiv:170201953（2017）。 谷歌学者 埃里希·格拉德尔（Erich Grädel）、乌卡斯·凯泽（ukasz Kaiser）和罗曼·拉比诺维奇（Roman Rabinovich）。 2009年，纠缠二的有向图。 在计算理论基础国际研讨会上，第9卷。 施普林格，169-181。 谷歌学者 数字图书馆 埃里希·格罗德（Erich Grädel）、菲肯·G·科莱蒂斯（Phokion G Kolaitis）、列奥尼德·利布金（Leonid Libkin）、马尔滕·马克思（Maarten Marx）、乔尔·斯宾塞（Joel Spencer）、摩西·瓦尔迪（Moshe Y Vardi）、伊德·维尼玛（Yde Venema）和斯科特·温斯坦（Scott Weinstein）。 2007。有限模型理论及其应用。 施普林格科技与商业媒体。 谷歌学者 保罗·亨特和斯蒂芬·克鲁泽。 有向图度量：Kelly分解、游戏和排序。 第十八届ACM-SIAM离散算法年会论文集。 工业和应用数学学会，637-644。 谷歌学者 数字图书馆 Michael Huth、Jim Huan Pu Kuo和Nir Piterman。 2015.平价游戏的拉宾指数：其复杂性和近似性。 信息与计算245（2015），36-53。 谷歌学者 数字图书馆 马金·尤金斯基。 1998年。在平价游戏中决定胜利者是UP&cap； 联合向上。 通知。 过程。 莱特。 68, 3 (1998), 119--124. 谷歌学者 数字图书馆 马金·尤金斯基。 2000.解决平价游戏的小进度措施。 在计算机科学理论方面的年度研讨会上。 施普林格，290-301。 谷歌学者 数字图书馆 马金·尤金斯基和兰科·拉齐奇。 2017年，制定解决平价游戏的简明进度措施。 2017年第32届ACM/IEEE计算机科学逻辑研讨会（LICS），第00卷。 1--9. 谷歌学者 交叉引用 卡罗琳娜·莱蒂宁。 2017年，模态和mu的描述性复杂性； 模型检验平价游戏。 2017年（2017）奥运会、自动化、逻辑和形式验证国际研讨会论文集。 谷歌学者 汤姆·范·迪克。 2018年，Oink：现代平价游戏解决方案的实施和评估。 CoRR abs/1801.03859（2018）。 arXiv:1801.03859 网址：http://arxiv.org/abs/11801.03859 谷歌学者 托马斯·威尔克。 2001.交替树自动机、奇偶游戏和模式&mu- 微积分。 比利时数学学会公报Simon Stevin 8，2（2001），359。 谷歌学者 交叉引用
建议
拟多项式时间和拟线性空间中奇偶对策的有序求解方法 SPIN 2017：第24届ACM SIGSOFT国际SPIN软件模型检查研讨会会议记录 奇偶博弈在模型检验和综合中起着重要作用。 在他们的论文中，Calude等人最近证明了这些对策可以在拟多项式时间内求解。 我们证明了他们的算法可以有效地实现：我们使用他们的。。。 拟多项式时间中奇偶对策的判定 STOC 2017：第49届ACM SIGACT年度计算理论研讨会会议记录 证明了奇偶对策可以在拟多项式时间内求解。 参数化平价游戏 n个 节点和 米 不同的值（也称为颜色或优先级）-被证明是在固定参数可处理（FPT）问题中。。。 拟多项式时间和拟线性空间中奇偶对策的有序求解方法 奇偶博弈在模型检验和综合中起着重要作用。 在他们的论文中，Calude等人最近证明了这些对策可以在拟多项式时间内求解。 我们证明了他们的算法可以有效地实现：我们使用他们的。。。
