摘要
R.阿鲁尔。 2015年,《网络物理系统原理》。 麻省理工学院出版社。 谷歌学者 数字图书馆 E.Asarin、V.Mysore、A.Pnueli和G.Schneider。 2012.低维混合系统——可决定,不可决定,未知。 Inf.计算。 211(2012),138-159。 谷歌学者 数字图书馆 L.Babai、R.Beals、J.-Y.Cai、G.Ivanyos和E.M.Luks。 交换矩阵上的乘法方程。 在SODA中。 ACM/SIAM,498--507。 谷歌学者 数字图书馆 A.贝克。 1975年,先验数论。 剑桥大学出版社。 谷歌学者 P.Bell、V.Halava、T.Harju、J.Karhumäki和I.Potapov。 2008.矩阵方程和希尔伯特第十问题。 国际代数杂志。 计算。 18, 8 (2008), 1231--1241. 谷歌学者 交叉引用 P.C.Bell、J.-C.Delvenne、R.M.Jungers和V.D.Blondel。 2010年,持续的斯科勒姆-皮索问题。 西奥。 计算。 科学。 411, 40--42 (2010), 3625--3634. 谷歌学者 数字图书馆 蔡建友。 精确计算多项式时间内交换矩阵的Jordan范式。 国际J.Found。 计算。 科学。 5, 3,4 (1994), 293--302. 谷歌学者 交叉引用 J.-Y.Cai、R.J.Lipton和Y.Zalcstein。 2000.ABC问题的复杂性。 SIAM J.计算。 29, 6 (2000), 1878--1888. 谷歌学者 数字图书馆 T.Chen、N.Yu和T.Han。 2015.连续时间轨道问题可以在多项式时间内确定。 通知。 过程。 莱特。 115, 1 (2015), 11--14. 谷歌学者 数字图书馆 C.Choffrut和J.Karhumäki。 关于整数矩阵的一些决策问题。 西奥。 信息申请。 39, 1 (2005), 125--131. 谷歌学者 交叉引用 H.科恩。 1993年。计算代数数论课程。 斯普林格·弗拉格。 谷歌学者 数字图书馆 E.海因里。 2008年。线性动力系统的可达性。 在CiE(LNCS),第5028卷。 施普林格,241-250。 谷歌学者 数字图书馆 V.哈拉瓦。 1997.矩阵理论中的可决定和不可决定问题。 技术报告127。 图尔库计算机科学中心。 谷歌学者 B.大厅。 2015.李群、李代数和表示。 斯普林格。 谷歌学者 T.A.亨廷格。 1996年,混合自动机理论。 在LICS中。 IEEE计算机学会,278-292。 谷歌学者 数字图书馆 T.A.Henzinger、P.W.Kopke、A.Puri和P.Varaiya。 1995.混合自动机的决定因素是什么? 在STOC中。 美国医学会,373--382。 谷歌学者 数字图书馆 R.Kannan和R.J.Lipton。 1986.轨道问题的多项式时间算法。 美国医学会期刊33,4(1986),808--821。 谷歌学者 数字图书馆 L.Khachiyan和L.Porkolab。 凸半代数集上的整数优化。 离散。 计算。 地理。 23, 2 (2000), 207--224. 谷歌学者 交叉引用 S.Lang.1966年。 先验数论导论。 谷歌学者 A.Macintyre和A.J.Wilkie。 关于实指数场的可判定性。 在克里塞利亚纳:关于乔治·克里塞尔及其周围。 A K Peters,441-467。 谷歌学者 D.W.Masser公司。 1988.代数群上的线性关系。 超越理论的新进展。 剑桥大学出版社。 谷歌学者 M.纽曼。 关于交换矩阵的两个经典定理。 J.Res.Nat.Bur.研究。 站立。 71 B,2,3(1967),69--71。 谷歌学者 交叉引用 M.S.Paterson先生。 1970.3×3矩阵中的不可解性。 《数学与物理杂志》49,1(1970),105-107。 谷歌学者 I.Potapov和P.Semukhin。 2017.2×2整数矩阵隶属度问题的可判定性。 在SODA中。 暹罗,170-186。 谷歌学者 数字图书馆
建议
矩阵指数方程的可解性 LICS’16:第31届ACM/IEEE计算机科学逻辑年会论文集 我们考虑(Babai等人,1996)和(Cai等人,2000)求解乘法矩阵方程的问题的连续相似性。 给定k+1平方矩阵A1。。。, Ak,C,都是相同维的,它们的条目都是实代数的,我们检查。。。 Toeplitz矩阵指数的Shift-Invert-Arnoldi逼近 利用移位-逆Arnoldi方法从对应于实Toeplitz矩阵和初始向量的Krylov子空间生成正交基。 利用该方法产生的向量和递推系数,可以计算出不同的参数。。。