奥斯卡·H·伊巴拉。;Brian S.Leininger。;什洛莫·莫兰 简单算术表达式的复杂性。 （英语） Zbl 0479.68050号 理论。计算。科学。 19, 17-28 (1982). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于2文件 理学硕士： 65年第68季度 算法和问题复杂性分析 68吨15 定理证明（演绎、解析等）（MSC2010） 关键词：可判定性;不公平的复杂性;有界不等式问题;等价问题;多项式时间;NP-完成 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}等人，Theor。计算。科学。19、17-28（1982年；Zbl 0479.68050） 全文： 内政部 参考文献： [1] Cook，S.，定理证明过程的复杂性，会议记录第三届ACM计算理论研讨会，151-158（1971）·Zbl 0253.68020号 [2] Gold，E.，从给定数据识别自动机的复杂性，信息与控制，37，302-320（1968）·Zbl 0376.68041号 [3] Herstein，I.，《代数主题》（1964），施乐学院出版：施乐学院出版社，马萨诸塞州列克星敦·Zbl 0122.01301号 [4] 霍普克罗夫特，J。；Ullman，J.，《自动机理论、语言和计算导论》（1979年），Addison Wesley:Addison Wesley Reading，马萨诸塞州·Zbl 0426.68001号 [5] 亨特，H。；康斯特布尔，R。；Sahni，S.，《关于程序方案等价的计算复杂性》，SIAM J.Compute。，9, 396-416 (1980) ·Zbl 0447.68038号 [6] O.Ibarra和B.Leininger，简单无环程序等价问题的复杂性，SIAM J.计算机; O.Ibarra和B.Leininger，简单无环程序等价问题的复杂性，SIAM J.计算·Zbl 0481.68026号 [7] O.Ibarra、B.Leininger和S.Moran，《简单算术表达式的复杂性》，明尼苏达大学计算机科学。技术报告80-3。；O.Ibarra、B.Leininger和S.Moran，《简单算术表达式的复杂性》，明尼苏达大学计算机科学。技术报告80-3·Zbl 0462.68024号 [8] 曼德斯，K。；Adleman，L.，二元二次型的NP-完全决策问题，J.Compute。系统科学。，16, 168-184 (1978) ·兹比尔0369.68030 [9] Tsichritzis，T.，简单程序的等价问题，J.ACM，17，729-738（1970）·Zbl 0209.02001 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。