Агуулгыг алгасах

Краутын аргаар тодорхойлогчийг $O(N^3)$-д бодох

Энэ өгүүлэлд бид $O(N^3)$-д ажилладаг Краутын аргаар матрицын тодорхойлогчийг хэрхэн олохыг тайлбарлана.

Краутын алгоритм нь $A$ матрицыг $A = L U$ хэлбэрээр задалдаг, энд $L$ нь доод гурвалжин, $U$ нь дээд гурвалжин матриц юм. Ерөнхий чанараа алдалгүйгээр бид $L$-ийн бүх диагональ элемент 1-тэй тэнцүү гэж үзэж болно. Эдгээр матрицыг мэдсэн бол $A$-ийн тодорхойлогчийг тооцоолоход амархан: энэ нь $U$ матрицын гол диагональ дээрх бүх элементийн үржвэртэй тэнцүү.

Дурын урвуутай матриц LU-задаргаатай бөгөөд түүний бүх үндсэн минор тэг биш байвал, зөвхөн тэр үед л энэ задаргаа цор ганц байна гэсэн теорем бий. Бид зөвхөн $L$ матрицын диагональ нь нэгжүүдээс тогтдог ийм задаргааг авч үзнэ.

$A$ нь матриц, $N$ нь түүний хэмжээ байг. Бид $L$ ба $U$ матрицуудын элементүүдийг дараах алхмуудаар олно:

  1. $i = 1, 2, ..., N$-ийн хувьд $L_{i i} = 1$ гэе.
  2. $j = 1, 2, ..., N$ бүрийн хувьд дараахыг гүйцэтгэ:

    • $i = 1, 2, ..., j$-ийн хувьд утгуудыг ол

      $$U_{ij} = A_{ij} - \sum_{k=1}^{i-1} L_{ik} \cdot U_{kj}$$
    • Дараа нь $i = j+1, j+2, ..., N$-ийн хувьд утгуудыг ол

      $$L_{ij} = \frac{1}{U_{jj}} \left(A_{ij} - \sum_{k=1}^{j-1} L_{ik} \cdot U_{kj} \right).$$

Implementation

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;
    }
}