多项式矩阵的Hermite标准型和行列式的快速确定性计算
摘要：给定一个在域K上的多项式矩阵，我们提供了一种快速且确定性的算法来计算其行列式和其Hermite标准形。我们的算法在K上的运算复杂度为log次数的乘积下的O(n^omega × max(平均行度数，平均列度数))，其中s的上界是矩阵的行和列的度数的平均值，omega是矩阵乘法的指数。这种算法基于一种快速且确定性的三角化方法，用于计算一个非奇异矩阵的Hermite标准形的对角元素。
作者：George Labahn, Vincent Neiger, Wei Zhou
论文ID：1607.04176
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2017-03-31