×

实量词消除是双指数的。 (英语) Zbl 0663.03015号

作者证明了实闭域的一阶理论上的量词消去可能需要双指数空间(因此也需要时间),并证明了这种双指数行为是问题的内在特征。Weispfenning在1985年已经用一种完全不同的方法证明了这一结果,但本文的方法是独立的。
审核人:李翔

MSC公司:

03C10号机组 量词消除、模型完整性和相关主题
65年第68季度 算法和问题复杂性分析
12升05 可判定性与场理论
68瓦30 符号计算和代数计算
12D99型 真实字段和复杂字段
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Ben-Or,M。;Kozen,D。;Reif,J.,《初等代数和几何的复杂性》,J.Compute。系统。科学,32,251-264(1986)·Zbl 0634.03031号
[2] Collins,G.E.,《通过柱形代数分解对实闭域进行量词消除》,(第二版,《GI Conf.Automata理论与形式语言》,第二版《GI Conf.Autotata理论与格式语言》,Springer计算机科学讲稿,33(1975)),134-183,MR 55#771
[3] Davenport,J.H.,柱代数分解的计算机代数,(TRITA-NA-8511,NADA,KTH,斯德哥尔摩,1985年9月(1985))·Zbl 0651.68043号
[4] Heintz,J.,代数闭域中的可定义性和快速量词消除,Theor。公司。科学。,26、239-277(1983),MR 85a:68061·Zbl 0546.03017号
[5] McCallum,S.,圆柱代数分解的改进投影运算,(Proc.EUROCAL 85,2(1985)),277-278,(Springer计算机科学讲稿204)
[6] McCallum,S.,圆柱代数分解的改进投影运算,(计算机科学技术报告548(1985),威斯康星大学麦迪逊分校),1985年2月
[7] Tarski,A.,《初等代数和几何的决策方法》(1951),加州大学出版社,伯克利,1951年,MR 10#499·Zbl 0044.25102号
[8] 魏斯芬宁,V.(《领域中线性问题的复杂性》,手稿,1985(1985)),(1986年3月修订)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。