Calculando o determinante usando o método de Kraut em $O(N^3)$

Neste artigo, descreveremos como encontrar o determinante da matriz usando o método Kraut, que funciona em $O(N^3)$.

O algoritmo de Kraut encontra a decomposição da matriz $A$ como $A = L U$ onde $L$ é a matriz triangular inferior e $U$ é a matriz triangular superior. Sem perda de generalidade, podemos assumir que todos os elementos diagonais de $L$ são iguais a 1. Uma vez conhecidas essas matrizes, é fácil calcular o determinante de $A$: é igual ao produto de todos os elementos na diagonal principal da matriz $U$.

Existe um teorema que afirma que qualquer matriz invertível tem uma decomposição em L e U, e ela é única, se e somente se todos os seus elementos principais "minors"(um "minor" é o determinante de uma matriz quadrada formada pela exclusão de uma linha e uma coluna de alguma matriz quadrada maior) forem diferentes de zero. Consideramos apenas essa decomposição na qual a diagonal da matriz $L$ consiste apenas de um's.

Seja $A$ a matriz e $N$ seu tamanho. Vamos encontrar os elementos das matrizes $L$ e $U$ usando as seguintes etapas:

  1. Seja $L_{i i} = 1$ for $i = 1, 2, ..., N$.
  2. Para cada $j = 1, 2, ..., N$ execute:
    • Para $i = 1, 2, ..., j$ encontre os valores $$U_{ij} = A_{ij} - \sum_{k=1}^{i-1} L_{ik} \cdot U_{kj}$$
    • Em seguida, para $i = j+1, j+2, ..., N$ encontre os valores $$L_{ij} = \frac{1}{U_{jj}} \left(A_{ij} - \sum_{k=1}^{j-1} L_{ik} \cdot U_{kj} \right)$$.

Implementação

static BigInteger det (BigDecimal a [][], int n) {
    try {

    for (int i=0; i<n; i++) {
        boolean nonzero = false;
        for (int j=0; j<n; j++)
            if (a[i][j].compareTo (new BigDecimal (BigInteger.ZERO)) > 0)
                nonzero = true;
        if (!nonzero)
            return BigInteger.ZERO;
    }

    BigDecimal scaling [] = new BigDecimal [n];
    for (int i=0; i<n; i++) {
        BigDecimal big = new BigDecimal (BigInteger.ZERO);
        for (int j=0; j<n; j++)
            if (a[i][j].abs().compareTo (big) > 0)
                big = a[i][j].abs();
        scaling[i] = (new BigDecimal (BigInteger.ONE)) .divide
            (big, 100, BigDecimal.ROUND_HALF_EVEN);
    }

    int sign = 1;

    for (int j=0; j<n; j++) {
        for (int i=0; i<j; i++) {
            BigDecimal sum = a[i][j];
            for (int k=0; k<i; k++)
                sum = sum.subtract (a[i][k].multiply (a[k][j]));
            a[i][j] = sum;
        }

        BigDecimal big = new BigDecimal (BigInteger.ZERO);
        int imax = -1;
        for (int i=j; i<n; i++) {
            BigDecimal sum = a[i][j];
            for (int k=0; k<j; k++)
                sum = sum.subtract (a[i][k].multiply (a[k][j]));
            a[i][j] = sum;
            BigDecimal cur = sum.abs();
            cur = cur.multiply (scaling[i]);
            if (cur.compareTo (big) >= 0) {
                big = cur;
                imax = i;
            }
        }

        if (j != imax) {
            for (int k=0; k<n; k++) {
                BigDecimal t = a[j][k];
                a[j][k] = a[imax][k];
                a[imax][k] = t;
            }

            BigDecimal t = scaling[imax];
            scaling[imax] = scaling[j];
            scaling[j] = t;

            sign = -sign;
        }

        if (j != n-1)
            for (int i=j+1; i<n; i++)
                a[i][j] = a[i][j].divide
                    (a[j][j], 100, BigDecimal.ROUND_HALF_EVEN);

    }

    BigDecimal result = new BigDecimal (1);
    if (sign == -1)
        result = result.negate();
    for (int i=0; i<n; i++)
        result = result.multiply (a[i][i]);

    return result.divide
        (BigDecimal.valueOf(1), 0, BigDecimal.ROUND_HALF_EVEN).toBigInteger();
    }
    catch (Exception e) {
        return BigInteger.ZERO;
    }
}