×

Blum-Shub-Smale计算模型中的实际数据集成解决方案问题。 (英语) Zbl 0880.68035号

摘要:本文介绍了由Blum、Shub和Smale最近开发的实域计算理论的相关结果。我们的研究对象是著名的整数线性规划问题和线性丢番图方程的变体,其中系数是实数,我们寻找整数解。我们给出了关于这些问题的可解性和复杂性的一些结果,并开发了在存在附加信息的情况下求解这些问题的算法。

MSC公司:

2005年第68季度 计算模型(图灵机等)(MSC2010)
90C99号 数学编程
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 布鲁姆,L。;舒布,M。;Smale,S.,《实数上的计算和复杂性理论:NP-完备性、递归函数和通用机器》,Bull。阿默尔。数学。Soc.(N.S.),21,1-46(1989)·Zbl 0681.03020号
[2] 冯·祖尔·盖森,J。;Sieveking,M.,Weitere zum Erfüllungs多项式问题,Aufgaben,Entscheidungs问题。Komplexität von Entscheidungsproblemen,《计算机科学讲稿》,第43页(1976年),《斯普林格·弗拉格:斯普林格尔·弗拉格·海德堡》,第49-71页·Zbl 0342.05003号
[3] Garey,M。;Johnson,D.,《计算机与不可纠正性:NP完全性理论指南》(1979),Freeman and Co:Freeman&Co San Francisco·Zbl 0411.68039号
[4] Kannan,R。;Bachem,A.,计算整数矩阵的Smith和Hermite正规形式的多项式算法,SIAM J.Compute。,8, 499-507 (1979) ·Zbl 0446.65015号
[5] Lenstra,A.K。;Lenstra,H.W。;Lovász,L.,有理系数因式分解多项式,数学。《年鉴》,261515-534(1982)·Zbl 0488.12001号
[6] 哈斯塔德,J。;只是,B。;Lagarias,J.C。;Schnorr,C.P.,用于发现实数之间整数关系的多项式时间算法,SIAM J.Compute。,18, 859-881 (1989) ·Zbl 0692.10033号
[7] Lenstra,H.W.,变量数固定的整数编程,数学。操作。研究,8538-548(1983)·Zbl 0524.90067号
[8] Meer,K.,计算Z轴《复杂性杂志》,6,256-263(1990)·Zbl 0712.12005年
[9] Meer,K.,关于A(P NP)的注释,J.复杂性,8451-453(1992)·Zbl 0758.68030号
[10] Meer,K.,《不同操作集下的实数模型》,J.Complexity,9,366-372(1993)·Zbl 0782.68048号
[11] Schönhage,A.,《关于随机存取机器的威力》,Proc。第六届国际自动化、语言和编程会议。程序。第六届自动化、语言和编程国际会议,计算机科学讲义,71(1979),Springer-Verlag:Springer-Verlag Berlin/New York,p.520-529·兹比尔0409.68030
[12] Schrijver,A.,线性和整数规划理论(1986),威利:威利·奇切斯特/纽约/布里斯班/多伦多/新加坡·Zbl 0665.90063号
[13] Shamir,A.,《保理编号(On)》,Inform。过程。莱特。,8, 28-31 (1979) ·Zbl 0401.68018号
[14] M.Shub,1993年,关于Bezout定理和复杂性理论的一些评论,“从拓扑到计算”,Smalefest学报,M.W.HirschJ。E.马斯登。Shub,443、455,斯普林格-维拉格,纽约;M.Shub,1993年,关于Bezout定理和复杂性理论的一些评论,“从拓扑到计算”,Smalefest学报,M.W.HirschJ。E.马斯登。Shub,443455,Springer-Verlag,纽约
[15] Smale,S.,《关于数值分析基础的一些评论》,SIAM Rev.,32,211-220(1990)·Zbl 0703.65003号
[16] A.A.Votyakov,M.A.Frumkin,1976年,《寻找线性方程组一般整数解的算法》,Issledovaniya po diskretnoi optimizatsii(离散优化研究),A.A.Fridman,128,140,Izdat。“Nauka”,莫斯科;A.A.Votyakov,M.A.Frumkin,1976年,《寻找线性方程组一般整数解的算法》,Issledovaniya po diskretnoi optimizatsii(离散优化研究),A.A.Fridman,128,140,Izdat。“Nauka”,莫斯科
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。