阿诺德·贝克曼;Pudlák,帕维尔;尼尔·萨彭 奇偶博弈和命题证明。 (英语) Zbl 1291.03111号 ACM事务处理。计算。日志。 第15号第2条第17条第30页(2014年). 引用于4文件 MSC公司: 20层03 证明的复杂性 03B35型 证明和逻辑操作的机械化 第91页第15页 随机对策,随机微分对策 91A46型 组合游戏 关键词:有界算术;平均回报博弈;平价游戏;分辨率;简单随机相同;弱自动化 PDF格式BibTeX公司 XML格式引用 \textit{A.Beckmann}等人,ACM Trans。计算。日志。15,第2号,第17条,第30页(2014;Zbl 1291.03111) 全文: 内政部 参考文献: [1] 迈克尔·阿列克诺维奇(Michael Alekhnovich)和亚历山大·拉兹博罗夫(Alexander A.Razborov)。除非W{P}易于处理,否则解决方案是不可自动化的。SIAM J.计算。38, 4, 1347–1363. ·Zbl 1169.03044号 ·数字对象标识码:10.1137/06066850X [2] Albert Atserias和Marí;路易莎·博内。2004.关于解析和相关命题证明系统的自动化。通知。和计算。189, 2, 182–201. ·Zbl 1051.03014号 [3] 阿尔伯特·阿塞里亚斯(Albert Atserias)和伊丽莎·马内瓦(Elitza Maneva)。2011.均值支付游戏和命题证明。通知。计算。209, 4, 664–691. ·Zbl 1237.91043号 ·doi:10.1016/j.ic.2011.01.003 [4] Eli Ben-Sasson和Avi Wigderson。2001.简短的证明是狭义的—;决议变得简单。《美国临床医学杂志》48、2、149–169·Zbl 1089.03507号 ·数字对象标识代码:10.1145/375827.375835 [5] 玛丽亚·路易莎·博内(Maria Luisa Bonet)、卡洛斯·多明戈(Carlos Domingo)、里卡德·加瓦尔德(Ricard Gavald);,亚历克西斯·马谢尔和托尼安·皮塔西。有界深度Frege证明的非自动化。计算。复杂性13,1–2,47–68·Zbl 1058.03063号 [6] Joshua Buresh-Openheim和Tsuyoshi Morioka。2004.相对NP搜索问题和命题证明系统。第19届IEEE计算复杂性年会论文集。IEEE,第54–67条。内政部:http://dx.doi.org/10.1109/CCC.2004.1313795 ·doi:10.1109/CCC.2004.1313795 [7] 塞缪尔·巴斯。1986.有界算术。证明理论研究。课堂讲稿,第3卷,Bibliopolis·Zbl 0649.03042号 [8] 塞缪尔·巴斯。1998年。算术的一阶证明理论。《证明理论手册》,《数学逻辑基础研究》,第137卷,北荷兰,阿姆斯特丹,79-147·兹伯利0911.03029 ·doi:10.1016/S0049-237X(98)80017-7 [9] Samuel R Buss,Leszek Ko&lslash;odziejczyk和Neil Thapen。2012.近似计数片段。手稿,http://www.math.cas.cz/˜thapen/。 [10] 安妮·康登。1992.随机博弈的复杂性。通知。计算。96, 2 (1992), 203–224. ·Zbl 0756.90103号 ·doi:10.1016/0890-5401(92)90048-K [11] 安妮·康登。1993。关于简单随机博弈的算法。计算复杂性理论进展,《离散数学和理论计算机科学的DIMACS系列》,第13卷,美国数学学会,普罗维登斯,RI,51-71·Zbl 0808.90141号 [12] Andrzej Ehrenfeucht和Jan Mycielski。1979.平均回报博弈的位置策略。国际。《博弈论》8,2,109–113·Zbl 0499.90098号 ·doi:10.1007/BF01768705 [13] E·艾伦·爱默生。1985.自动机、tableaux和时序逻辑。《程序逻辑》,计算机科学讲义,第193卷,施普林格出版社,79-88页·Zbl 0603.03005号 ·doi:10.1007/3-540-15648-87 [14] E.艾伦·爱默生(E.Allen Emerson)和查兰吉特·朱特拉(Charanjit S.Jutla)。1991年。树自动机、Mu-Calculus和确定性。第32届计算机科学基础年会(SFCS’91)会议记录。IEEE 368–377。内政部:http://dx.doi.org/10.109/SFCS.1991.185392 ·doi:10.1109/SFCS.1991.185392 [15] 奥利弗·弗里德曼。2011年a。最新确定性策略迭代算法的指数下限。日志。方法计算。科学。7, 3, 3:19, 42. ·兹比尔1237.68087 [16] 奥利弗·弗里德曼。2011年b。奇偶博弈的递归算法需要指数时间。RAIRO提奥。通知。申请。45, 4, 449–457. ·Zbl 1232.91064号 ·doi:10.1051/ita/2011124 [17] Erich Grä;del、Wolfgang Thomas和Thomas Wilke编辑,2002年。自动机、逻辑和无限游戏。计算机科学讲义,第2500卷,施普林格出版社。 [18] Lei Huang和Toniann Pitassi。2011.自动化和简单随机游戏。在自动化,语言和编程,第一部分,计算机科学讲义,第6755卷,斯普林格,605-617·Zbl 1334.68100号 ·doi:10.1007/978-3-642-22006-7_51 [19] 布伦丹·朱巴。2005.关于简单随机游戏的难度。卡内基梅隆大学硕士论文。 [20] Jan Krajíč;(掌声)。1994.恒定深度frege证明大小的下限。J.符号逻辑59,73–86。 [21] Jan Krajíč;(掌声)。1997年。插值定理、证明系统的下限和有界算法的独立性结果。J.符号逻辑62,457–486·Zbl 0891.03029号 [22] Jan Krajíč;(掌声)。2001年。关于弱鸽子洞原则。基金。数学。170, 1–2, 123–140. ·Zbl 0987.03051号 [23] Jan Krajíč;艾伦·斯凯利(Alan Skelley)和尼尔·塞彭(Neil Thapen)。2007年,有界算法低片段中的NP搜索问题。J.符号逻辑72,2649–672·Zbl 1118.03051号 [24] 奥利弗·库尔曼。2004.广义解析和广义约束满足问题复杂性的上下限。安。数学。Artif公司。智力。40, 3–4, 303–352. ·Zbl 1081.68032号 ·doi:10.1023/B:AMAI.0000012871.08577.0b [25] 杰夫·帕里斯和亚历克斯·威尔基。1985.有界算术中的计数问题。《数理逻辑方法》,《数学讲义》,第1130卷,施普林格出版社,317-340页。 [26] Pavel Pudlá;2003年10月。不相交NP对的可约性和对称性。理论。计算。科学。295, 1–3, 323–339. ·Zbl 1045.68058号 [27] Anuj Puri,1995年。混合系统和离散事件结构理论。博士论文。加州大学伯克利分校。 [28] 亚历山大·拉兹博罗夫。1994.关于可证明的不相交NP对。技术报告RS-94-36。丹麦奥胡斯计算机科学中心基础研究。 [29] 劳埃德·S·沙普利。1953.随机游戏。程序。美国国家科学院。科学。39, 1095–1100. ·Zbl 0051.35805号 ·doi:10.1073/pnas.39.10.1095 [30] 阿兰·斯凯利(Alan Skelley)和尼尔·萨彭(Neil Thapen)。2011.有界算法的可证明总搜索问题。程序。伦敦数学。Soc.(3)103、1、106–138·Zbl 1225.03081号 [31] 科林·斯特林。2001.过程的模态和时间特性。斯普林格·兹伯利0978.68102 ·数字对象标识代码:10.1007/978-1-4757-3550-5 [32] 乔治·威尔默斯。1985.有界存在归纳法。J.符号逻辑50,1,72–90·Zbl 0634.03029号 ·doi:10.2307/2273790 [33] 乌里·兹威克(Uri Zwick)和迈克·帕特森(Mike Paterson)。图上平均回报游戏的复杂性。理论。计算。科学。158, 1–2, 343–359. ·Zbl 0871.68138号 ·doi:10.1016/0304-3975(95)00188-3 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。