ACM Transactions on Algorithms ( IF 1.3 ) Pub Date : 2023-10-14 , DOI: 10.1145/3617996 Stavros Birmpilis 1 , George Labahn 1 , Arne Storjohann 1
A Las Vegas randomized algorithm is given to compute the Hermite normal form of a nonsingular integer matrix A of dimension n. The algorithm uses quadratic integer multiplication and cubic matrix multiplication and has running time bounded by O(n3 (log n + log ||A||)2(log n)2) bit operations, where ||A||= max ij |Aij| denotes the largest entry of A in absolute value. A variant of the algorithm that uses pseudo-linear integer multiplication is given that has running time (n3 log ||A||)1+o(1) bit operations, where the exponent “+ o(1)” captures additional factors c1 (log n)c2 (loglog||A||)c3 for positive real constants c1,c2,c3.
中文翻译:
计算非奇异整数矩阵Hermite范式的三次算法
给出了拉斯维加斯随机算法来计算维度为n的非奇异整数矩阵A的 Hermite 范式。该算法使用二次整数乘法和三次矩阵乘法,运行时间受O(n 3 (log n + log ||A||) 2 (log n ) 2 ) 位运算限制,其中 || A ||= 最大ij | A ij | 表示A的绝对值中最大的条目。给出了使用伪线性整数乘法的算法的变体,其运行时间为(n 3 log || A ||) 1+ o (1)位运算,其中指数“ + o (1)”捕获附加因子c 1 (log n ) c2 (loglog|| A ||) c3为正实常数c 1 ,c 2 ,c 3。