110 年 國立中央大學資訊工程學系碩士班《離散數學與線性代數》
第 1 題5 分
Which of the following logic equivalence statements are incorrect?
(A) .
(B) .
(C) .
(D) .
(E) . Assume that does not occur as a free variable in and the domain of is nonempty.
登入後即可作答並保存紀錄。
核心觀念
本題考量詞與命題連接詞的分配關係。全稱量詞表示「對所有元素都成立」,存在量詞表示「至少有一個元素使其成立」。判斷兩式是否等價,可先檢查量詞是否要求同一個元素作為見證,並用小型論域構造反例。
解題方法
逐一比較等式左右兩側的條件。若兩側條件不同,找一個使真值不相同的論域與謂詞,即可證明不等價;若兩側描述相同條件,則等價。
選項分析
(A) 正確。
左側要求每個 都滿足 ,且每個 都滿足 ;這正是每個 都同時滿足 與 :
(B) 錯誤。
左側只要求「所有元素都滿足 」或「所有元素都滿足 」其中一項成立;右側則允許不同元素分別滿足 或 。
令論域為 ,且 、 為真,、 為假。此時左側為假,但每個元素都滿足 ,故右側為真。因此兩式不等價。
(C) 錯誤。
左側允許 與 分別由不同元素滿足;右側要求存在同一個元素同時滿足 與 。
仍令論域為 ,且 、 為真,、 為假。左側為真,但沒有元素同時滿足 與 ,所以右側為假。
(D) 正確。
左側表示存在元素滿足 ,或存在元素滿足 。這等價於存在一個元素滿足 :
第 2 題5 分
小英、江哥、柯 P 和 3Q 哥在聊離散數學,以下哪幾句敘述有誤?
(A) 小英對江哥說:從我的黨員到你的黨員間存在有 injective function 的映射,所以我的黨比你的黨大。
(B) 柯 P 對小英說:從我的黨員到你的黨員間存在有 bijective function 的映射,所以我的黨比你的黨大。
(C) 江哥說:從自然數集 到我的黨員間存在有 surjective function 的映射,所以我的黨比小英跟柯 P 兩個黨加起來還大。
(D) 3Q 哥對江哥說:從有理數集 到我的黨員間存在有 surjective function 的映射,所以我的黨才是最大的。
(E) 以上皆是。
登入後即可作答並保存紀錄。
核心觀念
設 、 為兩個集合,其基數大小可用函數判斷:
- 若存在從 到 的單射,則 。
- 若存在從 到 的雙射,則 。
- 若存在從 到 的滿射,則 。
自然數集 與有理數集 都是可數無限集,基數皆為 。存在上述函數,只能推出相應的基數關係,不能直接推出某一方「比較大」或「最大」。
解題方法
逐一把選項中的函數類型換成基數不等式,再檢查它是否足以支持後面的結論。若函數只提供上界或相等關係,卻宣稱嚴格大於,就屬於推論不足。
選項分析
(A) 錯誤。
若從小英的黨員集合到江哥的黨員集合存在單射,只能推出小英的黨員數不多於江哥的黨員數:
這不能推出小英的黨比較大。
第 3 題5 分
Which of the following statements about integers are incorrect?
(A) If , then for any non-zero integer , there is a pair of integers and such that .
(B) The inverse of module exists only when and .
(C) The system
has a unique solution modulo , where are primes and .
(D) If is prime, then for every integer we have .
(E) In RSA, if Alice wants to send a secret message to Bob, Alice uses Bob’s private key to encrypt the message and then sends the ciphertext to Bob. After Bob receives the ciphertext, Bob can use his public key to decrypt the ciphertext.
登入後即可作答並保存紀錄。
核心觀念
本題考查裴蜀定理、模反元素、中國剩餘定理、費馬小定理,以及 RSA 公鑰密碼的加解密方向。
解題方法
逐項檢查敘述是否符合定理的條件,特別留意定理是否漏寫了必要假設。答案要選出所有錯誤敘述。
選項分析
(A) 正確。 裴蜀定理指出,若 ,存在整數 使得
對等式兩邊乘上任意非零整數 ,得到
令 、,即可找到所需的整數 。
(B) 正確。 在標準模運算定義下, 在模 下有乘法反元素,條件是 且 。原因是反元素 必須滿足
而此同餘式有解的充要條件為 ,也就是 。
(C) 錯誤。 中國剩餘定理保證唯一解模各模數乘積的條件,是模數兩兩互質。題目只說 是質數,沒有說它們互不相同,因此不一定兩兩互質。
例如 ,若 ,則系統要求 同時滿足
第 4 題5 分
Figure 1 shows the Hasse diagram of a binary relation . Which of the following statements are incorrect?
🖼️【此處有附圖,請對照原卷】
(A) .
(B) .
(C) .
(D) is a minimal element.
(E) is a lattice.
圖看不清楚?展開原卷第 2 頁核對
登入後即可作答並保存紀錄。
核心觀念
Hasse 圖用來表示偏序關係,約定下方元素小於上方元素。因此, 表示 ,判斷時須包含:
- 自反性:每個元素都滿足 ,圖中省略自迴圈。
- 遞移性:若能沿圖上的邊一路向上,由 到達 ,就有 。
- 極小元素:沒有其他元素嚴格小於它。
- 格(lattice):任意兩個元素都具有最小上界與最大下界。
解題方法
圖中三條主要向上鏈為 、、;另有 、、、、。特別注意, 在 上方、 在 上方,因此是 、。
關係判斷採用「沿邊向上追蹤」;格的判斷則找出一對缺少最小上界或最大下界的元素,即可否定。
選項分析
(A) :錯誤。
從 出發,沿邊向上可到達的其他元素為
其中沒有 ,因此 。雖然 與 都在 下方,但共享上界不代表兩者可比較。
(B) :正確。
第 5 題5 分
Given the directed graph in Figure 2. Which of the following statements are correct?
🖼️【此處有附圖,請對照原卷】
(A) is strongly connected.
(B) is weakly connected.
(C) has an Euler path.
(D) has a Hamilton path.
(E) is a planar graph.
圖看不清楚?展開原卷第 2 頁核對
登入後即可作答並保存紀錄。
核心觀念
- 強連通:每一對頂點之間都必須能沿著箭頭互相到達。
- 弱連通:忽略箭頭方向後,底下的無向圖連通。
- 有向 Euler 路徑:每條有向邊恰好走一次;若存在,至多一個頂點滿足出度比入度多 ,至多一個頂點滿足入度比出度多 ,其餘頂點入度、出度相等。
- Hamilton 路徑:每個頂點恰好經過一次。
- 平面圖:可以畫成邊彼此不交叉的圖。
解題方法
圖中頂點為 ,有向邊為 、、、、、、、。先由箭頭檢查強連通與 Euler 路徑,再直接找 Hamilton 路徑;判斷平面性時則忽略箭頭,檢視無向圖是否能無交叉地重畫。
選項分析
(A) 錯誤。 頂點 只有指向它的邊,沒有離開 的有向邊,因此從 無法到達其他頂點,圖不是強連通。
(B) 正確。 忽略箭頭後,所有頂點都連在同一個連通分量中。例如 連到 ,而 彼此也有邊相連,所以圖是弱連通。
第 6 題5 分
Considering relation defined as , which of the following statements are true?
(A) is partial ordering.
(B) is total-ordered.
(C) is reflexive.
(D) is an equivalence relation.
(E) Only 1 weakly connected component in a directed graph that represents .
登入後即可作答並保存紀錄。
核心觀念
令 表示自然數 的質因數個數。題目的關係可寫成
依課本慣例,質因數個數若按重數計算,;若只計不同質因數,。本題的判斷在兩種慣例下都相同。兩個不同的質數 、 都恰有一個質因數。
偏序關係除了自反、傳遞,也必須滿足反對稱;全序則還要求任意兩個元素都可比較。等價關係則須同時滿足自反、對稱、傳遞。
解題方法
因為 只比較 與 的質因數個數,可將判斷轉為比較整數 與 :
- 對任何 ,都有 。
- 對任意 ,整數 必有 或 。
- 若 ,則會同時有 與 ;但這不代表 。
因此,質因數個數相同但數值不同的元素,是檢查反對稱性的關鍵。
選項分析
(A) 是偏序關係:錯。
反對稱性要求若 且 ,就必須有 。取 、,兩者質因數個數相同,所以 且 ,但 。因此反對稱性不成立, 不是偏序關係。
第 7 題5 分
Suppose the set of “valuable” problems is , where each problem can be considered by human beings, and there is a bijection between and (real number). Suppose the set of all A.I. softwares is , where each software can solve exactly one problem. Each software can be represented as a long binary string (machine code). Which of the following statements are true?
(A) There is a bijection between and .
(B) A.I. can solve all valuable problems, it just takes a long time to do it.
(C) Without other restrictions, is .
(D) , and .
(E) In terms of solving problems, A.I. may replace human beings someday.
登入後即可作答並保存紀錄。
核心觀念
比較無限集合的大小(基數):
- 所有有限長度二進位字串的集合是可數無限():長度 1 的有 2 個、長度 2 的有 4 個……依長度排列就能一一編號。
- 實數集 是不可數的(康托對角線論證),。
解題方法
- 每套 AI 軟體都是一段有限長的機器碼(二進位字串),所以 可以對應到「有限二進位字串」的子集合,。題目沒有限制軟體長度,可以寫出的軟體有無限多套(例如解「判斷輸入是否等於 」的程式,對每個 都不同),因此 是可數無限,。
- 與 之間有雙射,所以 。
第 8 題5 分
The number of ways to buy dollars of tickets is represented by , if only 1-dollar and 2-dollar bills can be used. What of the following can be the recurrence relation for our question? (Initial condition: .)
(A) .
(B) .
(C) .
(D) .
(E) none of the above.
登入後即可作答並保存紀錄。
題意
本題是離散數學課本(Rosen)的經典題型:買 元的票時,只能一張一張地把 1 元或 2 元紙鈔放進售票機,放入的順序不同算不同的方式。題目給的初始條件 、 也與這個解讀一致。(若只計各面額張數、不計順序,則 ,例如 ,就沒有任何選項的遞迴關係會成立。)
核心觀念
建立遞迴關係的方法:依「最後一張(或第一張)放的是哪種紙鈔」分類,把問題化成較小的同類問題。
解題方法
湊出 元的付款序列,最後一張只有兩種可能:
- 最後一張是 1 元:前面要湊出 元,有 種。
- 最後一張是 2 元:前面要湊出 元,有 種。
兩類互斥且涵蓋所有情況,所以
第 9 題5 分
About algorithm complexity, which of the following claims are true?
(A) Merge sort is .
(B) Euclid’s algorithm to find is .
(C) Bubble sort is .
(D) Roy-Warshall Algorithm to compute transitive closure is (bit operations).
(E) Traveling sales problem is a NP-hard problem.
登入後即可作答並保存紀錄。
核心觀念
本題考演算法的漸近時間複雜度,以及 NP-hard 的定義。 表示漸近上界, 表示漸近緊確界。題目未特別指定時,排序與數值演算法的複雜度通常按最壞情況討論;數值演算法的經典分析則以基本算術運算次數為單位。
解題方法
逐項對照各演算法的標準複雜度:合併排序比較每層合併工作量與遞迴層數;歐幾里得演算法看最壞情況下餘數序列的下降速度;氣泡排序與 Warshall 演算法則數其迴圈層數。最後判斷旅行推銷員問題的決策版與最佳化版的複雜度分類。
選項分析
(A) 正確。 合併排序將問題分成兩個大小約為 的子問題,再以 時間合併兩個已排序序列,因此:
此界對最好、平均與最壞情況都成立。
(B) 正確,按最壞情況理解。 歐幾里得演算法反覆執行
餘數會持續減小。最壞情況發生在輸入為連續斐波那契數,此時每做一次除法,數值約下降一個斐波那契項;斐波那契數隨項數指數成長,所以步數與 同階,最壞情況為 。單一輸入的實際步數不一定達到此界,例如其中一個數為 時只需少數幾步。
第 10 題5 分
Solving the recurrence relation , , , , using generating function , which following parts are true?
(A) .
(B) .
(C) .
(D) .
(E) .
登入後即可作答並保存紀錄。
核心觀念
普通生成函數定義為
對二階遞迴式建立生成函數時,需先扣除遞迴式未涵蓋的初始項,再將各項改寫成 。本題的特徵方程為 ,其根為 與 ,因此通項可寫成 。
解題方法
將遞迴式乘上 ,對 加總:
利用 ,各項可改寫為
整理得
所以
進行部分分式分解:
比較分子係數可得 、,解得 、。因此
Give the necessary conditions for matrix can be factorized (複選). For each question, select the necessary conditions from the following choices:
(A) square but non-symmetric
(B) square and symmetric
(C) linearly-independent columns
(D) linearly-independent eigenvectors
(E) positive definite
第 11 題1 分
登入後即可作答並保存紀錄。
核心觀念
表示 可對角化,其中 是對角矩陣, 可逆。若 的欄向量為 ,則
因此, 的欄向量必須是 的 個線性獨立特徵向量。反過來說,若 有 個線性獨立特徵向量,將它們排成 的欄向量,並將對應特徵值排入 的對角線,就能得到 。
解題方法
從分解式中的 切入:因為 必須存在, 必須可逆;而可逆矩陣的欄向量線性獨立。又由
可知, 的每個欄向量都是 的特徵向量。因此, 必須有一組線性獨立的特徵向量,對應選項 (D)。
選項分析
- (A) square but non-symmetric:錯。 必須是方陣,但不必是非對稱矩陣。例如單位矩陣是對稱且可對角化,所以「非對稱」不是必要條件。
- **(B) square and symmetric:錯。
第 12 題1 分
登入後即可作答並保存紀錄。
核心觀念
線性代數課本(Lay)的 QR 分解定理:若 矩陣 的各欄線性獨立,則 ,其中 是 、欄向量為單位正交基底(由 Gram–Schmidt 對 的欄向量正交化而得), 是 的可逆上三角矩陣(對角線元素為正)。
解題方法
依上述定義, 且 可逆、 的欄單位正交:
- (因 的欄獨立、 可逆),所以 的 個欄向量必須線性獨立——這是必要條件。
- 反過來,欄線性獨立時用 Gram–Schmidt 一定做得出 ,所以它也是充分條件。
其他選項都不需要: 可以不是方陣( 的長方形矩陣也行),對不對稱、能不能對角化、是否正定都沒有關係。
第 13 題1 分
登入後即可作答並保存紀錄。
核心觀念
是實對稱矩陣的正交對角化。其中 的欄向量是 的單位特徵向量,且 ; 是由對應特徵值組成的對角矩陣。實矩陣 能寫成這種形式,必須是對稱矩陣;反過來,實對稱矩陣也一定能正交對角化。
解題方法
由 可知 可逆,且 ,所以
因此, 由特徵向量組成的 對角化, 的欄向量必須線性獨立。另一方面,因為 ,
所以 必為對稱矩陣。故必要條件為 (B)、(D)。
選項分析
- (A) square but non-symmetric:錯。 由 必得 ,非對稱矩陣不可能有此分解。
- (B) square and symmetric:對。 矩陣必為方陣;若 為實對稱矩陣,依實對稱矩陣譜定理,可取正交特徵向量組成 ,並以特徵值組成 。
第 14 題1 分
登入後即可作答並保存紀錄。
核心觀念
此式是實對稱矩陣的譜分解:
其中 是特徵值, 是對應的單位特徵向量。對實對稱矩陣,譜定理保證可選出一組正交規一的特徵向量,因此這些特徵向量線性獨立,並可組成正交矩陣 ,寫成
這裡 。
解題方法
辨認分解形式後,直接套用實對稱矩陣的譜定理。它要求 為方陣且對稱,並提供 個線性獨立的特徵向量作為一組基底。特徵值可為正、負或零,所以正定不是必要條件;矩陣也不必可逆,所以欄向量不必線性獨立。
選項分析
- (A) square but non-symmetric:錯。 譜分解中的 都是對稱矩陣,因此其線性組合 也對稱,不符合「非對稱」。
第 15 題1 分
(Cholesky factorization)
登入後即可作答並保存紀錄。
核心觀念
本題考普通的實數 Cholesky 分解:若 可寫成 ,其中 為可逆上三角矩陣,則 必為對稱正定矩陣。反過來說,實對稱正定矩陣也一定存在 Cholesky 分解。
判斷的關鍵是檢查分解對稱性與二次型:
對任意非零向量 ,
最後一個不等式成立,是因為 可逆,所以 時 。因此 對稱且正定。
解題方法
普通 Cholesky 分解成立的條件是 為實對稱正定矩陣。接著檢查其餘選項是否也由這些性質必然推出:
- 正定矩陣可逆,因此其欄向量線性獨立。
- 實對稱矩陣依譜定理可正交對角化,因此有一組線性獨立的特徵向量。
所以除了直接描述 Cholesky 條件的「對稱」與「正定」外,欄向量線性獨立及特徵向量線性獨立也都是必要條件。
選項分析
If matrix is diagonalizable, then determine whether each statement is true or false.
第 16 題1 分
is not the eigenvalue of .
登入後即可作答並保存紀錄。
核心觀念
矩陣 可對角化,表示存在可逆矩陣 與對角矩陣 ,使得
的特徵值就是 對角線上的元素。可對角化只表示 能以對角矩陣表示,並不保證對角線上的元素都非零,因此不能據此判定 沒有特徵值 。
解題方法
以零矩陣作為反例。令 ,則 本身就是對角矩陣,故可對角化。
對任意非零向量 ,都有
第 17 題1 分
has distinct eigenvalues.
登入後即可作答並保存紀錄。
核心觀念
矩陣 可對角化,表示存在可逆矩陣 與對角矩陣 ,使得
的對角線元素是 的特徵值。可對角化要求的是:能找到足夠多個線性獨立的特徵向量;這不代表特徵值必須彼此相異。相異特徵值是矩陣可對角化的充分條件,但不是必要條件。
解題方法與選項分析
題目主張「 有 個相異特徵值」。用反例即可判斷這是否為可對角化的必要條件。
取 ,令
第 18 題1 分
is invertible.
登入後即可作答並保存紀錄。
核心觀念
矩陣 可對角化,表示存在可逆矩陣 與對角矩陣 ,使得
對角矩陣 的對角線元素是 的特徵值。矩陣可逆的條件是所有特徵值都不為 ,但「可對角化」本身並不保證這項條件成立。
解題方法
以零矩陣作為反例。零矩陣已是對角矩陣,因此一定可對角化;但它的行列式為 ,所以不可逆:
第 19 題1 分
is also diagonalizable.
登入後即可作答並保存紀錄。
核心觀念
矩陣 可對角化,表示存在可逆矩陣 與對角矩陣 ,使得
矩陣若能寫成可逆矩陣與對角矩陣的相似變換,就可對角化。
解題方法
對等式兩側取轉置,並使用 :
第 20 題1 分
The diagonalization is unique.
登入後即可作答並保存紀錄。
核心觀念
矩陣 可對角化,表示存在可逆矩陣 與對角矩陣 ,使得
其中, 的對角元素是 的特徵值,而 的各欄是依照 中特徵值順序排列的對應特徵向量。特徵向量可任意乘上非零常數,特徵向量的排列順序也可改變,因此對角化通常不唯一。
解題方法
用同一個可對角化矩陣構造兩組不同的 ,即可否定「對角化唯一」。
例如令
一組對角化為
所以 。
令
Suppose is a basis for and is a basis for . Let be a linear transformation with the standard matrix for . If
Find the transformation matrix for relative to and . Determine whether each statement is true or false.
第 21 題1 分
are in the matrix.
登入後即可作答並保存紀錄。
核心觀念
標準矩陣 以標準座標表示 ;相對於定義域基底 與值域基底 的矩陣 ,第 欄是 在基底 下的座標。因此
解題方法
先用標準矩陣 計算基底向量的像,再把結果改寫成基底 的線性組合。
由
可知 。因此
先求 在 下的座標。令
比較各分量得到
解得 、、。所以
第 22 題1 分
are in the matrix.
登入後即可作答並保存紀錄。
核心觀念
相對於定義域基底 與值域基底 的轉換矩陣,欄向量依序是 、 在基底 下的座標:
也可用換基公式計算:
其中 、 分別以 、 的基底向量為欄。
解題方法
標準矩陣 的兩欄相同,因此對任意向量 ,
先計算兩個基底向量的像:
接著求 在 下的座標。令
比較三個分量,得到
第 23 題1 分
are in the matrix.
登入後即可作答並保存紀錄。
核心觀念
標準矩陣 是相對於標準座標表示的。要把 改寫成相對於定義域基底 與值域基底 的矩陣,使用
其中 、 分別以 、 的基底向量為欄。
解題方法
先計算 作用在 的基底向量上。由於 的每一列都是 ,對任意 ,其像為
因此,
接著將 表成基底 的線性組合:
比較各分量可得
第 24 題1 分
are in the matrix.
登入後即可作答並保存紀錄。
核心觀念
相對於定義域基底 與值域基底 ,轉換矩陣 的第 欄是 在基底 下的座標:
標準矩陣 會將向量的標準座標轉成其像的標準座標。
解題方法
由 的形式可知,對任意向量 ,
因此,
先求 在基底 下的座標。令
對應的聯立方程為
第 25 題1 分
are in the matrix.
登入後即可作答並保存紀錄。
核心觀念
若 是線性轉換 的標準矩陣,則相對於定義域基底 與值域基底 的矩陣,其第 欄就是 在基底 下的座標:
其中 、 分別以 、 的基底向量為欄。
解題方法
先用標準矩陣 計算基底向量的像。因為 的兩欄皆為 ,所以對任意 ,
因此
接著求 在基底 下的座標。令
比較各分量可得
If is an matrix, is an inconsistent system and has a least-square solution . Determine whether each statement is true or false.
第 26 題1 分
is exactly not in .
登入後即可作答並保存紀錄。
核心觀念
矩陣方程 有解,等價於 屬於 的欄空間 。因此:
- 若 ,方程組相容。
- 若 ,方程組不相容。
最小平方解 是使殘差 最小的向量。即使方程組不相容,最小平方解仍存在;此時殘差不為零,且與 正交。
解題方法
第 27 題1 分
is not a unique solution.
登入後即可作答並保存紀錄。
核心觀念
最小平方解 是讓殘差平方和 最小的向量,滿足正規方程式
最小平方解唯一,當且僅當 的欄向量線性獨立,也就是 。若 的欄向量線性相依,則存在非零向量 使 ;此時若 是最小平方解, 也是最小平方解,因此解不唯一。
解題方法
題目只說 不相容,並未限制 的欄向量是否線性獨立。因此,要判斷「最小平方解不唯一」是否必然成立,可檢查是否存在不相容但最小平方解唯一的例子。
令
第 28 題1 分
If is not invertible, then the system has no solution.
登入後即可作答並保存紀錄。
核心觀念
有解,表示 位於 的欄空間中;題組共用題幹已明確給定 是不相容系統,也就是 不在 的欄空間中,因此原系統沒有精確解。
此外, 可逆與否反映的是 的欄向量是否線性獨立:
不可逆本身不代表 無解;它只表示欄向量線性相依。
解題方法
判斷本題時,先使用題組已給的條件: 不相容。依照「不相容」的定義,原系統沒有精確解。 是否可逆不會改變這項已知事實。
最小平方解 則是讓殘差平方長度 最小的解。它不要求 ,所以有最小平方解與原系統不相容並不矛盾。
選項分析
第 29 題1 分
is not always in .
登入後即可作答並保存紀錄。
核心觀念
矩陣 的欄空間定義為
因此,只要 ,矩陣乘積 就是 的欄向量線性組合,必定屬於 。
解題方法
直接依欄空間的定義判斷即可。若 的欄向量為 ,且 ,則
第 30 題1 分
is always in .
登入後即可作答並保存紀錄。
核心觀念
最小平方解 使殘差向量 的長度最小。最小平方解滿足正規方程:
而 是所有滿足 的向量所成的集合。幾何上,這些向量都與 的欄空間正交。
解題方法
將正規方程移項:
利用矩陣乘法的分配律,可得:
因此 符合 的定義,故
If is an covariance matrix, determine whether each statement is true or false.
第 31 題1 分
always have orthogonal eigenvectors.
登入後即可作答並保存紀錄。
核心觀念
實數隨機向量的共變異數矩陣 是實對稱矩陣,即 。依據實對稱矩陣的譜定理, 存在一組由 個兩兩正交的特徵向量構成的基底。
解題方法
第 32 題1 分
always have distinct real eigenvalues.
登入後即可作答並保存紀錄。
核心觀念
協方差矩陣 為實對稱矩陣,且為半正定矩陣。由實對稱矩陣的譜定理, 的特徵值皆為實數;由半正定性,這些特徵值也皆非負。
但「特徵值都是實數」不代表「特徵值彼此相異」。特徵值可以有重複,重複的次數稱為代數重數。
解題方法
要判斷題目中的「always」(必定)是否成立,檢查是否存在一個合法的協方差矩陣,使得它的特徵值不全相異即可。
取 單位矩陣 。它可以是各變數互相不相關、變異數皆為 時的協方差矩陣。由於
第 33 題1 分
has positive and negative eigenvalues but no zero eigenvalues.
登入後即可作答並保存紀錄。
核心觀念
協方差矩陣 一定是對稱半正定矩陣。對任意向量 ,
其中 是由各變數組成的隨機向量。由於 對稱,依實對稱矩陣的譜定理,其特徵值皆為實數;又因為 半正定,所有特徵值都必須大於或等於 。
解題方法
直接套用「協方差矩陣必為半正定矩陣」的性質。若 是 的特徵向量,對應特徵值為 ,則
因此
第 34 題1 分
can always be decomposed into , where is a matrix.
登入後即可作答並保存紀錄。
核心觀念
協方差矩陣 是實對稱半正定矩陣。若隨機向量 的平均數為 ,則
對任意向量 ,
因此 的所有特徵值皆為非負數。
解題方法
由實對稱矩陣的譜定理,存在正交矩陣 與對角矩陣 ,使得
定義
第 35 題1 分
is exactly positive definite.
登入後即可作答並保存紀錄。
核心觀念
隨機向量 的共變異數矩陣定義為
對任意向量 ,
因此,共變異數矩陣必為半正定矩陣。要成為正定矩陣,還必須對每個非零向量 都有 ;這項條件不一定成立。
解題方法
判斷此敘述是否對所有共變異數矩陣都成立。由 可知,若存在非零向量 使某個線性組合 的變異數為 ,則 不會是正定矩陣。
第 36 題5 分
Which of the following statements regarding the cost of methods for solving an linear system are true?
(A) The cost of computing the LU factorization is generally proportional to .
(B) The cost of backward substitution on a dense upper triangular matrix is generally proportional to .
(C) If a matrix has no more than 3 non-zero entries per row, the cost of each iteration of the Jacobi method is proportional to .
(D) If a matrix has no more than 3 non-zero entries per row, the cost of each iteration of the Jacobi method is proportional to .
(E) None.
登入後即可作答並保存紀錄。
核心觀念
本題考查求解線性系統 時,稠密矩陣分解、三角系統回代,以及疏狀矩陣 Jacobi 迭代的運算成本。
- 對一般稠密矩陣做 LU 分解,運算量為 。
- 對稠密上三角矩陣做回代,運算量為 。
- Jacobi 法每次迭代的成本,取決於每列需要處理多少個非零元素;若每列非零元素數有固定上限,整次迭代成本為 。
解題方法
Jacobi 法將 分成對角部分 與非對角部分 ,迭代公式為
計算第 個分量時,要處理第 列的非零元素。若 每列至多有 3 個非零元素,每列工作量為常數;共有 列,因此一次迭代的總成本為 。
選項分析
第 37 題5 分
Which of the following methods can be used for solving the system , where is a symmetric, diagonally dominant, square matrix?
(A) LU factorization with full pivoting.
(B) System of normal equations.
(C) Gauss-Seidel method.
(D) Jacobi method.
(E) None.
登入後即可作答並保存紀錄。
題意說明
數值方法中說矩陣「對角優勢(diagonally dominant)」來保證解法可用時,指的是嚴格對角優勢:每一列的對角元素絕對值大於該列其他元素絕對值的總和,
本題以此為前提(若只是「」的弱對角優勢,矩陣可能奇異,迭代法也可能不收斂,例如 )。
核心觀念
- 嚴格對角優勢矩陣一定可逆(Levy–Desplanques 定理)。
- 嚴格對角優勢保證 Jacobi 與 Gauss–Seidel 迭代對任何初始值都收斂。
- 可逆方陣一定可以用含樞軸的 LU 分解求解; 也可逆,正規方程式有唯一解。
選項分析
- (A) LU factorization with full pivoting:可以。 完全樞軸(列與欄都交換)的 LU 分解適用於任何可逆方陣,數值上也最穩定。(嚴格對角優勢矩陣其實連不換列的 LU 都做得下去。)
第 38 題5 分
Which set of vectors is a basis for ?
(A)
(B)
(C)
(D)
(E) All.
登入後即可作答並保存紀錄。
核心觀念
的一組基底必須包含 個線性獨立的向量。將三個向量排成矩陣後,若行列式不為 ,則矩陣可逆,三個向量線性獨立,因此構成 的基底;若行列式為 ,則向量線性相依,不構成基底。
解題方法
各選項都有三個向量,逐一將向量排成矩陣並計算行列式。把向量排成列或排成行,行列式是否為零的判斷相同。
選項分析
(A)
行列式不為 ,所以這組向量線性獨立,是 的基底。
(B)
這三個向量滿足
係數 不全為零,卻能組成零向量,因此三個向量線性相依,不是基底。
(C)
第 39 題5 分
Which vectors form the basis of ?
(A)
(B)
(C)
(D)
(E) None.
登入後即可作答並保存紀錄。
核心觀念
是所有滿足 的向量所成的零空間。要找它的基底,須確認候選向量都在零空間內、彼此線性獨立,且數量等於零空間的維度。
由秩-零度定理,
因為 有 欄。
解題方法
先判定 的秩。第四列滿足
所以 。
取前三列與第 欄組成的子矩陣,其行列式為
因此前三列線性獨立,,進而
檢查選項 (B)、(C):
第 40 題5 分
A Python function Fun is designed to perform a certain matrix operation:
def FunSub(m,i,j):
return [row[:j] + row[j+1:] for row in (m[:i]+m[i+1:])]
def Fun(m):
if len(m) == 2:
return m[0][0]*m[1][1]-m[0][1]*m[1][0]
x = 0
for c in range(len(m)):
x += ((-1)**c)*m[0][c]*Fun(FunSub(m,0,c))
return x
What inputs make Fun output ?
(A)
(B)
(C)
(D)
(E) All.
登入後即可作答並保存紀錄。
核心觀念
Fun 用第一列展開行列式。對 矩陣 ,沿第一列的餘因子展開為
其中 是刪除第 列與第 欄後得到的子矩陣。程式中的 FunSub(m,0,c) 正是建立這個子矩陣; 的情況則直接計算 。因此,判斷輸出是否為 ,等同判斷輸入矩陣的行列式是否為 ,也就是矩陣是否奇異。
解題方法
逐一找出矩陣是否有線性相依的列(或欄)。若有兩列相同,或一列是另一列的倍數,行列式就是 。對沒有明顯相依關係的選項,再用列運算或行列式展開計算。
選項分析
(A) 第 2 欄與第 3 欄完全相同(都是 ),兩欄相同的矩陣行列式為 。也可直接展開驗證:
所以 Fun 輸出 。
(B) 以第 4 列減去第 1 列的 倍,得到 。此列運算不改變行列式。沿新第 4 列展開: