題目網址:a542: 行列式det(A)
題目概述
題目很單純,給定一個 N × N 的矩陣,求其 determinant 即可!
Technique Detail
- 矩陣大小 N,2 ≤ N ≤ 600
- 第 i 列第 j 行的矩陣元素 Ai,j,-100 ≤ Ai,j ≤ 100
輸入格式
對於每一筆測試資料,其第一行由一整數 N 開始,表示矩陣大小。接下來會有 N 列,每列有 N 個整數,即為矩陣元素。
輸出格式
對於每一筆測試資料,輸出該矩陣之 determinant 值。由於數值可能過大,需要將輸出以 100000007 取模數!
解題思路
求矩陣 determinant 算是滿經典的題目之一,一般利用高斯消去法即可。
首先從第 i (1 ≤ i ≤ N) 列開始,查看第 i 列的第 i 個元素是否為 0,若等於 0,找出第 i 個元素不等於 0 的第 j (i ≤ j ≤ N) 列,並與當前列交換。若找不到表示 determinant 為 0,直接回傳 0 即可。
目前就使得第 i 列的第 i 個元素不為 0,對於第 j (i ≤ j ≤ N) 列,我們將第 i 列乘以 (-Aj,i / Ai,i) 加到第 j 列,該步驟可使得第 j (i ≤ j ≤ N)列中的第 i 個元素皆為 0。
如此重複上述步驟至第 N 列,將會得到一個上三角矩陣(主對角線下方元素皆為 0)。其主對角線乘積即為 determinant!最後再將答案以 100000007 取模數即為答案!
可是(人生就是這麼多的可是),答案是錯的。
這題目看似容易,實際卻也沒這麼容易,除了基本的高斯消去法外,另外還暗藏著模反元素的觀念!而陷阱並不在題目的敘述中,而是在輸出的規範!輸出提到了為了避免數字過大,答案需要以 100000007 取模數!
根據同餘定理,模數運算中仍擁有加法 (+)、減法 (-)、乘法 (×)此三種運算,而除法 (÷) 將不被模數運算所支援!因此,回顧一下上述的高斯消去法,可以發現在進行消去時,我們用到了除法 (-Aj,i / Ai,i)。如此一來,該 determinant 答案固然是錯誤的。另外,由於題目給定的皆為整數,determinant 的結果也必為整數,但是既然使用了除法,答案可能會因為浮點數的精準度關係而產生些微的誤差!
既然上面的高斯消去法不能使用了,那麼該如何解該題目呢?或許會想改用降階法去解決,我相信應該是可行的,不過程式的 overhead 會較大,且時間複雜度也較高!於是,我們還是使用高斯消去法來解決,不過是修改過的高斯消去法!
除法運算中,x 的反元素(inverse)定義為 x-1 = 1/x(P.S. 任何數與其反元素相乘為 1)。所以修改前的高斯消去法中,有一段將第 i 列乘上 (-Aj,i / Ai,i),可以將其看成 (-Aj,i × (Ai,i)-1)。
接著只要將該 (Ai,i)-1 以模反元素(任一數與其模反元素相乘取模數等於 1)帶入,高斯消去法即可繼續運作了!
這題是 Morris 前輩自己出題,並在前幾天問我的題目。不過想了很久,沒啥頭緒。最後還是 morris 前輩向他人詢問後,看到反元素這關鍵字才想出解法!
Time Complexity: O(N3)
Source Code
Source code on gist.