109 年 國立中央大學資訊工程學系碩士班《離散數學與線性代數》
True or False.
, , and are matrices, and is a scalar.
第 1 題1 分
。
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
矩陣乘法一般不符合交換律。即使 、 都是相同階數的方陣,也不代表 ;只有特定矩陣組合才會滿足交換關係。
解題方法
要判斷「」是否對所有矩陣都成立,只要找出一組矩陣使兩種乘法順序的結果不同,即可否定此敘述。
取
依照矩陣乘法定義,分別計算:
第 2 題1 分
。
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
矩陣乘法一般不具有消去律。由 可得
但這只表示 的每一個欄向量都落在 的零空間中,不一定表示 ,因此不能直接推出 。
解題方法
用一組符合題意的矩陣作反例,即可判定此命題是否對所有矩陣成立。取
則 ,但
第 3 題1 分
or 。
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
矩陣乘法不具有「零乘積必有一個因子為零」的性質。也就是說,即使 ,仍可能同時有 與 。這與實數乘法不同。
解題方法
以反例判斷此命題。取兩個非零的 矩陣:
兩矩陣相乘:
第 4 題1 分
。
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
矩陣乘積轉置時,乘法順序會顛倒:
若 為 矩陣、 為 矩陣,則 為 矩陣,因此 為 矩陣;而 的尺寸也是 ,符合結果的尺寸。
解題方法
直接套用矩陣乘積的轉置公式。轉置會把乘積中的因子順序反轉,所以正確關係是:
題目寫成 ,並未反轉順序,因此一般不成立。
選項分析
第 5 題1 分
。
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
矩陣乘上純量後再取反矩陣,純量會以倒數形式出現。若 為可逆方陣且 ,則
這題考的是反矩陣的純量倍數性質。
解題方法
利用反矩陣的定義驗證。令 ,則
同理,,所以
第 6 題1 分
。
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
行列式一般不具加法性,也就是通常不成立
行列式對每一列(或每一行)分別具有線性,但這不代表把兩個矩陣相加後,行列式會等於兩個行列式相加。
解題方法
以相同大小的方陣作反例即可判斷命題。令
則
而
第 7 題1 分
。
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
行列式具有乘法性:若 、 是相同階數的方陣,則
行列式只對方陣有定義(長方形矩陣即使相乘得到方陣,、 也不存在),所以題目寫出 、,就表示 、 是同階方陣,此時性質恆成立。
解題方法
第 8 題1 分
。
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
本題組(與上一題 同一組)的 、 指的是同階方陣——行列式只對方陣定義,題組中的 、 都要存在。對同階方陣,行列式有乘法性:
解題方法
利用乘法性與純量乘法的交換律:
雖然矩陣乘法一般不可交換(),但兩者的行列式一定相等,因為行列式是純量,純量相乘可交換。
選項分析
- (A) True:正確。 對同階方陣 、,由乘法性可得 。
- **(B) False:錯誤。
第 9 題1 分
。
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
行列式對矩陣的每一列(或每一行)都具有線性。若 是 方陣,將 乘上純量 ,等於把 的每一列都乘上 。因此行列式會總共乘上 次 :
題目敘述把右側寫成 ,一般情況下並不成立。
解題方法
由行列式的列線性,每一列提出一個 ,共有 列,故
以 單位矩陣 、 驗證:
第 10 題1 分
。
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
對可逆方陣 ,行列式具有乘法性:
又因為 ,且單位矩陣的行列式為 ,所以 是 的乘法反元素。
解題方法
由 兩邊取行列式:
因此:
is a consistent linear system.
第 11 題1 分
If , the solution set may be a subspace.
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
線性方程組 的解集合若要成為子空間,必須包含零向量。由於 是線性變換,;因此當 時,零向量不會是方程組的解。
解題方法
題目已知方程組相容,所以解集合非空。取其中一個特解 ,所有解可寫成
因此解集合是零空間的平移。要成為子空間,它必須包含 ;但若 是解,就必須滿足
第 12 題1 分
If , the solution set is not a subspace.
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
線性子空間必須包含零向量。對線性系統 ,若 ,代入 得
所以零向量不是此系統的解。任何線性子空間都包含零向量,因此這個解集合不是子空間。
由於題幹已說明系統相容,解集合非空。若取一個特解 ,所有解可寫成
這是零空間的平移,稱為仿射集合;當 時,它不包含零向量,故不是線性子空間。
解題方法
第 13 題1 分
If , the solution set may be or may not be a subspace.
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
當 時,方程組 成為齊次線性系統 。它的解集合就是矩陣 的零空間:
零空間是子空間:它包含零向量,且對向量加法與純量乘法封閉。
解題方法
設 為解,則 。對任意純量 ,
第 14 題1 分
If , the solution set is not a subspace.
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
當 時,方程組 成為齊次線性系統 。它的解集合就是矩陣 的零空間:
矩陣的零空間是 的子空間,因為它包含零向量,且對向量加法與純量乘法封閉。
解題方法
先檢查零向量是否為解:,因此 。
再取任意 與純量 。由 ,可得
第 15 題1 分
If , the solution set is exactly a subspace.
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
當 時,方程組 成為齊次線性方程組 。它的解集合就是矩陣 的零空間:
線性方程組的零空間是向量子空間。
解題方法
檢查解集合是否包含零向量,並對線性組合封閉:
- 零向量是解,因為 。
- 若 都是解,則 。對任意純量 ,
and are two invertible matrices. If is similar to :
第 16 題1 分
。
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
矩陣 與 相似,表示存在可逆矩陣 ,使得
利用行列式的乘法性 ,可得相似矩陣的行列式相同。
解題方法
由 ,兩邊取行列式:
因為 可逆,所以 。因此
第 17 題1 分
is similar to 。
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
矩陣 與 相似,表示存在可逆矩陣 ,使得
相似矩陣具有相同的特徵值與特徵多項式;更重要的是,相似關係保留矩陣的乘冪。對任意正整數 ,都有
因此, 與 仍然相似。
解題方法
由題目給定 與 相似,存在可逆矩陣 使 。將此式平方:
第 18 題1 分
is similar to 。
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
矩陣 與 相似,表示存在可逆矩陣 ,使得
相似矩陣代表同一線性變換在不同基底下的矩陣表示。轉置後仍可找到可逆矩陣,將 表示為 的相似矩陣。
解題方法
由 兩側取轉置。利用 :
第 19 題1 分
is similar to 。
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
矩陣 與 相似,表示存在可逆矩陣 ,使得
相似矩陣代表同一線性變換在不同基底下的矩陣表示。若 、 都可逆,便可對相似關係兩側取反矩陣。
解題方法
由 ,利用矩陣乘積取反矩陣時順序反轉:
第 20 題1 分
is similar to 。
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
矩陣 與 相似,表示存在可逆矩陣 ,使得
相似矩陣是透過可逆的換基變換互相轉換。此題可直接尋找一個可逆矩陣,將 共軛成 。
解題方法
因為 可逆,取相似變換矩陣 。則
If an matrix is diagonalizable, then:
第 21 題1 分
has distinct eigenvalues.
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
矩陣 可對角化,表示存在可逆矩陣 與對角矩陣 ,使得
對角化代表 有足夠的線性獨立特徵向量;它不要求特徵值彼此相異。每個特徵值的重數可以大於 。
解題方法
以單位矩陣 作為反例。它本身就是對角矩陣,因此可對角化;但當 時,所有對角元素都是 ,所以它只有一個相異特徵值 ,並非 個相異特徵值。
第 22 題1 分
has linearly independent columns.
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
矩陣 可對角化,表示存在可逆矩陣 與對角矩陣 ,使得
這只表示 有一組由特徵向量構成的基底,並不保證 可逆。 的欄向量線性獨立,等價於 可逆;而 可逆又等價於 不是 的特徵值。
解題方法
判斷敘述是否必然成立,可以檢查可對角化矩陣是否可能含有特徵值 。取 零矩陣 ,它本身就是對角矩陣,因此可對角化;
第 23 題1 分
and are all diagonalizable.
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
可對角化表示存在可逆矩陣 與對角矩陣 ,使 。可對角化與可逆是兩件獨立的事: 的對角線(特徵值)可以有 ,此時 可對角化但不可逆。
解題方法
- :一定可對角化。
令 ,則 ,故 可對角化。
- :不一定存在。 若 可逆(所有特徵值非零),則 也可對角化;但題目只說 可對角化,沒有保證可逆。反例:
第 24 題1 分
has no zero eigenvalues.
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
矩陣 可對角化,表示存在可逆矩陣 與對角矩陣 ,使得
的對角線元素就是 的特徵值。可對角化只要求有足夠的線性獨立特徵向量,並不要求特徵值都非零。
解題方法
取 為零矩陣,則
第 25 題1 分
has linearly independent eigenspaces.
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
矩陣 可對角化,表示存在由 的特徵向量組成的一組基底;等價地, 有 個線性獨立的特徵向量。這不代表 一定有 個不同的特徵值,也不代表它有 個特徵空間。
特徵空間是對應特徵值 的所有特徵向量(再加上零向量)所成的子空間:
解題方法
用單位矩陣作反例。對 ,任意非零向量 都滿足 ,所以唯一的特徵值是 ,其特徵空間為
Let be an matrix with orthogonal columns.
If is a subset of and is the orthogonal complement of :
第 26 題1 分
is the orthogonal complement of .
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
對 矩陣 ,零空間 是所有滿足 的向量所成的子空間,位於 。列空間 由 的各列向量張成,也位於 。
兩者滿足基本關係:
也就是說, 恰好等價於 與 的每一列都正交。
解題方法
設 的列向量為 。矩陣乘法可寫成:
因此, 等價於 ,也等價於:
第 27 題1 分
is always a subspace.
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
對 ,其正交補空間定義為
判斷是否為子空間,可檢查是否包含零向量,並對向量加法及純量乘法封閉。
解題方法
任取 與純量 。依定義,對每個 都有 、,因此
第 28 題1 分
。
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
在 中, 是所有與 中每個向量都正交的向量所成的集合:
有限維內積空間中,對任意集合 都有
其中 是由 張成的子空間。因此,只有當 本身是子空間時,才可直接得到 。
解題方法
題目只說 是 的子集,沒有說 是子空間。用一個不是子空間的集合檢查等式即可。
取 中的集合 。向量 與 正交,當且僅當
所以
第 29 題1 分
If and are orthogonal, then and are orthogonal.
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
矩陣 的欄向量兩兩正交,代表不同欄向量的內積為 ,也就是 是對角矩陣。這個條件不代表 會保留所有向量間的正交關係。
對任意 ,
因此, 與 是否正交,取決於 是否為 。
解題方法
用反例檢驗敘述。取
的兩個欄向量分別為 與 ,內積為 ,符合「欄向量正交」的條件。原向量也正交:
第 30 題1 分
。
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
對 ,其正交補空間定義為
表示「屬於 或屬於 」的向量所成的集合。這和兩個子空間的和 不同。
若 是 的子空間,有限維內積空間中的正交分解定理給出
也就是每個向量都能寫成 中向量與 中向量的和;這不代表每個向量本身都屬於兩者之一。
解題方法
用 中的反例即可判斷命題是否對所有 成立。令
True or False.
is a linear-transformation matrix in the standard coordinate system. If the coordinate system is changed to the coordinate system, to find the transformation matrix (called the -matrix) relative to for the transformation , where :
第 31 題2 分
and are in the -matrix.
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
若 是由 的基底向量組成的矩陣,則線性變換 在 座標系下的矩陣為
等價地, 的第 欄,就是 用基底 表示時的座標。
解題方法
先計算 ,再分別求出它們在 下的座標。
因此, 的 座標為 。
設 。比較分量可得
第 32 題2 分
and are in the -matrix.
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
若 是標準座標下的線性轉換矩陣,而新基底為 ,令
則 -矩陣為
也就是先計算 ,再把結果改寫成基底 的線性組合;各組合係數就是 -矩陣的第 欄。
解題方法
設向量 在基底 下的座標為 ,則
比較分量可得
解得
先計算 對各基底向量的作用:
第 33 題2 分
and are in the -matrix.
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
若 是標準座標下的線性轉換矩陣,而 是以 為欄向量組成的基底矩陣,則相對於 的轉換矩陣為
也可以逐一計算 ,再把結果表示成基底 的線性組合;這些線性組合的係數就是 的各欄。
解題方法
先計算 對各基底向量的作用:
所以第一欄的基底座標為 。
接著,
第 34 題2 分
and are in the -matrix.
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
若 是標準座標下的線性轉換矩陣,而 是基底 的基底矩陣,則相對於 的矩陣為
這個矩陣的第 欄,是 用基底 表示時的座標。
解題方法
先計算 作用在各基底向量上的結果:
接著把每個結果寫成 。由
可解得:
第 35 題2 分
and are in the -matrix.
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
若 是標準座標系下的線性轉換矩陣,且新基底為 ,令
則相對於 的矩陣為
等價地說,第 欄是 用基底 表示時的座標。先確認 可逆;本題 ,所以 確實是基底。
解題方法
依序計算 ,再將結果寫成 的線性組合。
首先,
所以 -matrix 的第一欄為 。
接著,
Find a factorization of the matrix
第 36 題2 分
is not in the matrix.
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
QR 分解將矩陣寫成 ,其中 的欄向量互相正交且為單位向量, 為上三角矩陣。以 Gram–Schmidt 正交化計算時, 的元素由
()決定;對角元素是正交化後各向量的長度。
解題方法
設題目矩陣的三個欄向量為 。依序正交化並正規化:
因此 ,且
。
第三欄先投影到 :
第 37 題2 分
is not in the matrix.
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
QR 分解將矩陣 寫成 ,其中 的欄向量互相正交且長度為 , 為上三角矩陣。以 Gram–Schmidt 正交化求解時,,其中 是 的第 欄, 是 的第 欄。
解題方法
令題目矩陣的三個欄向量為
先將 單位化:
第二欄在 方向的投影係數為
扣除投影後,
第三欄在 與 方向的投影係數分別為
第 38 題2 分
is not in the matrix.
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
QR 分解將矩陣 寫成 ,其中 的欄向量互相正交且為單位向量, 是上三角矩陣。以 Gram–Schmidt 正交化計算時, 的元素為
其中 是 的第 欄。題目要判斷數字 是否出現在 中。
解題方法
令 的三個欄向量為
先將第一欄單位化:
計算第二欄在 方向上的投影係數:
因此第二欄的正交分量為
接著計算第三欄在 方向上的投影係數:
這已經顯示 中有一個元素是 。其餘係數為
第 39 題2 分
is not in the matrix.
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
QR 分解將矩陣寫成 ,其中 的欄向量互相正交且為單位向量, 為上三角矩陣。以 Gram–Schmidt 正交化計算時, 的元素為 ();採用正對角線慣例時, 是正交化後向量的長度。
解題方法
令原矩陣的三個欄向量為 。依序正交化:
第二欄在 方向的投影係數為
扣除投影後,
第三欄的投影係數為
第 40 題2 分
is not in the matrix.
(A) True.
(B) False.
登入後即可作答並保存紀錄。
核心觀念
QR 分解將矩陣 寫成 ,其中 的欄向量互相正交且長度為 ,而 是上三角矩陣。使用 Gram–Schmidt 正交化,可依序求出 的欄向量,並計算
其中 是 的第 欄。
解題方法
令 的三個欄向量為
先將 單位化:
計算第二欄在 方向的投影係數與正交分量:
因此
第 41 題5 分
Four friends have been identified as suspects for an unauthorized access into a computer system. They have made statements to the investigating authorities. 小英 said “神掌 did it.” 韓總 said “I did not do it.” 神掌 said “柯 P did it.” 柯 P said “神掌 lied when he said that I did it.” If the authorities also know that exactly one is lying, who did it?
(A) 小英.
(B) 韓總.
(C) 神掌.
(D) 柯 P.
(E) 郭董.
登入後即可作答並保存紀錄。
核心觀念
本題考察命題與否定命題的真值關係。若命題 表示「柯 P 做的」,那麼「神掌說謊」就是「神掌所說的命題 為假」,也就是 。
互為否定的命題 與 ,必定恰有一個為真、另一個為假。
解題方法
設「神掌做的」為 、「韓總做的」為 、「柯 P 做的」為 。
四人的陳述分別是:
- 小英:
- 韓總:
- 神掌:
- 柯 P:
神掌與柯 P 的陳述互為否定,因此兩人之中必定恰有一人說謊。題目已知總共只有一人說謊,所以小英與韓總都必須說真話。
小英說真話,得到 ;韓總說真話,得到 。因此,做案者是神掌。此時神掌說「柯 P 做的」為假,柯 P 說「神掌說謊」為真,恰好只有神掌一人說謊,符合題意。
選項分析
第 42 題5 分
Which of the following statement is most inappropriate?
(A) There exists a bijection function from to .
(B) There exists a bijection function from to .
(C) There exists a bijection function from to .
(D) There exists a bijection function from to .
(E) There exists a bijection function from to .
登入後即可作答並保存紀錄。
核心觀念
「存在雙射」代表兩個集合可以一一配對,因此它們具有相同的基數。無限集合中,若元素能依序列成一列,就稱為可數無限;自然數、整數與有理數都是可數無限,而實數不可數。
本題的關鍵是判斷各集合的基數:
解題方法
先確認 、、 都能依序列舉。整數可排成
;有理數可將分子、分母依大小排列,再沿著格點的對角線依序檢查,並略過重複的分數與分母為 的情形。如此每個有理數都會出現在序列中,因此 可數。
實數則不可數。假設 的實數能列成一列,將每個數寫成小數,逐位改變第 個數的小數點後第 位,便能構造出一個與清單中每個數至少有一位不同的新實數,造成矛盾。因此 不可數,無法與可數的 建立雙射。
選項分析
第 43 題5 分
Which of the following statement is most inappropriate?
(A) .
(B) .
(C) .
(D) .
(E) None of the above.
登入後即可作答並保存紀錄。
核心觀念
本題考模冪的循環性,以及中國剩餘定理。若 ,則 會依固定週期循環;費馬小定理指出,當 為質數且 時,。
此外, 兩兩互質,因此若兩數在模 下的餘數都相同,便能合併成模 的同餘式。
解題方法
分別利用費馬小定理化簡指數:
-
模 的週期為 ,而 ,所以
-
模 的週期為 ,而 ,所以
-
模 的週期為 ,而 ,所以
第 44 題5 分
A binary relation on a set of 3 elements is represented by the matrix
Which of the following statement is most inappropriate?
(A) is antisymmetric.
(B) The reflexive closure of is
(C) The symmetric closure of is
(D) The transitive closure of is
(E) is an equivalent relation.
登入後即可作答並保存紀錄。
核心觀念
設矩陣第 列、第 欄的元素為 ,表示 。本題考查關係矩陣的四種性質與閉包:
- 反對稱:若 且 ,則必須有 。
- 自反:每個 都屬於 。
- 對稱閉包:,矩陣上相當於將原矩陣與其轉置做逐項 OR。
- 傳遞閉包:加入所有由傳遞性必須補上的有序對。
- 等價關係:同時具備自反、對稱、傳遞三種性質。
題目中的關係矩陣為
因此
解題方法
先把矩陣轉成有序對,或直接觀察矩陣中的 。依序檢查反對稱性,再分別計算自反閉包、對稱閉包與傳遞閉包。最後判斷題目是否只有一個錯誤選項。
選項分析
(A) 是反對稱關係:正確。
反對稱性只會在某兩個不同元素 同時有 和 時違反。矩陣中有 、,但沒有相反方向的 、,所以 是反對稱關係。
(B) 所列矩陣是 的自反閉包:正確。
自反閉包只需補上缺少的對角線元素。原矩陣的 為 ,其餘兩個對角線元素已是 ,故
第 45 題5 分
Two undirected graphs and are isomorphic if
(A) .
(B) .
(C) The number of vertices with any given degree is the same in both and .
(D) For every subgraph of , there is a subgraph of that is isomorphic to it.
(E) All of the above must hold.
登入後即可作答並保存紀錄。
核心觀念
圖同構是指存在一個頂點間的一對一對應,使相鄰關係也完全保留。若 與 同構,兩圖的結構相同,只是頂點名稱可能不同。
因此,同構圖必須具有相同的頂點數、邊數與各種度數的頂點數量; 的每個子圖也都能在 中找到同構的子圖。這些都是圖同構的必要條件。
解題方法
逐項判斷各選項是否為圖同構必備的性質。只要 與 同構,對應的頂點與邊便一一配對,頂點度數也會保留;此外,同構映射限制在任一子圖上,仍會得到 中對應的同構子圖。因此,題列條件全都是必要條件。
選項分析
- (A) 正確。 同構映射是頂點間的一對一對應,所以 。
- (B) 正確。 同構映射保留相鄰關係,因此兩圖的邊也能一一對應,故 。
- **(C) 正確。
第 46 題5 分
Which statement cannot be supported by Gödel’s incompleteness theorem?
(A) “Graph isomorphism problem is NP-hard in general.”
(B) “No single Artificial Intelligence algorithm can solve all humans’ problems”.
(C) “The cloud computing platform is not capable enough to solve all big-data tasks”.
(D) “There are problems which cannot be calculated by Turing machine”.
(E) “We cannot expect to construct a large enough Database to support analyzing all aspects of social networks”.
登入後即可作答並保存紀錄。
核心觀念
哥德爾不完備定理(Gödel's incompleteness theorem)說:任何足以表達基本算術、且一致(不矛盾)的形式系統,都存在在系統內為真、卻無法在系統內被證明的命題。它的精神在計算理論中的對應是「存在演算法(圖靈機)無法解決的問題」(如停機問題)。因此,凡是在講「沒有一套萬能的機械程序/系統能解決所有問題」的敘述,都可以拿不完備定理作為支持(類比或延伸);而談論某個具體問題難度等級的敘述,與它無關。
選項分析
- (A) 無法被支持(本題答案)。 「圖同構問題一般而言是 NP-hard」講的是一個可計算問題的計算複雜度分類,與「可否證明/可否計算」無關,不完備定理對 P、NP 的關係不提供任何資訊。而且這句話本身也不是已知事實——圖同構目前並未被證明是 NP-hard(一般認為不是 NP-complete)。
- **(B) 可以被支持。
第 47 題5 分
Which operator or function is associative?
(A) Set difference () on sets.
(B) Division () on numbers.
(C) Implication () on propositions.
(D) Greatest common divisor (GCD) on integers.
(E) Cartesian product () on sets.
登入後即可作答並保存紀錄。
核心觀念
二元運算 若滿足結合律,必須對所有適用的 都有
判斷選項時,若能找到一組反例,就足以證明該運算不具結合律;若要證明具結合律,則須說明任意三個輸入都滿足等式。
解題方法
逐項比較先算左邊兩個輸入與先算右邊兩個輸入的結果。集合差集、數字除法與命題蘊涵都可用具體反例檢驗;最大公因數則可利用「共同因數」的定義證明。
選項分析
(A) 集合差集 :不具結合律。
取 :
但
兩邊不同,因此集合差集不具結合律。
(B) 除法 :不具結合律。
取 :
而
兩邊不相等,因此除法不具結合律。
(C) 命題蘊涵 :不具結合律。
令 為假、 為真、 為假。此時
而
第 48 題5 分
We will evaluate the time complexity of a recursive algorithm with input of items. Algorithm works as follows: when input size is , the algorithm will first use steps to prepare and divide the input into 4 roughly equal-size subsets; for each size subset, recursively call ; finally it uses steps to merge all 4 partial results to get the final solution. What is the time complexity for this algorithm?
(A)
(B)
(C)
(D)
(E)
登入後即可作答並保存紀錄。
核心觀念
本題考遞迴式的時間複雜度分析。若演算法將大小為 的問題分成 個、每個大小為 的子問題,並花費 時間處理分割與合併,則遞迴式為
可用主定理比較 與 ,判斷總時間複雜度。
解題方法
每次將問題分成 個大小約為 的子問題,因此遞迴呼叫部分為 。準備與合併各需 ,合計仍是 。所以
計算主定理的比較項:
而非遞迴成本 ,比 的成長速度慢;具體而言,,取 ,符合主定理第一種情形。因此
選項分析
第 49 題5 分
A restaurant provides different ways to accept reservation of ordered seats. For any individual (1 person), he/she can make reservation by email or through the web page. For any party of 2 persons, they can use phone, email, or web page to reserve. How many different ways for this restaurant to make reservation of ordered seats?
(A)
(B)
(C)
(D)
(E)
登入後即可作答並保存紀錄。
核心觀念
把 個有順序的座位由左至右安排。每次可用一種預約方式安排:
- 1 個人坐 1 個座位:可用電子郵件或網頁,共 種。
- 2 個人坐相鄰的 2 個座位:可用電話、電子郵件或網頁,共 種。
因此,安排最前面的座位時,可能由一個單人預約占用,或由一組兩人預約占用。這類計數可用遞迴式處理。
解題方法
令 表示安排 個有順序座位的預約方式數。
考慮最前面的座位:
- 若由 1 人預約,這個預約有 種方式,剩下 個座位有 種安排。
- 若由 2 人預約,這個預約有 種方式,剩下 個座位有 種安排。
所以對 ,
初始值為 (沒有座位時有 1 種空安排),。因此 。
解遞迴式。設 ,代入得特徵方程:
第 50 題5 分
We define that a person is “happy” if he is liked by at least 3 other people. Suppose in a group of 10 people, everyone likes at least 4 other persons. What following conclusion can be reached?
(A) At least 4 persons are happy.
(B) At most 6 persons are not happy.
(C) It is impossible that no one is happy.
(D) “like” cannot be a symmetric relation.
(E) For each person, the number of persons who like him cannot be all different among 10 people.
登入後即可作答並保存紀錄。
核心觀念
把每個人視為一個頂點;若甲喜歡乙,就畫一條由甲指向乙的有向邊。每條邊代表一次「喜歡」關係,因此:
- 每個人的出度是他喜歡的人數,題目給定每個人的出度至少為 。
- 每個人的入度是喜歡他的人數;入度至少為 的人就是「快樂的人」。
- 全部出度總和等於全部入度總和,兩者都等於喜歡關係的總數。
解題方法
設快樂人數為 。每個人至多被另外 人喜歡,因此全部入度總和至多為
因為快樂者的入度至多為 ,其餘人的入度至多為 。另一方面,全部出度總和至少為
因此 ,得 。這能保證至少有 人快樂,但不能由此推出至少有 人快樂。
若沒有任何人快樂,所有人的入度都至多為 ,總入度至多為 ;然而總入度必須等於總出度,而總出度至少為 ,矛盾。因此一定有人快樂。
選項分析