×
B.柯蒂斯·埃夫斯;乌列尔·罗斯布卢姆（Uriel G.Rothblum）。

线性问题和随机线性算法的精确对应。 （英语） Zbl 1335.65050号

数学。操作。物件。 39，第3期，607-623（2014）.
作者考虑由谓词公式定义的线性问题，该谓词公式位于有序域上，有序域在量化变量和解变量中是线性的。他们引入了通用随机化线性机器的概念，该机器可以完全解决所有线性问题的所有实例，并表明“完全由解决”的对应关系是一对一的，从线性问题的等价关系到由五元组（（T，\pi，\gamma，y，x）定义的随机线性算法的等价关系，其中，\（T\）是有根二叉树，\（\pi\）索引关节用于每个顶点的运算\（\gamma\），\（y\equiv（y_1，\dots，y_n）\）是输入变量，\（x\equiv（x_1，\dots，x_m）\）是输出变量。
审核人：普尔泽米斯·瓦·斯特皮奇恩斯基（卢布林）

MSC公司：

65日元10 线性算子方程的数值解
第15页第39页 矩阵的线性不等式
68瓦20 随机算法
03C10号机组 量词消除、模型完整性和相关主题
12月15日 有序字段

关键词：

线性问题;数据解决对;随机化线性算法;输入-输出对;等效;双射;谓词语言;参数傅里叶量词消除;有序字段
PDF格式BibTeX公司 XML格式引用
\textit{B.C.Eaves}和\textit{U.G.Rothblum}，数学。操作。第39号决议，第3607-623号（2014年；兹bl 1335.65050）
全文： DOI程序

参考文献：

[1] Blum L，Shub M，Smale S（1989）关于实数上的计算和复杂性理论：NP-完备递归函数和通用机器。牛市。（新系列）Amer。数学。Soc公司。21:1-46. 交叉参考·Zbl 0681.03020号
[2] Blum L、Cucker F、Shub M、Smale S（1997）复杂性与实计算（Springer-Verlag，纽约）·Zbl 0948.68068号
[3] Brown G、Carlyle M、Salmeron J、Wood K（2006）《保护关键基础设施》。接口36:530-544. 摘要
[4] Carlyle WM（1997）线性问题基于量化消除的求解过程。斯坦福大学博士论文。
[5] 凯雷WM（2012）《私人通信》。加利福尼亚州蒙特利海军研究生院作战研究系。
[6] Collins GE（1975）通过柱面代数分解消除实闭场的量词。自动机理论与形式语言第二届GI大会。《计算机科学课堂讲稿》，第33卷（柏林施普林格-弗拉格出版社），134-183。交叉参考
[7] Eaves BC，Rothblum UG（1989）参数问题扩展算法理论。数学。操作。物件。14:502-533. 摘要·兹比尔0673.90081
[8] Eaves BC，Rothblum UG（1992）Dines-Fourier-Motzkin量词消去和有序域上相应转移原理的应用。数学。编程53:307-321. 交叉参考·兹伯利0745.03028
[9] Eaves BC，Rothblum UG（1993）通过线性算法实现线性问题的完全可解性。斯坦福大学运筹学系。改写并重命名（1999）线性问题和线性算法之间的双结构双射。
[10] Eaves BC，Rothblum UG（1994）《用通用机器解决线性问题的公式》。数学。编程65:263-310. 交叉参考
[11] Ferrante J，Rackoff C（1975）一阶有序实加法理论的决策程序。SIAM J.计算。4:69-76. 交叉参考·Zbl 0294.02022号
[12] Flath D，Wagon W（1991）《如何挑选有理数中的整数：数论在逻辑中的应用》。阿默尔。数学。每月第98:8128-23页。交叉参考·Zbl 0941.03542号
[13] Jones JP，MatijasevićYV（1991）希尔伯特第十问题递归不可解性的证明。阿默尔。数学。每月98:689-709. 交叉参考·Zbl 0746.03006号
[14] Magid Y（2007）基于实数和选择算子的BSS计算模型。科学硕士论文，提交以色列理工学院参议院（研究由计算机科学学院J.A.Makowsky指导和监督）。
[15] Renegar J（1992）关于实一阶理论的计算复杂性和几何，第（I，II，III）部分。J.符号计算。13:255-352. 交叉参考·Zbl 0798.68073号
[16] Robinson J（1949）算术中的定义和决策问题。J.符号逻辑14:98-114. 交叉参考·Zbl 0034.00801号
[17] Seidenberg A（1954）初等代数的一种新的判定方法。安。数学。60:365-374. 交叉参考·Zbl 0056.01804号
[18] Shlapentkh A（2011）定义整数。牛市。符号逻辑17:230-251。交叉参考·Zbl 1278.11105号
[19] 塔斯基A（1951）初等代数与几何的一种决策方法第二版修订（加州大学出版社，伯克利和洛杉矶）·Zbl 0044.25102号
[20] van den Dries L（1981）有序域和值域上线性公式的量词消除。牛市。比利时乙级数学协会33:19-33. ·Zbl 0479.03018号
[21] Weispfenning V（1988），领域中线性问题的复杂性。J.符号计算。5:3-27. 交叉参考·Zbl 0646.03005号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。