×
马库斯·谢弗;丹尼尔·什·特凡科维奇

不动点、纳什均衡和实存在论。 （英语） Zbl 1362.68088号

理论计算。系统。 60，第2期，172-193（2017）.
摘要：我们引入了基于实存在论的复杂性类\（\exists\mathbb{R}\）。我们证明了（exists\mathbb{R}）的定义是稳健的，即即使是表示严格多项式不等式组可解性的理论片段也会导致相同的复杂性类。几个自然的和众所周知的问题对于\（\exists\mathbb{R}\）来说是完全的；在这里，我们证明了不动点问题的决策变量的复杂性，包括纳什均衡，对于这类问题是完全的，通过K.Etessami公司和M.扬纳卡基斯[SIAM J.Compute.39，No.6，2531–2597（2010；Zbl 1204.91003号)].

引用于2评论
引用于37文件

MSC公司：

2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等）
03B25号 理论和句子集的可决定性
03C07号机组 一阶语言和结构的基本性质
第14页 半代数集与相关空间
54H25个 定点和重合定理（拓扑方面）
91A10号 非合作游戏
91A44型 涉及拓扑、集合论或逻辑的游戏

关键词：

不动点问题;布鲁沃;实数存在论;纳什均衡;计算复杂性

引文：

Zbl 1204.91003号
PDF格式BibTeX公司 XML格式引用
\textit{M.Schaefer}和\textit{D.Štefanković}，理论计算。系统。60，第2号，172--193（2017；Zbl 1362.68088）
全文： 内政部

参考文献：

