区间矩阵的AE正则性
摘要：关于AE解集和AE可解性的线性系统方程组的研究问题是，每个区间系数都与普遍或存在量词相关联。AE解集和AE可解性取决于forall exists量化。 在此论文中，我们探讨了系数矩阵需要具备什么性质才能保证存在AE解的问题。基于这个目标，我们引入了AE规则的概念，它意味着AE解集是非空的，并且该系统对于每一个右侧方程都是AE可解的。我们讨论了AE规则的特征，还关注了一些隐含AE规则的矩阵类别。其中一些类别是多项式可判定的，因此可以有效地检查AE规则。我们还提出了与计算复杂性和特征有关的未解决问题。
作者：Milan Hlad''ik
论文ID：1707.02102
分类：Numerical Analysis
分类简称：cs.NA
提交时间：2019-05-28