×

幂等数学与热带数学;算法的复杂性和区间分析。 (英语) Zbl 1362.68110号

摘要:对热带数学和幂等数学进行了非常简短的介绍。热带数学可以被视为传统数学去量化的结果,因为普朗克常数取虚数时趋于零。在幂等数学的框架中,构造和算法通常比它们的传统类比更简单。我们特别研究了由基本半环(或半域)运算和其他“好”运算集合生成的热带/幂等数学算法。这种类型的每一种算法都有一个区间版本。该区间版本的复杂性与初始算法的复杂性一致。这种算法的区间版本给出了相应输出数据的精确区间估计。研究了幂等半环上的线性代数算法。在这种情况下,基本算法,就像它们的区间版本一样,是多项式的。这种情况与传统线性代数情况有很大不同,传统线性代数的基本算法是多项式,但相应的区间版本是NP-hard,并且区间估计不精确。

MSC公司:

65年第68季度 算法和问题复杂性分析
2016年60月 半环
65层99 数值线性代数
65G40型 区间分析的一般方法
68瓦30 符号计算和代数计算
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Litvinov,G.L.,《马斯洛夫去量化、幂等和热带数学:简介》,《数学科学杂志》,140426-444(2007),arXiv:math/0507014[math.GM]
[2] Litvinov,G.L.,热带数学,幂等元分析,经典力学和几何,(Braverman,M.;etal.,谱理论和几何分析,当代数学,第535卷(2011),AMS),159-186,arXiv:1005.1247[math-ph]·Zbl 1223.14070号
[3] 利特维诺夫,G.L。;Maslov,V.P.,Idempotent Calculus和一些计算机应用的对应原理,(IHES/M/95/33)(1995年),高等教育科学研究所:高等教育科学学院Bures-sur-Yvette,arXiv:math。GM/0101021【GM】
[4] 利特维诺夫,G.L。;Maslov,V.P.,Idempotent数学:对应原理和应用,《俄罗斯数学调查》,51,6,1210-1211(1996)·Zbl 0916.49019号
[6] 伊滕伯格,I。;米哈尔金,G。;Shustin,E.,(《热带代数几何》,《热带代数几何学》,Oberwolfach研讨会,第35卷(2007年),Birkhäuser:Birkháuser Basel)·兹比尔1162.14300
[7] Mikhalkin,G.,《(R^2)中的枚举热带代数几何》,ACM杂志,18,313-377(2005),arXiv:math/0312530[math.AG]·Zbl 1092.14068号
[10] 维罗,欧,阿米巴是什么?,美国数学学会通告,49,916-917(2002)·Zbl 0986.35001号
[11] Viro,O.,《从第十六个希尔伯特问题到热带几何》,《日本数学杂志》,3,1-30(2008)
[12] (Litvinov,G.L.;Maslov,V.P.,Idempotent Mathematics and Mathematical Physics。Idempolent Mathemics and Matherical Physicals,当代数学,第377卷(2005),AMS:AMS Providence,RI)·Zbl 1069.00011号
[13] 利特维诺夫,G.L。;马斯洛夫,V.P。;Rodionov,A.Ya。;Sobolevski,A.N.,《通用算法、半环数学和并行计算》,(Gorban,A.N..;Roose,D.,《应对复杂性:模型简化和数据分析》,《应对复杂:模型简化与数据分析,计算科学与工程讲义》,第75卷(2011)),63-89,arXiv:1005.1252[math.NA]
[15] Simon,I.,《热带半环中具有多重性的可识别集》,计算机科学讲义,324107-120(1988)·Zbl 0656.68086号
[16] 戈兰,J.S.,《半环及其应用》(1999),克鲁沃学院。出版物:Kluwer学院。出版物。多德雷赫特·Zbl 0947.16034号
[17] 科洛科尔佐夫,V。;Maslov,V.,Idempotent Analysis and Applications(1997年),Kluwer Acad。出版物·Zbl 0941.93001号
[20] 利特维诺夫,G.L。;马斯洛夫,V.P。;Shpiz,G.B.,幂等空间上的线性泛函:代数方法,Doklady Mathematics,58,3,389-391(1998),arXiv:math/0012268[math.FA]·Zbl 0970.46003号
[21] 利特维诺夫,G.L。;马斯洛夫,V.P。;Shpiz,G.B.,幂等半模的张量乘积。代数方法,《数学笔记》,65,4,489-497(1999),arXiv:math/0101153[math.FA]·Zbl 0974.46057号
[22] 利特维诺夫,G.L。;马斯洛夫,V.P。;Shpiz,G.B.,幂等函数分析。代数方法,数学笔记,69,5,696-729(2001),arXiv:math/0009128[math.FA]·Zbl 1017.46034号
[23] 利特维诺夫,G.L。;马斯洛夫,V.P。;Shpiz,G.B.,Idempotent(渐近)分析和表示理论,(Malyshev,V.A.;Vershik,A.M.,《渐近组合数学及其在数学物理中的应用》(2002),Kluwer学术出版社:Kluwer学术出版社。多德雷赫特),267-278,arXiv:math/0206025[math.RT]·Zbl 1029.43004号
[25] 利特维诺夫,G.L。;Maslova,E.V.,《通用数值算法及其软件实现》,《编程与计算机软件》,26,5,275-280(2000),arXiv:math/0102114[math.SC]·Zbl 0968.68194号
[26] 利特维诺夫,G.L。;罗迪奥诺夫,A.雅。;Tchourkin,A.V.,《通用算法的近似有理算术和任意精度计算》,《国际纯粹和应用数学杂志》,45,2,193-204(2008),arXiv:math/0101152[math.NA]·Zbl 1141.65363号
[28] (Litvinov,G.L.;Sergeev,S.N.,《热带和幂等数学》,《热带与幂等数学,当代数学》,第495卷(2009),AMS:AMS Providence,RI)·Zbl 1172.00019号
[29] 利特维诺夫,G.L。;Shpiz,G.B.,《幂等元分析中的核半模和核定理:代数方法》,Doklady Mathematics,66,2,197-199(2002),arXiv:math/02026[math.FA]·Zbl 1246.46063号
[30] 利特维诺夫,G.L。;Shpiz,G.B.,幂等数学中的核定理和核性。代数方法,《数学科学杂志》,1411417-1428(2007),arXiv:math/0609033[math.FA]·Zbl 1112.46005号
[31] 科恩,G。;Gaubert,S。;Quadrat,J.-P.,幂等半模中的对偶和分离定理,线性代数及其应用,379395-422(2004),arXiv:math/0212294[math.FA]·Zbl 1042.46004号
[32] Maslov,V.P.,优化问题的新叠加原理,(Seminaire surles Equations aux Dérives Partielles 1985/86)。Seminaire sur les Equations aux Dériveées Partielles 1985/86,Exposé24,数学中心。(1986年),《德埃科理工学院:帕拉瓦索德埃科理工学院》(De l'Ecole Polytechnique Palaiseau)
[33] Maslov,V.P.,《关于优化问题的新叠加原理》,Uspekhi Matematicheskikh Nauk,《俄罗斯数学调查》,42,3,39-48(1987)·兹伯利0707.35138
[34] 马斯洛夫,V.P.,《梅特霍德斯·奥佩拉托列斯》(1987),《和平号:和平号莫斯科》·Zbl 0651.47039号
[35] Carré,B.A.,《网络路由问题的代数》,《数学及其应用研究所杂志》,第7期,第273-294页(1971年)·Zbl 0219.90020号
[36] Carré,B.A.,《图形和网络》(1979),克拉伦登出版社/牛津大学出版社:克拉伦登出版公司/牛津大学出版公司·Zbl 0455.05001号
[37] (Maslov,V.P.;Samborskii,S.N.,Idempotent Analysis。Idempolent Analysis,《苏联高等数学》,第13卷(1992年),Amer。数学。Soc.:美国。数学。佛罗里达州普罗维登斯Soc.Providence)·兹比尔0772.00015
[38] Gondran,M。;米努克斯,M.,《图、二元体和半环》(2010),施普林格:施普林格纽约·Zbl 1117.06010号
[39] Gorban,A.N。;Radulescu,O。;Zinovyev,A.Y.,《化学反应网络的渐近》,化学工程科学,652310-2324(2010)
[40] (Gunawardena,J.,Idempotency,牛顿研究所出版社,第11卷(1998年),剑桥大学出版社:剑桥大学出版社)
[42] Birkhoff,G.,《晶格理论》(1967),Amer。数学。Soc.:美国。数学。意大利普罗维登斯足球俱乐部·兹伯利0126.03801
[43] 利特维诺夫,G.L。;Sobolevskiĭ,A.N.,离散Bellman方程的精确区间解和区间幂等线性代数中的多项式复杂性,Doklady Mathematics,62,2,199-201(2000),arXiv:math/0101041[math.LA]·Zbl 1045.65037号
[44] 利特维诺夫,G.L。;Sobolevskiĭ,A.N.,幂等区间分析与优化问题,可靠计算,7353-377(2001),arXiv:math/0101080[math.SC]·Zbl 1012.65065号
[45] 巴氏杆菌。;科恩,G。;Olsder,G.J。;Quadrat,J.P.,《同步与线性:离散事件系统的代数》(1992),威利出版社·Zbl 0824.93003号
[46] Cuninghame-Green,R.A.,(最小代数,最小代数,经济学和数学系统讲义,第166卷(1979),施普林格:施普林格-柏林)·Zbl 0498.90084号
[47] Gondran,M。;Minoux,M.,《Graphes et Algorithmes》(1979年),《Eylrolles:巴黎版Eylrolles》·Zbl 0497.05023号
[48] Lehmann,D.J.,传递闭包的代数结构,理论计算机科学,459-76(1977)·Zbl 0358.68061号
[49] Lorenz,M.,《面向对象软件:实用指南》(1993),普伦蒂斯·霍尔图书:普伦蒂斯·霍尔图书公司,新泽西州恩格尔伍德克利夫斯
[50] Pohl,I.,《使用面向对象编程》(C^{++}(1997)\),Addison Wesley:Addison Wesley Reading,马萨诸塞州·Zbl 0875.68223号
[51] 斯蒂芬诺夫,A。;Lee,M.,《标准模板库》(The Standard Template Library)(1994),Hewlett-Packard:Hewlett-Packard Palo Alto,CA
[52] Butković,P.,《Max-linear Systems:Theory and Algorithms》(2010),施普林格出版社:施普林格伦敦·Zbl 1202.15032号
[53] Butkovic,P。;Zimmermann,K.,求解极大代数中双边线性系统的强多项式算法,离散应用数学,154437-446(2006)·Zbl 1090.68119号
[56] 哈杜因,L。;科腾索,B。;M.Lhommeau。;Le Corronc,E.,幂等半环上的区间系统,线性代数及其应用,431855-862(2009)·Zbl 1201.65070号
[57] Theobald,T.,《热带几何多项式计算的前沿》,《符号计算杂志》,411360-1375(2006),arXiv:math/0411012v2[math.CO]·Zbl 1121.14047号
[59] Alefeld,G。;Herzberger,J.,《区间计算导论》(1983),学术出版社:纽约学术出版社·兹伯利0552.65041
[60] 菲德勒,M。;奈多马,J。;J·拉米克。;Rohn,J。;Zimmermann,K.,《不精确数据下的线性优化问题》(2006),Springer:Springer New York·Zbl 1106.90051号
[61] 克里诺维奇,V。;Lakeev,A。;Rohn,J。;Kahl,P.,《数据处理和区间计算的计算复杂性和可行性》(1998年),克鲁沃学术出版社:克鲁沃学术出版商Dordrecht·Zbl 0945.68077号
[62] Moore,R.E.,(区间分析的方法和应用。区间分析的方式和应用,应用数学中的SIAM研究(1979),SIAM:宾夕法尼亚州费城SIAM)·Zbl 0417.65022号
[63] Neumaier,A.,方程组的区间方法(1990),剑桥大学出版社:剑桥大学出版社·Zbl 2009年6月7日
[64] Sobolevskiĭ,A.N.,幂等半环上的区间算术和线性代数,Doklady Mathematics,60431-433(1999)·Zbl 1107.90454号
[65] Cechlárová,K。;Cuninghame-Green,R.A.,极大可分线性方程组的区间系统,线性代数及其应用,340,215-224(2002)·Zbl 1004.15009号
[66] Myškova,H.,最大可分离线性方程的区间系统,线性代数及其应用,403263-272(2005)·Zbl 1077.15004号
[67] Myškova,H.,最大可解线性方程组的区间系统的控制可解性,线性代数及其应用,416215-223(2006)·Zbl 1129.15003号
[68] Barth,W。;Nuding,E.,Optimale lösung von intervalgleichungsystemen,《计算》,第12期,第117-125页(1974年)·Zbl 0275.65008号
[69] Coxson,G.E.,《计算区间逆矩阵元素的精确界》,NP-hard,《可靠计算》,5137-142(1999)·Zbl 0936.65021号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。