113 年 國立陽明交通大學資訊工程學系碩士班《線性代數與離散數學》
第 1 題5 分
Solve the following puzzle.
一名醫護人員說:「醫院裡的醫護人員,包括我在內,總共是 16 名醫生與護士,並且下面四條狀況都成立。並且如果把我排除不計的話,下面四條狀況仍然都成立。」
- 護士多於醫生。
- 男醫生多於男護士。
- 男護士多於女護士。
- 至少有一位女醫生。
請問說話的人是甚麼性別和職稱?
注意:每個人要麼是男性,要麼是女性,不可以又是男又是女。每個人要麼是醫生,要麼是護士,不可以既是護士又是醫生。
登入後即可作答並保存紀錄。
核心觀念
把人數設成四個變數,先用四條狀況與總數 16 解出唯一的人員組成,再用「把說話者排除後仍然成立」判斷說話者屬於哪一類。
設女護士 人、男護士 人、男醫生 人、女醫生 人,。四條狀況:
- 護士多於醫生:
- 男醫生多於男護士:
- 男護士多於女護士:
- 至少有一位女醫生:
解題方法
第一步:解出人員組成。
由 (1) 與總數 16,護士至少 9 人:,醫生至多 7 人:。
由 (4),;由 (2),;由 (3),。所以 。
結合 ,每個不等式都必須取等號:
檢查:、、、,總數 16,四條都成立,而且這是唯一解。
第 2-(a) 題5 分
Consider the following non-decreasing sequence of natural numbers:
Note that there are exactly occurrences of . Define a function as the largest integer such that . For example, and . What is ?
登入後即可作答並保存紀錄。
核心觀念
數列依非遞減順序排列,且每個正整數 恰好出現 次。因此, 是數列中所有值不大於 的項數,也就是前 個平方數的總和:
解題方法
先由平方和公式求出 ,再把 代入同一公式。
令
因此
代回 ,得到
第 2-(b) 題5 分
Find all non-negative integers and such that .
登入後即可作答並保存紀錄。
核心觀念
利用整數的平方因數分解:每個正整數都可唯一寫成「平方自由整數 × 完全平方數」。若 且 是完全平方數,則 與 的平方自由部分相同。
解題方法
先處理 或 的情況:若 ,原式給出 ;若 ,則 。
接著考慮 。將原式平方:
因此
右側是有理數。因為 是整數,且其平方根為有理數,所以 必為完全平方數。
設 、,其中 是共同的平方自由部分, 為正整數。代回原式:
第 3-(a) 題5 分
The Goldbach's conjecture says, “every even integer greater than 2 is a sum of two prime numbers.” Please translate Goldbach's conjecture into a logical formula using , , , , , and , and the four basic integer arithmetic operators (, , , ). Note that is integer division; for example, .
登入後即可作答並保存紀錄。
核心觀念
Goldbach 猜想表示:每個大於 的偶數,都能寫成兩個質數的和。題目只要求使用存在量詞 ,因此可把「每個」改寫成「不存在一個反例」:
不存在大於 的偶數,無法表示成兩個質數的和。
還需要用整數除法表達「偶數」與「質數」。以下量詞的範圍皆為整數,並使用題目中的大小關係符號 、。
解題方法
對正整數 ,條件
恰好表示 是偶數:偶數除以 沒有餘數;奇數的整數除法結果乘回 ,則會比原數小 。
對正整數 ,若存在整數 滿足 ,且
便表示 整除 ,所以 不是質數。
第 3-(b) 題5 分
A bit string is a string of 0 and 1 digits. For instance, is a bit string of length 10. How many bit strings of length 10 contain either five consecutive 1's or five consecutive 0's?
登入後即可作答並保存紀錄。
核心觀念
利用補集計數:先計算長度為 、沒有連續 個相同數字的位串,再從全部 個位串中扣除。
每個位串都能唯一分解成一段一段的「連續相同數字區段」,稱為連續段。例如 的連續段長度為 。相鄰連續段的數字必定交替,因此只要計算連續段長度的組合數,再乘上第一段可選的 或 ,就能得到位串數量。
解題方法
要避免出現連續 個相同數字,每個連續段的長度只能是 。令 表示將 拆成若干個 至 之間的正整數之方法數,並令 。
第一個連續段長度可能為 ,所以對 :
其中負下標的 視為 。依序計算:
We want to count the number of paths from vertices to in the following graph. Each path is made up of a series of steps, where each step is a move one unit to the right or a move one unit upward. No moves to the left or downward are allowed.
🖼️【此處有附圖,請對照原卷】
第 4-(a) 題3 分
What is the number of paths from vertices to ?
登入後即可作答並保存紀錄。
核心觀念
每條路徑都由「向右」與「向上」兩種步伐組成。若總共需要向右走 步、向上走 步,路徑數就是將這 步中的 個向上步安排位置:
解題方法
圖中 位於左下角、 位於右上角;格線間共有 欄、 列,因此從 到 必須向右走 步、向上走 步。
第 4-(b) 題4 分
What is the number of paths from vertices to that do not go through vertex ?
登入後即可作答並保存紀錄。
核心觀念
每條路徑由向右與向上組成。若需向右走 步、向上走 步,路徑總步數為 ;從中選出 個位置安排向上步,路徑數為
解題方法
圖中從 到 的格點路徑需向右走 步、向上走 步;頂點 位於從 向右 步、向上 步的位置。先算全部路徑,再扣除經過 的路徑。
全部路徑數為
第 4-(c) 題4 分
Let be the set of all vertices in the above graph. Define a binary relation on such that if we need either one unit to the right or one unit upward to move from vertex to . Is a partially ordered set? Why or why not?
登入後即可作答並保存紀錄。
核心觀念
偏序集 的關係 必須同時滿足:
- 自反性:對每個 ,。
- 反對稱性:若 且 ,則 。
- 傳遞性:若 且 ,則 。
解題方法
圖中是由格點構成的矩形網格,從一個頂點到另一個頂點只相隔一格向右或一格向上時,兩點才屬於 。因此,檢查它是否為偏序,只要逐一檢驗上述三項條件。
If we run topological sorting on the following Hasse diagrams, how many different results can we get?
(a)
🖼️【此處有附圖,請對照原卷】
(b)
🖼️【此處有附圖,請對照原卷】
第 5-(a) 題2 分
How many different results can we get?
登入後即可作答並保存紀錄。
核心觀念
拓樸排序必須保留偏序中的先後關係:若 ,則 必須排在 前面。Hasse 圖中位置較低的元素小於沿連線向上可達的元素;沒有偏序關係的元素,先後順序可自由安排。
解題方法
圖(a)共有 五個元素,兩條由下往上的鏈為
左右兩條鏈之間沒有額外的先後限制。
由於 都必須排在 前面,因此 固定排在最後。問題便化為:將兩個有序序列 與 交錯排列,同時維持 在 前、 在 前。
在前四個位置中,選出兩個位置依序放入 ;剩下兩個位置依序放入 。每一組位置選擇恰好對應一種合法排序,因此共有
第 5-(b) 題4 分
How many different results can we get?
登入後即可作答並保存紀錄。
核心觀念
拓樸排序必須保留偏序中的先後關係:若 ,則 必須排在 前面。Hasse 圖中位置較低的元素小於沿連線向上可達的元素;沒有偏序關係的元素,先後順序可自由安排。
解題方法
圖(a)共有 五個元素,兩條由下往上的鏈為
左右兩條鏈之間沒有額外的先後限制。
由於 都必須排在 前面,因此 固定排在最後。問題便化為:將兩個有序序列 與 交錯排列,同時維持 在 前、 在 前。
在前四個位置中,選出兩個位置依序放入 ;剩下兩個位置依序放入 。每一組位置選擇恰好對應一種合法排序,因此共有
第 6 題8 分
Suppose that we already have the following theorem.
If is a connected planar simple graph with edges and vertices, where , then .
Using this theorem to prove that if is a connected planar simple graph with at least three vertices, then has a vertex of degree not exceeding five.
登入後即可作答並保存紀錄。
核心觀念
使用握手定理:圖中所有頂點的度數總和等於邊數的兩倍,
再將此式與題目給定的平面簡單圖邊數上界 結合,限制頂點度數的平均值。
解題方法
由題目給定的定理,
因此,利用握手定理可得平均度數
第 7-(a) 題6 分
Let
Find
登入後即可作答並保存紀錄。
核心觀念
可逆矩陣 的逆矩陣 滿足 。使用 Gauss–Jordan 消去法,將增廣矩陣 做列運算,直到左半部化為單位矩陣;此時右半部就是 。
解題方法
將 與 合併成增廣矩陣,依序進行列運算。先交換第 1、3 列,再消去第 1 欄:
接著令 、,並將第 2 列與第 3 列分別除以 與 :
第 7-(b) 題6 分
Let
Find the factorization for , where is a permutation matrix, is a lower triangular matrix with unit diagonal, and is an upper triangular matrix.
登入後即可作答並保存紀錄。
核心觀念
高斯消去時若遇到主元(pivot)為 ,就必須交換列;把所有列交換預先集中成一個排列矩陣 ,就能寫成 : 是單位下三角(對角線為 ,下方存消去用的乘數 ), 是消去後的上三角矩陣。
解題方法
找出需要的列交換。
- 第 1 欄:,必須換列。與第 2 列交換()。
- 照原順序繼續消去會發現:第 3 列在第 2 步後變成 ,第 3 欄主元為 ,必須與第 4 列交換()。
所以 把列順序排成 :
對 做不需換列的消去。
第 1 步(主元 ):
- :
- :
第 2 步(主元 ):
第 8 題8 分
Given 4 points : , , , and , what is the sum of squared error if we fit the closest quadratic polynomial by the least square approximation?
登入後即可作答並保存紀錄。
核心觀念
最小平方法是選擇係數,使殘差平方和最小。令設計矩陣的第 列為 ,則模型可寫成
最小平方解滿足正規方程 ;其殘差向量與 的每一欄都正交。
解題方法
四個資料點的 值為 ,因此
計算各欄的乘積和:
所以正規方程為
第 9 題5 分
Prove that if a square matrix is invertible, then .
(Please leave it blank if you don't know the correct answer, or you will get at most minus 5 points (until questions 7, 8, and 9 are 0 points) for the wrong answer. For example, if you get questions 7, 8, and 9 wrong, you will get 0 points for them.)
登入後即可作答並保存紀錄。
核心觀念
矩陣 是方陣 的反矩陣,若且唯若
此外,轉置會反轉矩陣乘法的順序:
解題方法
因為 可逆,所以
將兩式分別取轉置,並使用 :
Given
第 10-(a) 題5 分
Find the eigenvalues of .
登入後即可作答並保存紀錄。
核心觀念
三角矩陣的特徵值就是其對角線上的元素。這是因為特徵值 滿足特徵方程
而三角矩陣的行列式等於對角線元素的乘積。
解題方法
矩陣 是上三角矩陣,因此可直接由對角線讀出特徵值。也可計算特徵多項式驗證:
第 10-(b) 題5 分
Find the corresponding eigenvectors of .
登入後即可作答並保存紀錄。
核心觀念
特徵向量 必須是非零向量,且滿足 ,等價於
因此,先由 的特徵值逐一求解齊次方程組,即可得到對應的特徵向量。由於 是上三角矩陣,其特徵值為對角線元素 。
解題方法
令 ,分別解 。
當 時,
方程組給出 、、,因此 、,而 可任意取非零值。故
當 時,
方程組給出 、,所以 。故
第 10-(c) 題5 分
Find the eigenvalues of .
登入後即可作答並保存紀錄。
核心觀念
矩陣 的區塊結構可寫成 Kronecker 積:
若 的特徵值為 ,而 的特徵值為 ,則 的特徵值為所有乘積 。這可由特徵向量直接看出:若 且 ,則
解題方法
令
第 11 題5 分
Let
where is a lower triangular matrix. Please find .
登入後即可作答並保存紀錄。
核心觀念
這題考下三角矩陣的 Cholesky 分解。對稱矩陣若可寫成 ,其中 為下三角矩陣,通常取所有對角元素非負;逐項比較 與 ,即可求出 的元素。
解題方法
設
由 的對角元素開始計算:
這裡採用標準 Cholesky 分解的非負對角線慣例。接著比較第一欄的非對角元素:
再由第二列的對角元素求 :
第 12 題5 分
Let
where is a Hermitian matrix. Please find .
登入後即可作答並保存紀錄。
核心觀念
因為 是 Hermitian 矩陣,所以 ,題目條件等價於
也就是求 的 Hermitian 平方根。Hermitian 矩陣的特徵值皆為實數;若 ,則 與 具有相同的特徵向量,而 在每個特徵方向上的特徵值,平方後必須等於 對應的特徵值。
解題方法
將 寫成一個 區塊與一個 區塊:
先計算 的平方:
因此
而 的實數平方根為 。所以對任意 ,矩陣