Publication | Closed Access
Polynomial Algorithms for Computing the Smith and Hermite Normal Forms of an Integer Matrix
406
Citations
11
References
1979
Year
Numerical AnalysisTheory Of ComputingPolynomial AlgorithmsEngineeringComputational Number TheoryMatrix AnalysisAlgebraic ComplexityHermite Normal FormsAlgebraic MethodComputational ComplexityTime ComplexityMatrix MethodComputer ScienceMatrix TheoryInteger MatrixApproximation TheorySmith Normal FormsIntermediate Numbers
Recently, Frumkin noted that no known algorithm for converting an integer matrix into Smith or Hermite normal form runs in polynomial time, and Blankinship observed that intermediate numbers can become large during standard calculations. The authors propose new algorithms that bound both the number of algebraic operations and the size of intermediate numbers by polynomials in the binary input length. The algorithms compute multiplier matrices K, U′, and K′ so that AK and U′AK′ yield the Hermite and Smith normal forms of the input matrix. These algorithms establish the first proof that multiplier matrices with sufficiently small entries exist.
Recently, Frumkin [9] pointed out that none of the well-known algorithms that transform an integer matrix into Smith [16] or Hermite [12] normal form is known to be polynomially bounded in its running time. In fact, Blankinship [3] noticed—as an empirical fact—that intermediate numbers may become quite large during standard calculations of these canonical forms. Here we present new algorithms in which both the number of algebraic operations and the number of (binary) digits of all intermediate numbers are bounded by polynomials in the length of the input data (assumed to be encoded in binary). These algorithms also find the multiplier-matrices K, $U'$ and $K'$ such that $AK$ and $U'AK'$ are the Hermite and Smith normal forms of the given matrix A. This provides the first proof that multipliers with small enough entries exist.
| Year | Citations | |
|---|---|---|
Page 1
Page 1