×

保证精度的对称双曲偏微分方程组计算解的位复杂度。 (英语) Zbl 07363329号

摘要:我们建立了偏微分方程对称双曲组解算子计算比特复杂度的上界,将符号算法和近似算法相结合,以获得具有保证规定精度的解。限制代数实输入允许我们使用经典(“离散”)位复杂性概念。

MSC公司:

03年月日 可计算性和递归理论
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] A.G.Akritas,《计算机代数原理与应用》,Wiley Interscience,纽约,1989年·兹比尔0675.68001
[2] P.E.Alaev,多项式时间内可计算结构的存在性和唯一性,代数和逻辑学55(1)(2016),106-112。doi:10.1007/s10469-016-9377-6·Zbl 1361.03042号
[3] P.E.Alaev和V.L.Selivanov,多项式时间内可计算的代数数域。一、 《代数与逻辑学》58(6)(2019),673-705。doi:10.33048/alglog.2019.58.601。
[4] K.I.Babenko,in:《数值分析基础》,莫斯科,瑙卡,1986年(俄语)·Zbl 0624.65001号
[5] J.L.Balcázar、J.Díaz和J.Gabarró,结构复杂性I,收录于:EATCS理论计算机科学专著,第11卷,Springer-Verlag,1988年·Zbl 0638.68040号
[6] S.Basu、R.Pollack和M.Roy,《实代数几何中的算法》,斯普林格,海德堡,2006年·Zbl 1102.14041号
[7] V.Brattka、P.Hertling和K.Weihrauch,《可计算分析教程》,收录于:新计算范式,S.B.Cooper、B.Löwe和A.Sorbi,编辑,2008年,第425-491页·兹比尔1145.03037
[8] P.Bürgisser、M.Clausen和A.Shokrollahi,代数复杂性理论,施普林格,柏林-海德堡,1997年·Zbl 1087.68568号
[9] D.Cenzer和J.Remmel,多项式时间与递归模型,《纯粹与应用逻辑年鉴》54(1991),17-58。doi:10.1016/0168-0072(91)90008-A·Zbl 0756.03021号
[10] G.E.Collins和R.Loos,多项式的实零点,摘自:《计算机代数:符号和代数计算》,Springer-Verlag出版社,1982年,第83-94页。doi:10.1007/978-3-7091-3406-17·兹标0491.00019
[11] Y.L.Ershov和S.S.Goncharov,《建构模型》,科学图书,新西伯利亚,1999年(俄语,有英文译本)·Zbl 1043.03518号
[12] L.C.Evans,偏微分方程,数学研究生课程,第19卷,美国数学学会,1998年·Zbl 0902.35002号
[13] K.O.Friedrichs,《对称双曲线性微分方程》,《纯粹数学与应用数学交流》7(1954),第345-392页。doi:10.1002/cpa.3160070206·Zbl 0059.08902号
[14] F.R.Gantmacher,矩阵理论,瑙卡,莫斯科,1967年(俄语)。
[15] S.K.Godunov,《数学物理方程》,瑙卡,莫斯科,1971年(俄语)。
[16] S.K.Godunov(编辑),气体动力学高维问题的数值解,瑙卡,莫斯科,1976年,(俄语)。
[17] S.K.Godunov等人,in:《欧几里德空间中线性方程组求解的保证精度》,新西伯利亚,瑙卡,1988年,(俄语)·Zbl 0665.65022号
[18] S.K.Godunov和V.S.Ryaben'kii,《差分格式理论导论》,Fizmatgiz,莫斯科,1962年,(俄语)。英文翻译:《差分方案:基础理论导论(数学及其应用研究)》,爱思唯尔科学有限公司,1987年。
[19] F.John,《高级数值分析讲座》,Gordon and Breach出版社,科学出版社,1966年。
[20] A.Kawamura和M.Ziegler,《真实复杂性理论的邀请:比特成本可靠数值的算法基础》,arXiv:1801.07108。
[21] K.Ker-I,实函数复杂性理论,Birkhäuser,波士顿,1991年·Zbl 0791.03019号
[22] I.Koswara,S.Selivanova和M.Ziegler,实数幂的计算复杂性和改进的线性微分方程求解,在:Proc。第14届俄罗斯国际计算机科学研讨会,LNCS,第11532卷,2019年·Zbl 07121069号
[23] A.G.Kulikovskii,N.V.Pogorelov和A.Y.Semönov,双曲系统数值解的数学方面,查普曼和霍尔/CRC出版社,博卡拉顿,2001年·Zbl 0965.35001号
[24] A.K.Lenstra、H.W.Lenstro和L.Lovasz,有理系数因式分解多项式,数学。Ann.261(1982),515-534。doi:10.1007/BF01457454·Zbl 0488.12001号
[25] R.Loos,《代数扩展中的计算》,收录于:《计算机代数:符号和代数计算》,施普林格-弗拉格出版社,1982年,第115-138页。doi:10.1007/978-3-7091-3406-19·Zbl 0576.12001号
[26] S.Mizohata,《偏微分方程理论》,剑桥大学出版社,剑桥,1973年·Zbl 0263.35001号
[27] V.Pan和J.Reif,偏微分方程离散解的位复杂性:紧凑多重网格,计算机数学。应用20(2)(1990),9-16。doi:10.1016/0898-1221(90)90235-C·Zbl 0711.65100号
[28] 潘伟业、陈振清,矩阵特征问题的复杂性,载《第三十一届ACM计算理论研讨会论文集》,ACM,1999年,第507-516页。doi:10.1145/301250.301389·Zbl 1346.68103号
[29] F.Rellich,Störungstehorie der Spektralzerlegung I.,Analytische Sto¨rung der isolierten Punkteigenwerte eines beschránkten Operators,数学。Ann.113(1937),600-619,(德语)。doi:10.1007/BF01571652·Zbl 0016.06201号
[30] A.Schrijver,线性和整数规划理论,Wiley Interscience,纽约,1986年·Zbl 0665.90063号
[31] S.Selivanova和V.Selivinov,PDE的一些线性双曲方程组边值问题的计算解算子,计算机科学中的逻辑方法4(13)(2017),1-31,arXiv的早期版本:1305.2494(2013)·Zbl 1459.03070号
[32] S.Selivanova和M.Ziegler,《精确实际计算中PDE的交钥匙解决方案》,摘自:《摘要之书-第十二届区间方法夏季研讨会》,法国帕拉瓦索,2019年7月23日至26日,第21-22页,https://swim2019.ensta-paris.fr/SWIM-19_Book_of_Abstracts.pdf。
[33] S.V.Selivanova和V.L.Selivenov,PDE对称双曲系统的计算解算子,《通用计算机科学杂志》15(6)(2009),1337-1364·Zbl 1203.03058号
[34] S.V.Selivanova和V.L.Selivinov,《关于构造数域和偏微分方程解的可计算性》,Doklady Mathematics477(3)(2017),282-285·Zbl 1406.35179号
[35] S.V.Selivanova和V.L.Selivenov,PDE对称双曲系统计算解的比特复杂性(扩展摘要),摘自:欧洲可计算性会议论文集,F.Manea,R.Miller和D.Novotka,eds,LNCS,Vol.10936,Springer,Berlin,2018·Zbl 1509.03143号
[36] S.Smale,《关于算法的拓扑》,《复杂性杂志》3(1987),第81-89页。doi:10.1016/0885064X(87)90021-5·Zbl 0639.68042号
[37] J.C.Strikverda,《有限差分格式和偏微分方程》,SIAM,2004年·Zbl 1071.65118号
[38] G.Szegö,《正交多项式》,AMS 531,纽约西116街,1959年·Zbl 0089.27501号
[39] Trefethen法律公告,《常微分方程和偏微分方程的有限差分和谱方法》,康奈尔大学计算机科学系和应用数学中心,1996年。
[40] B.L.van der Waerden,《代数》,施普林格,柏林,1967年·Zbl 0192.33002号
[41] V.Vassiliev,辫子群的上同调性和算法的复杂性,功能分析。应用22(1989),182-190。doi:10.1007/BF01077624·Zbl 0674.68040号
[42] K.Weihrauch,《可计算分析》,施普林格出版社,柏林,2000年·Zbl 0956.68056号
[43] K.Weihrauch,可计算度量空间上的计算复杂性,《数学逻辑季刊》49(1)(2003),3-21·Zbl 1018.03049号
[44] C.Yap、M.Sagraloff和V.Sharma,《分析根聚类:使用软零测试的完整算法》,载于:欧洲可计算性会议,施普林格,2013年,第434-444页·Zbl 1416.65068号
[45] Y.S.Zavyalov,B.I.Kvasov和V.L.Miroshnichenko,样条函数方法,Fizmatgiz,莫斯科,1980年(俄语)·Zbl 0524.65007号
[46] 周锦鹏,关于有限多个代数数生成的扩张度,《数论杂志》34(1990),133-141。doi:10.1016/0022-314X(90)90144-G·Zbl 0719.11080号
[47] M.Ziegler,《具有最小离散建议的真实计算:非均匀可计算性的复杂性理论》,《纯粹和应用逻辑年鉴》163(8)(2012),1108-1139。doi:10.1016/j.apal.2011.12.030·Zbl 1259.03059号
[48] M.Ziegler和V.Brattka,可计算谱定理,见:Proc。CCA 2000,计算机科学课堂讲稿,第2064卷,2001年,第378-388页·Zbl 0985.03054号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。