Uma versão modular do Algoritmo de Greville para matrizes
pseudo-inversas*
Carlos Hoppen,
Vilmar Trevisan
UFRGS – Instituto de Matemática
Avenida Bento Gonçalves 9500
91509-900 Porto Alegre - RS - BRASIL
E-mail: [email protected], [email protected].
Muitos problemas nas ciências aplicadas envolvem
a solução do conjunto de equações Ax = b. Quando
A é uma matriz não singular, temos um sistema
determinado cuja solução é x = A-1b. Em muitos
casos, porém, A é matriz singular ou nem mesmo é
matriz quadrada. É nesse contexto que definimos a
matriz pseudo-inversa, também dita matriz inversa
generalizada de A. Essa matriz, denotada por A+,
pode ser caracterizada como a única matriz que
satisfaz as equações
AXA = A
XAX = X
(AX)H = AX
(XA)H = XA
Uma propriedade fundamental dessa matriz é que a
solução do problema de mínimos quadrados
associado ao sistema Ax = b é justamente o vetor
x*= A+ b. Portanto, a noção de inversa generalizada
pode sintetizar a solução de qualquer sistema de
equações lineares.
Esse fato justifica o interesse no desenvolvimento
de algoritmos eficientes para o cálculo dessa matriz.
Dentre os algoritmos algébricos para esse problema,
destacamos o Algoritmo de Greville, um algoritmo
iterativo desenvolvido em 1965 que computa a
matriz pseudo-inversa de A a partir das matrizes
pseudo-inversas correspondentes a algumas de suas
submatrizes. Apesar da simplicidade de sua
especificação formal e do fato de que objetos
algébricos podem ser representados exatamente na
memória do computador, de modo que podem ser
tratados sem perda de precisão e significado, o
Algoritmo de Greville depara com uma dificuldade
comum dos algoritmos algébricos, o crescimento
das expressões intermediárias e o alto custo
operacional decorrente disso.
___________________
•trabalho realizado com apoio FAPERGS, processo 011316.6
Uma técnica para amenizar essa dificuldade é a
utilização de métodos modulares: em um primeiro
estágio, os problemas são resolvidos em diversos corpos
finitos Zp. As soluções são então combinadas para
recuperação da solução racional do problema, através de
ferramentas como o Algoritmo Chinês dos Restos ou o
levantamento p-ádico.
Nosso objetivo nesse trabalho é desenvolver um
algoritmo modular baseado no Algoritmo de Greville
para a obtenção da matriz inversa generalizada,
possibilitando assim a resolução de qualquer sistema de
equações lineares de maneira exata. Além da
implementação
modular
de
um
algoritmo,
introduziremos
outros
aspectos
que
julgamos
importantes. Vamos propor um algoritmo em que as
operações racionais podem ser mantidas modularmente.
Isso será possível pela utilização da representação
modular de números racionais, que permite a
recuperação de números fracionários. De fundamental
importância também será o estabelecimento de cotas
superiores para a solução procurada, já que a escolha dos
primos p que determinam os corpos finitos sobre os quais
aplicaremos o método modular dependem de uma
estimativa a priori do tamanho solução desejada.
Referências
[1] A. Ben-Israel, T.N.E. Greville, Generalized Inverses:
Theory and Applications, John Wiley & Sons, 1974.
[2] M. Lauer, Computation by Homomorphic Images,
Computer Algebra – Symbolic and Algebraic
Computation,
Computing
Supplementum
4,
Springer-Verlag, 139-168, 1982.
[3] M. M. Sanchez, Um algoritmo modular para o
cálculo da matriz pseudo-inversa,, Dissertação de
Mestrado, UFRGS, 1999.
[4] J. Springer, Exact solutions of general integer
systems of linear equations, ACM Transactions on
Mathematical Software, vol. 12, 51-61, 1986
327
Download

Uma versão modular do Algoritmo de Greville para matrizes pseudo