[1] Allender，E.，Bürgisser，P.，Kjeldgaard-Pedersen，J.，Miltersen，P.B.：关于数值分析的复杂性。SIAM J.计算。38(5), 1987-2006 (2008) ·Zbl 1191.68329号 ·数字对象标识代码：10.1137/070697926
[2] Basu，S.，Pollack，R.，Marie Françoise，R.：《实代数几何中的算法》，《数学中的算法与计算》第10卷。第二版。柏林施普林格-弗拉格出版社（2006年）·Zbl 1102.14041号
[3] Basu，S.，Marie-Françoise R.：限定球的半径，这些球满足半代数集的每个相连分量。J.符号计算。45(12), 1270-1279 (2010) ·Zbl 1200.14107号 ·doi:10.1016/j.jsc.2010.06.009
[4] Bienstock，D.：一些可证明的困难交叉数问题。离散计算。地理。6(5), 443-459 (1991) ·Zbl 0765.68202号 ·doi:10.1007/BF02574701
[5] Blum，L.、Cucker，F.、Shub，M.、Smale，S.：复杂性和实际计算。Springer-Verlag，纽约（1998年）。理查德·卡普（Richard M.Karp）的前言·Zbl 0872.68036号 ·doi:10.1007/978-1-4612-0701-6
[6] Blum，L.，Shub，M.，Smale，S.：实数上的计算和复杂性理论：NP-完备性，递归函数和通用机器。牛市。阿默尔。数学。Soc.（N.S.）21（1），1-46（1989）·Zbl 0681.03020号 ·doi:10.1090/S0273-0979-1989-15750-9
[7] Bürgisser，P.，Cucker，F.：计算数值计算的复杂性类。二、。代数集和半代数集。《复杂性杂志》22（2），147-191（2006）·Zbl 1149.68029号 ·doi:10.1016/j.jco.2005.11.001
[8] Buss，J.F.，Frandsen，G.S.，Shallit，J.O.：线性代数某些问题的计算复杂性。J.计算。系统科学。58(3), 572-596 (1999) ·Zbl 0941.68059号 ·doi:10.1006/jcss.1998.1608
[9] Canny，J.：PSPACE中的一些代数和几何计算。收录于：STOC’88：第二十届ACM计算理论年度研讨会论文集，第460-469页，纽约（1988）
[10] Cardinal，J.，Kusters，V.：同步几何图形嵌入的复杂性。CoRR，（2013）。arXiv:1302.7127·Zbl 1311.05128号
[11] Ruchira，S.：达塔。纳什均衡的普遍性。数学。操作。第28（3）号决议，424-432（2003）·Zbl 1082.91010号 ·doi:10.1287/门28.3.424.16397
[12] Davis，E.，Gotts，N.，Cohn，A.G.：拓扑关系和凸性的约束网络。约束4（3），241-280（1999）·Zbl 0946.68082号 ·doi:10.1023/A:1026401931919
[13] Etessami，K.，Yannakakis，M.：关于纳什均衡和其他不动点的复杂性。SIAM J.计算。39(6), 2531-2597 (2010) ·Zbl 1204.91003号 ·doi:10.1137/080720826
[14] Grigor’ev，D.Y.，Vorobjov，N.N.：求解次指数时间内的多项式不等式系统。J.塞姆。计算。5(1-2), 37-64 (1988) ·Zbl 0662.12001号 ·doi:10.1016/S0747-7171（88）80005-1
[15] Hoon，H.：现实存在论的几种决策算法的比较。技术报告91-41，RISC-Linz，奥地利林茨约翰内斯·开普勒大学（1991）·兹伯利1214.05013
[16] Jeronimo，G.，Perrucci，D.：关于标准单纯形上正多项式的最小值。J.符号计算。45(4), 434-442 (2010) ·Zbl 1239.90086号 ·doi:10.1016/j.jsc.2010.01.001
[17] Jeronimo，G.，Perrucci，D.，Tsigaridas，E.：关于基本闭半代数集上多项式函数的极小值及其应用。SIAM J.Optim公司。23 (1), 241-255 (2013) ·Zbl 1272.14042号 ·数字对象标识代码：10.1137/10857751
[18] Ross，J.K.，Müller，T.：图的球面和点积表示。离散计算几何。47(3), 548-568 (2012) ·Zbl 1238.05180号 ·doi:10.1007/s00454-012-9394-8
[19] Kang，R.J.，Müller，T.：伪圆和圆的排列。未出版手稿（2013年）·兹比尔1292.52026
[20] Kratochvíl，J.，Matoušek，J.：线段的交集图。J.组合理论系列。B 62（2），289-315（1994）·Zbl 0808.68075号 ·文件编号：10.1006/jctb.1994.1071
[21] Kroening，D.，Strichman，O.：决策程序。理论计算机科学课文。EATCS系列。施普林格·弗拉格，柏林（2008年）。算法观点，Randal E.Bryant引言·Zbl 1149.68071号
[22] 扬·肯契尔：P.离散计算中完全抽象拓扑图的简单实现。地理。45(3), 383-399 (2011) ·Zbl 1214.05013号 ·文件编号：10.1007/s00454-010-9320-x
[23] Mishra，B.：计算实代数几何。收录：离散和计算几何手册。CRC Press系列。谨慎。数学。申请。，537-556 (1997). CRC，博卡拉顿·Zbl 0940.68184号
[24] Mnëv，N.E.：关于配置变异和凸多面体变异分类问题的普遍性定理。收录于：《拓扑与几何-罗林研讨会》，《数学课堂讲稿》第1346卷。，第527-543页。柏林施普林格（1988）·Zbl 0667.52006年
[25] 赫里斯托斯：帕帕迪米特里奥。计算复杂性。Addison-Wesley出版公司，雷丁，马萨诸塞州（1994）·Zbl 1238.05180号
[26] Papadimitriou，C.H.：关于奇偶论证和其他无效存在证明的复杂性。J.计算。系统科学。48(3), 498-532 (1994). 第31届计算机科学基础年会（密苏里州圣路易斯，1990）·Zbl 0806.68048号 ·doi:10.1016/S0022-0000（05）80063-7
[27] Jürgen Richter-Gebert：《数学课堂讲稿》第1643卷《多面体的实现空间》。施普林格·弗拉格，柏林（1996）·Zbl 0866.5209号
[28] Richter-Gebert，J.，Ziegler，G.M.：4-多胞体的实现空间是通用的。牛市。美国数学。《社会学杂志》（N.S.）32（4），403-412（1995）·兹比尔0853.52012 ·doi:10.1090/S0273-0979-1995-00604-X
[29] Schaefer，M.：绘制图形的真正逻辑。未出版手稿
[30] Schaefer，M.一些几何和拓扑问题的复杂性。收录：Eppstein，D.，Gansner，E.R.（编辑）：《计算机科学讲义》第5849卷，第334-344页。施普林格（2009）·Zbl 1284.68305号
[31] Schaefer，M.图和链接的可实现性。收录于：Pach，J.（编辑）：《几何图论三十篇论文》，第461-482页。施普林格（2012）·Zbl 1272.05135号
[32] Shor，P.W.：伪线的可拉伸性是NP-hard。《应用几何和离散数学》，DIMACS Ser第4卷。离散数学。理论。计算。科学。阿默尔。数学。Soc.，Providence，RI（1991年）·Zbl 0751.05023号
[33] Sipser，M.：计算理论导论。课程技术。第二版（2005）
[34] Tanenbaum，P.J.、Goodrich，M.T.、Scheinerman，E.R.：点-手空间和相关阶的表征和识别（初步版本）。参见：图表绘制（新泽西州普林斯顿，1994年），《计算机课堂讲稿》第894卷。科学。，第234-245页。柏林施普林格（1995）·Zbl 0941.68059号
[35] ten Cate，B.，Kolaitis，P.G.，Othman，W.：带算术运算的数据交换。收录：Guerrini，G.，Paton，N.W.（编辑）EDBT，第537-548页。ACM（2013）·Zbl 1200.14107号
[36] 特里什·E·：关于布鲁姆、舒布和斯梅尔定理的注释。J.复杂性6（2），166-169（1990）·Zbl 0695.03020号 ·doi:10.1016/0885-064X（90）90004-W
[37] 谢廷，G.S.：关于命题逻辑中推导的复杂性。收录：Wrightson，G.，Siekmann，J.（编辑）《推理自动化：1967-1970年计算逻辑经典论文》，第2卷，第466-483页。施普林格（2009）·Zbl 1238.05180号
[38] Vorob'ev，N.N.：代数方程组实根的估计。扎普。诺什。塞姆·列宁格勒。奥特尔。Mat.Inst.Steklov公司。（LOMI），第137卷，第7-19页（1984年）·Zbl 0546.65027号
[39] 维基百科：现实存在论，2012年。（在线；2015年9月12日访问）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。