ASYMPTOTICALLY FAST TRIANGULARIZATION OF MATRICES OVER RINGS

被引:57
作者
HAFNER, JL
MCCURLEY, KS
机构
[1] IBM Almaden Research Cent, San Jose, CA
关键词
HERMITE NORMAL FORM; FACTORIZATION OF MATRICES; ALGORITHMS;
D O I
10.1137/0220067
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
This paper considers the problems of triangularizing and diagonalizing matrices over rings, with particular emphasis on the integral case. It begins with a description of fast algorithms for the computation of Hermite and Smith normal forms of integer matrices. Then it shows how to apply fast matrix multiplication techniques to the problem of triangularizing a matrix over a ring using elementary column operations. These general results lead to an algorithm for triangularizing integer matrices that has a faster running time than the known Hermite normal form algorithms. The triangular matrix that is computed has small entries like the Hermite normal form, and will suffice for many applications.
引用
收藏
页码:1068 / 1083
页数:16
相关论文
共 33 条
[1]  
Aho A. V., 1974, DESIGN ANAL COMPUTER
[2]   MATRIX TRIANGULATION WITH INTEGER ARITHMETIC (FI) [J].
BLANKINSHIP, WA .
COMMUNICATIONS OF THE ACM, 1966, 9 (07) :513-+
[3]   SOLUTION OF SIMULTANEOUS LINEAR DIOPHANTINE EQUATIONS [F4] [J].
BLANKINSHIP, WA .
COMMUNICATIONS OF THE ACM, 1966, 9 (07) :514-+
[4]   EXACT SOLUTIONS OF LINEAR EQUATIONS WITH RATIONAL COEFFICIENTS BY CONGRUENCE TECHNIQUES [J].
BOROSH, I ;
FRAENKEL, AS .
MATHEMATICS OF COMPUTATION, 1966, 20 (93) :107-&
[6]  
BUNCH JR, 1974, MATH COMPUT, V28, P231, DOI 10.1090/S0025-5718-1974-0331751-8
[7]   ALGORITHMS FOR THE SOLUTION OF SYSTEMS OF LINEAR DIOPHANTINE EQUATIONS [J].
CHOU, TWJ ;
COLLINS, GE .
SIAM JOURNAL ON COMPUTING, 1982, 11 (04) :687-708
[8]   MATRIX MULTIPLICATION VIA ARITHMETIC PROGRESSIONS [J].
COPPERSMITH, D ;
WINOGRAD, S .
JOURNAL OF SYMBOLIC COMPUTATION, 1990, 9 (03) :251-280
[9]   HERMITE NORMAL-FORM COMPUTATION USING MODULO DETERMINANT ARITHMETIC [J].
DOMICH, PD ;
KANNAN, R ;
TROTTER, LE .
MATHEMATICS OF OPERATIONS RESEARCH, 1987, 12 (01) :50-59
[10]  
DOMICH PD, 1985, THESIS CORNELL U ITH