×
特劳布，J.F。;Wasilkowski，G.W。;Woźniakowski，H。

线性问题的平均情况最优性。 （英语） 兹伯利0543.68029

西奥。计算。科学。 30, 1-25 (1984).
摘要：我们介绍了一个平均情况模型，并定义了优化算法和优化信息的一般概念。我们证明了相同的算法和信息在最坏和平均情况下都是最优的，并且自适应信息并不比非自适应信息更强大。

引用于20文件

MSC公司：

65年第68季度 算法和问题复杂性分析
68瓦99 计算机科学中的算法

关键词：

平均案例模型;最优算法;最佳信息;自适应信息;非自适应信息
PDF格式BibTeX公司 XML格式引用
\textit{J.F.Traub}等人，Theor。计算。科学。30、1--25（1984年；Zbl 0543.68029）
全文： 内政部

参考文献：

[1] Apt，K.R.，《霍尔的逻辑A调查十年》（Jensen，F.V.；Mayoh，B.H.；Möller，K.K.，《第五届斯堪的纳维亚逻辑交响乐会议录》（1979），奥尔堡大学出版社：奥尔堡大学出版局），1-44·Zbl 0426.68004号
[2] Back，R.J.，《保持正确性的程序改进：证明理论与应用》，（数学中心专区，131（1980），数学中心：阿姆斯特丹数学中心）·Zbl 0451.68018号
[3] De Bakker，J.W.，递归程序，（数学中心，24（1973），数学中心：阿姆斯特丹数学中心）·Zbl 0274.02015
[4] De Bakker，J.W.，《程序正确性的数学理论》（1980），普伦蒂斯·霍尔：普伦蒂斯霍尔伦敦·Zbl 0452.68011号
[5] Bergstra，J.A。；Tiuryn，J。；塔克，J.V.，弗洛伊德原理，正确性理论和程序等价性，理论。计算。科学。，17, 113-149 (1982) ·Zbl 0474.68017号
[6] Bergstra，J.A。；Terloww，J.，《根据霍尔逻辑对程序等价性的描述》（Proc.G.I.Jahrestagung，München，1981）。程序。G.I.Jahrestagung，慕尼黑，1981，《计算机课堂讲稿》。科学。，123（1981），《施普林格：柏林施普林格》·Zbl 0474.68018号
[7] Bergstra，J.A。；塔克，J.V.，《霍尔逻辑的表达性和完整性》，J.Compute。系统科学。，25267-284（1982年）·Zbl 0549.68021号
[8] Bergstra，J。；Tucker，J.V.，《规范的细化和霍尔逻辑的稳定性》（Kozen，D.，《程序逻辑》，《程序的逻辑》，计算机科学讲义，131（1982），施普林格：施普林格-柏林），24-36·兹比尔0504.68019
[9] Bergstra，J.A。；塔克，J.V.，霍尔的逻辑和皮亚诺的算术，理论。计算。科学。，22, 265-284 (1983) ·Zbl 0497.68007号
[10] Bergstra，J.A。；塔克，J.V.，关于霍尔逻辑完备性的两个定理，Inform。过程。莱特。，15, 143-149 (1982) ·兹比尔0541.68008
[11] 布洛斯，G.S。；Jeffrey，R.C.，《可计算性与逻辑》（1974/1980），剑桥大学出版社·Zbl 0298.0203号
[12] Clarke，E.M.，《不可能获得好的类Hoare公理的编程语言构造》，J.Assoc.Compute。机器。，26, 129-147 (1979) ·Zbl 0388.68008号
[13] 库克，S.A.，《程序验证公理系统的健全性和完整性》，SIAM J.Compute。，7, 70-90 (1978) ·Zbl 0374.68009号
[14] Enderton，H.B.，《逻辑数学导论》（1972），学术出版社：纽约学术出版社·Zbl 0298.0202号
[15] Harel，D。；Pneuli，A。；Stavi，J.，《证明递归程序演绎的完整公理系统》，Proc。第九届ACM交响乐团。《计算理论》（1977），博尔德
[16] Hemerik，C.，Relaties tussen taaldefinitie en taalimplementatie，（van Vliet，J.C.，Coll.Capita Implementatie van Programmeertalen，42（1980），数学中心：阿姆斯特丹数学中心），（荷兰语）
[17] 霍尔，C.A.R。；Lauer，P.，《程序设计语言语义的一致性和互补性形式理论》，《信息学报》。，3, 135-155 (1974) ·Zbl 0264.68006号
[18] Hoare，C.A.R.，《计算机编程的公理基础》，美国通信协会，12776-580（1967）·Zbl 0179.23105号
[19] Lambek，J.，《如何编程无限算盘》，加拿大。数学。公报，4295-302（1961）·Zbl 0112.00902号
[20] Manna，Z.，《计算数学理论》（1974），McGraw-Hill:McGraw-Hill纽约·Zbl 0353.68066号
[21] Monk，J.D.，《数理逻辑》（1976），施普林格出版社：施普林格柏林·Zbl 0354.0202号
[22] Rogers，H.，递归函数和有效可计算性理论（1967），McGraw-Hill:McGraw-Hill纽约·兹比尔0183.01401
[23] Russell，B.，基于公理语义的编译过程的正确性，《信息学报》。，14, 1-20 (1980) ·Zbl 0432.68010号
[24] 肖恩菲尔德，J.，《数学逻辑》（1967），艾迪森·韦斯利：艾迪森·韦斯利阅读，马萨诸塞州·Zbl 0155.01102号
[25] Wand，M.，霍尔系统的一个新的不完全性结果，J.Assoc.Compute。机器。，25, 168-175 (1978) ·兹比尔0364.68008
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。