詹姆斯·H·达文波特。;乔斯·海因茨 实量词消除是双指数的。 (英语) Zbl 0663.03015号 J.塞姆。计算。 5,编号1-2,29-35(1988). 作者证明了实闭域的一阶理论上的量词消去可能需要双指数空间(因此也需要时间),并证明了这种双指数行为是问题的内在特征。Weispfenning在1985年已经用一种完全不同的方法证明了这一结果,但本文的方法是独立的。审核人:李翔 引用于1审查引用于86文件 MSC公司: 03C10号机组 量词消除、模型完整性和相关主题 65年第68季度 算法和问题复杂性分析 12升05 可判定性与场理论 68瓦30 符号计算和代数计算 12D99型 真实字段和复杂字段 关键词:实闭场的一阶理论;空间;时间;双指数行为 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Davenport}和textit{J.Heintz},J.Symb。计算。5,编号1--2,29-35(1988;Zbl 0663.03015) 全文: 内政部 参考文献: [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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。