108 年 國立中山大學電機工程學系碩士班戊組《離散數學》
第 1 題
How many positive integer solutions to the equation ?
(a) 1
(b) 2
(c) 3
(d) 4
登入後即可作答並保存紀錄。
核心觀念
本題考查數論(Number Theory)中的**二元一次丟番圖方程式(Linear Diophantine Equation)**求正整數解的個數。
用到之核心定義與定理如下:
- 丟番圖方程式可解性定理:對於二元一次方程式 (其中 且 不全為 0),若且唯若 時,該方程式存在整數解。
- 通解結構定理:若已求得一組特解 ,則其所有整數解(通解)可表示為:
- 正整數解約束條件:題目要求「正整數解」(Positive Integer Solutions),意即 且 (亦即 且 )。
解題方法
步驟一:確認解的存在性
給定方程式:
計算係數的最大公因數:。
因為 ,故此方程式必存在整數解。
步驟二:尋求特解
利用同餘(Congruence)的觀念求解 的特解:
將 對 取模:。
同餘式可寫為:
兩邊同除以 (因為 ):
取最小正整數特解 ,代回原方程式求出對應的 :
得到特解為 。
步驟三:建立通解公式
將特解與係數帶入二元一次方程式的通解結構:
步驟四:求解參數 的正整數範圍
根據正整數解條件( 且 ):
- 由 :
因為 ,故 。 - 由 :
第 2 題
How many subsets of {3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13} contain 3, 9, and 13?
(a) 1024
(b) 256
(c) 512
(d) 762
登入後即可作答並保存紀錄。
核心觀念
本題考查組合數學中的集合子集個數與乘法原理(Product Rule)。
- 子集總數定理:若有限集合 包含 個元素,則 的子集總數為 。這是因為對於集合中的每一個元素,在構成子集時都恰有「包含」與「不包含」 種選擇。
- 受限子集計數:當指定某 個元素「必須包含」在子集中時,這 個元素的選取狀態已被完全固定(各有 種選擇)。因此,滿足條件的子集數量,完全取決於其餘未被限制的 個元素,數量即為 。
解題方法
步驟一:計算全集元素個數
給定集合為 。
計算連續整數集合的元素總數 :
步驟二:分析約束條件與可自由選擇的元素
題目規定子集必須包含 這 個特定元素。
將這 個固定元素自原集合中扣除,剩餘可自由選擇「選入或不選入」子集的元素集合為:
剩餘自由元素個數為:
步驟三:運用乘法原理推導結果
對於 中的這 個元素,每一個元素皆有 種可能性(選或不選),根據乘法原理,包含 的子集總數為:
選項分析
第 3 題
Suppose we have two functions and , with , , , ,
, , , , , and . Which is the correct
mapping of the composite function ?
(a)
(b)
(c)
(d)
登入後即可作答並保存紀錄。
核心觀念
本題考查**合成函數(Composite Function)**的基本定義與映射運算。
設 為集合,若有兩個函數 與 ,則其合成函數記做 ,定義為:
在此運算中,作用順序是由右至左:輸入值 先經過函數 映射得到中間值 ,再將該中間值作為函數 的輸入,經由 映射出最終結果 。
解題方法
已知函數 的定義域為 ,欲求合成函數 的所有映射值,依定義分別帶入各元素進行兩階段映射計算:
-
計算 :
代入 ,先求 ,再求 。
-
計算 :
代入 ,先求 ,再求 。
-
計算 :
代入 ,先求 ,再求 。
-
計算 :
代入 ,先求 ,再求 。
第 4 題
Let LOVENSYSU be a string of 9 characters. How many different permutations of these
characters such that the two S's are not adjacent?
(a) 141120
(b) 362880
(c) 181440
(d) 40320
登入後即可作答並保存紀錄。
核心觀念
本題屬於離散數學中組合計數(Combinatorics)的**不全相異物排列(Multiset Permutations)與受限制排列(Restricted Permutations)**問題。
主要運用的定義與原理如下:
-
不全相異物排列公式(Multiset Permutation Formula):
若有 個元素,其中包含 種重複元素,個數分別為 ,且 ,則其所有相異排列數為:
-
不相鄰排列的計數策略:
處理「指定元素互不相鄰」問題,主要有兩種切入角度:- 插空法(Insertion Method):先將沒有限制的元素排好,再將受限元素插入相鄰元素間形成的空隙中。
- 反面扣除法(Complementary Counting):利用排容原理,用「全部任意排列數」減去「受限元素相鄰的排列數」。
解題方法
步驟一:分析字串的字元組成
字串 LOVENSYSU 共有 9 個字元,統計各字母出現頻率:
- 字母 L, O, V, E, N, Y, U 各出現 1 次(共 7 個相異字元)。
- 字母 S 出現 2 次(重複字元)。
步驟二:選擇解法推導與計算
方法一:插空法(建議解法)
-
排列 7 個非 S 的相異字元:
將 L, O, V, E, N, Y, U 進行全排列,方法數為:
-
插入 2 個相同的 S:
7 個字元排定後,包含前後兩端共會產生 8 個可供插入的空隙:
由於 2 個 S 為相同字元,只需從這 8 個空隙中選出 2 個空隙各放入 1 個 S 即可,方法數為:
-
計算總排列數:
由乘法原理,兩 S 不相鄰的排列總數為:
方法二:反面扣除法
- 計算 9 個字元的所有任意排列數(全集):
不考慮任何限制,9 個字元中包含 2 個相同的 S,排列數為:
第 5 題
Let A, B, and C are three sets. Which is incorrect about the difference set?
(a)
(b)
(c)
(d)
登入後即可作答並保存紀錄。
核心觀念
本題考驗集合論中**差集(Difference Set / Relative Complement)**的化簡技巧,以及差集與交集、聯集、補集之間的代數等式與運算性質。解題所需的基礎定理與定義如下:
- 差集之補集定義:
- 笛摩根定律(De Morgan's Laws):
- 集合交集的結合律與交換律:
- 集合交集對聯集的分配律:
解題方法
驗證集合等式主要採用兩種策略:
- 集合代數法(Set Algebra):將所有差集符號「」透過定義轉換為交集「」與補集「」,再運用集合代數律(結合律、分配律、笛摩根定律等)進行邏輯化簡與推導。
- 反例法(Counterexample Method):若要否定一個集合等式,只需找出一個具體的反例集合,證明左式(LHS)與右式(RHS)所包含的元素不相等即可。
本題將對各選項進行代數推導與化簡,找出不成立的選項。
選項分析
-
選項 (a) :正確(不選)
- 左式代數推導:
- 根據交集結合律與笛摩根定律:
- 左右兩式恆等,此敘述正確。
- 左式代數推導:
-
選項 (b) :正確(不選)
- 左式代數推導:
- 根據交集的結合律與交換律:
- 左右兩式恆等,此敘述正確。
- 左式代數推導:
-
選項 (c) :錯誤(應選此項)
- 右式代數推導:
第 6 題
Suppose A is a set with 21 elements. How many subsets of A can be obtained such that each
subset has 11 or more elements?
(a) 131072
(b) 262144
(c) 524288
(d) 1048576
登入後即可作答並保存紀錄。
核心觀念
本題考查組合學(Combinatorics)中「二項式係數對稱性(Symmetric Property of Binomial Coefficients)」與「子集總數公式(Power Set Cardinality)」。
- 子集數量與二項式係數:
設 為包含 個元素的有限集合,則大小為 的子集數量為 。 - 所有子集總數:
根據二項式定理,集合 的所有子集個數為:
- 二項式係數對稱恆等式:
對於任意 ,恆滿足:
解題方法
已知集合 的元素個數 。題目要求計算元素個數不少於 11 個(即 )的子集數量,亦即求取下列和式:
-
列出所有子集的求和關係:
集合 的所有子集總數可分成 22 個二項式係數相加:
-
利用對稱性分段:
根據對稱公式 ,可得前半段 11 項與後半段 11 項兩兩相等:
因此,前半段子集數與後半段子集數完全相同:
-
計算目標數值:
將對稱關係代回子集總數式:
第 7 題
Let and . A composite function is
formed. What is the value of ?
(a) -5
(b) -2
(c) 2
(d) 5
登入後即可作答並保存紀錄。
核心觀念
本題旨在考驗離散數學中**複合函數(Composite Function)**的定義與數值計算。
- 複合函數定義:設 與 為兩個函數,其複合函數記作 ,定義為:
- 多重複合函數求值:對於三層複合函數 ,必須遵循「由內而外(即由右至左)」的代入順序:
- 先計算最內層的值 。
- 再將 代入中間層計算 。
- 最後將 代入最外層計算 。
解題方法
題目要求計算 的值,即求解 。我們按照「由右至左(由內而外)」的三個關鍵步驟逐步推導:
-
第一步:計算最內層
已知 ,將 代入:
-
第二步:計算中間層
已知 ,將 代入:
第 8 題
In how many ways can the letters in ANSYSUAA be linearly arranged such that Y and U
are not adjacent?
(a) 1260
(b) 2520
(c) 5040
(d) 1400
登入後即可作答並保存紀錄。
核心觀念
- 不相選/不相鄰排列(Non-adjacent Permutation):處理指定元素「不得相鄰」的直線排列問題,常見解法有:
- 扣除法(補集法):全域任意排列數 指定元素相鄰的排列數。
- 插空法(間隙法):先將無限制的元素排好,再將不得相鄰的元素插入其形成的空隙中。
- 相同物重複排列(Multiset Permutation):設有 個物件,其中有 個相同物類別 1、 個相同物類別 2、…、 個相同物類別 (滿足 ),其直線排列的相異排法總數為:
解題方法
首先對字串 ANSYSUAA 進行字元數量盤點:
- 字母 A:3 個
- 字母 N:1 個
- 字母 S:2 個
- 字母 Y:1 個
- 字母 U:1 個
總字母數 。題目要求 Y 與 U 不得相鄰。以下提供兩種標準解法導出解答:
方法一:扣除法(反面扣除法)
-
計算全域任意排列數:
將 8 個字母(含 3 個 A、2 個 S、1 個 N、1 個 Y、1 個 U)任意直線排列:
-
計算 Y 與 U 相鄰的排列數:
將 Y 與 U 綑綁視為一個複合元素 。此時相當於排列以下 7 個元素:。- 7 個元素的相異物與相同物直線排列數為:
- 綑綁內部 Y 與 U 可互換順序( 或 ),有 種排法。
- 故相鄰排列數為:
- 7 個元素的相異物與相同物直線排列數為:
-
計算 Y 與 U 不相鄰的排列數:
方法二:插空法(間隙法)
第 9 題
Let p, q, and r be primitive statements for which is false. Which of the
following is false?
(a) is false
(b) is true
(c) is false
(d) is true
登入後即可作答並保存紀錄。
核心觀念
本題考查命題邏輯(Propositional Logic)中**條件句(Conditional Statement)**的真值特性與基本邏輯運算子的運算規則:
- 條件句的真值特性:
對於條件句 ,當且僅當前項 為真(True, )且後項 為假(False, )時,其真值才為假();其餘情況(、、)皆為真()。 - 基本邏輯運算子定義:
- 取與(Conjunction, ):僅在參與運算的命題皆為 時,結果才為 。
- 取或(Disjunction, ):只要參與運算的命題中有任一者為 ,結果即為 。
- 否定(Negation, ):將命題真值反轉(,)。
- 邏輯運算優先順序(Precedence):
在沒有括號的情況下,優先順序為:否定 取與 取或 條件句 。
解題方法
步驟一:推導各基本命題的唯一真值
題目給定複合命題 為假()。
根據條件句假值的定義:
- 前項 必須為真()
- 後項 必須為假()
由 ,根據「取與」的定義,可推出:
結合後項可完整獲得三基本命題的真值:
步驟二:代入各選項進行邏輯檢驗
將求得的真值組合 分別代入各選項的敘述中,判斷各敘述本身的真假(True 或 False)。
選項分析
第 10 題
Let and . How many onto functions can be defined from to
?
(a) 8
(b) 11
(c) 14
(d) 17
登入後即可作答並保存紀錄。
核心觀念
-
映滿函數(Onto / Surjective Function)的定義:
設 為一函數,若對於對應域(Codomain) 中的每一個元素 ,都至少存在一個定義域(Domain) 中的元素 使得 ,則稱 為映滿函數(值域等於對應域,即 )。 -
函數總數公式:
設 且 ,從 到 的所有可能函數總數為 。 -
映滿函數數量的計算公式:
- 方法一(排容原理 / 扣除法):
當對應域大小 時,非映滿函數僅包含「所有元素皆映射至第一個元素」與「所有元素皆映射至第二個元素」這 2 個常數函數(Constant Functions)。因此,映滿函數數量為:
- 方法二(第二類 Stirling 數):
從大小為 的集合映射到大小為 的集合,其映滿函數總數可表示為:
其中 為將 個相異物分成 個相同非空堆的第二類 Stirling 數(Stirling Numbers of the Second Kind)。
- 方法一(排容原理 / 扣除法):
解題方法
本題給定定義域 ()與對應域 ()。
步驟一:計算從 到 的所有函數總數
每一個 中的元素都有 2 種選擇(可以映射至 或 ),故總函數個數為:
第 11 題
Let for positive integer and . Which of the following is
false?
(a) The constant term of is negative
(b) is a polynomial of order 2
(c)
(d)
登入後即可作答並保存紀錄。
核心觀念
本題主要考查離散數學中**有限級數和(Finite Summation)與等差數列(Arithmetic Progression)**的求和公式,以及多項式次數與常數項的定義。
- 等差級數求和公式:若一數列為等差數列,其首項為 、末項為 、項數為 ,則級數和為:
- 級數拆解性質:
其中自然數求和公式為 。 - 多項式的階(Order/Degree)與常數項:多項式 中,最高次方項 的指數 即為多項式的階(Order/Degree);不含變數項的純數值 即為常數項。
解題方法
目標為求出 的封閉形式(Closed-form expression),並代入特定值進行計算與選項驗證。
方法一:等差級數求和法
觀察被加項 為一首項與公差明確的等差數列:
- 首項():
- 末項():
- 項數 :從 到 共有 項
代入等差級數求和公式:
方法二:標準級數拆解法
利用和的拆解性質:
計算前 項和:
第 12 題
Which value is closest to the solution to ?
(a) -5.237
(b) -4.482
(c) 4.983
(d) 6.329
登入後即可作答並保存紀錄。
核心觀念
本題考驗「對數(Logarithm)的基本運算性質」與「對數方程式的求解及真數條件驗證」。
主要使用的定義與定理如下:
- 對數相減律(商律):
- 對數與指數的互換定義:
- 對數的真數條件:
對於 ,變數代入後必須滿足真數 。
解題方法
步驟一:運用對數律合併左式
根據對數相減律,將左式的兩項合併:
簡化真數的分式:
步驟二:轉換為指數形式求解
依據對數定義,底數為 10,可得:
兩邊同乘以 2:
開平方解得:
步驟三:驗證真數條件
原式對數項的真數為 。
不論 或 ,其平方均為 ,代入得 ,皆符合真數必須大於 0 的定義。因此正負兩解皆為有效解。
步驟四:求數值近似值並與選項比對
評估 的數值:
因 且 ,可知 。
精確計算得 。
因此方程式的兩個解分別為:
第 13 題
What is the sum of all the coefficients in the expansion of ?
(a) 1256
(b) -512
(c) -2048
(d) -1024
登入後即可作答並保存紀錄。
核心觀念
本題考查**二項式定理(Binomial Theorem)與多項式係數和(Sum of Coefficients)**的求法。
對於多項式 ,其二項式展開式為:
展开式中所有項的係數總和,即為將所有變數皆代入 時的多項式函數值 。
解題方法
-
建立多項式函數:
設 。 -
代入變數求係數和:
要求展開式中所有係數的總和,將 與 代入函數:
-
計算指數數值:
由於底數為負數(),且次方為奇數(),運算結果必然保持負號:
第 14 題
Let be a function of :
Which of the following are true for the expanded form of ?
(a) The constant term is
(b) There are 9 different terms
(c) The coefficient of the term with is negative
(d) The coefficient of the term with is
登入後即可作答並保存紀錄。
核心觀念
本題考查**二項式定理(Binomial Theorem)**及其展開式一般項的應用。
對任意實數 與正整數 ,二項式定理展開式如下:
其中一般項(第 項)可表示為:
解題關鍵在於將給定函數整理成一般項形式,並透過同類項次數的合算,求出特定次項 所對應的 值與係數。
解題方法
已知函數 ,可視為二項式 展開,其中:
Step 1:寫出展開式一般項
Step 2:分離變數與係數
將 的次方與常數係數分開整理:
其中 的次方數為 ,變數 。
選項分析
- (a) 錯誤
常數項代表 的次方數為 ,令 。
將 代入一般項求係數:
選項聲稱常數項為 ,故為錯誤。
第 15 題
Suppose we want to generate randomly 8 bits, with 0 or 1 in each bit. Let be the event
of bit 0 being 1, be the event of bit 7 being 0, and be the event of both bits 3 and
4 being 1. Which of the following are true?
(a) The probability
(b) The probability
(c) The probability
(d) The probability
登入後即可作答並保存紀錄。
題目解析與觀念說明
8 個位元獨立且均勻地隨機生成 0 或 1,每個位元為 1 或 0 的機率皆為 。
事件定義如下:
- :第 0 位元為 1
- :第 7 位元為 0
- :第 3 與第 4 位元皆為 1
由於各個位元相互獨立,事件 亦彼此獨立。
選項推導與檢驗
- (a) 計算
由獨立性:
故 (a) 正確。
第 16 題
Assume that there is a recurrent relation , with . Which of the
following are true?
(a)
(b)
(c)
(d) is a multiple of 3
登入後即可作答並保存紀錄。
核心觀念
本題主要考驗 一階非齊項線性遞迴關係式(First-order non-homogeneous linear recurrence relation) 的求法,以及 同餘(Modular arithmetic) 的整數性質判定。
主要涉及的知識點與公式如下:
- 平移常數法(待定係數法):針對一階非齊項遞迴式 (其中 ),可設其特解為常數 ,並將遞迴式改寫為等比關係 。
- 二進位次方基礎數值:考場常考 的數值(如 , , , )。
- 模運算(同餘):判定 是否為 3 的倍數,即檢驗 是否成立。
解題方法
已知遞迴關係式與初始條件為:
步驟一:求遞迴關係式的一般項
將原式兩邊同時加上 :
定義新數列 ,則 為公比等於 的等比數列:
代入初始條件 計算 :
故 的一般項為:
還原得 的一般項公式為:
選項分析
- (a) :錯誤
將 代入一般項:
計算結果 ,故選項 (a) 錯誤。
第 17 題
Suppose the frequency of occurrence for C is 1, for O is 2, for U is 3, for N is 4, for T is
5, for E is 6, and for R is 7. We create a Huffman tree and find Huffman codes for them.
Which of the following are true?
(a) The code for T is 101
(b) The code for U is shorter than the code for T
(c) The shortest code is one bit long
(d) The longest code is 4 bits long
登入後即可作答並保存紀錄。
題目解析與霍夫曼樹(Huffman Tree)建構
-
初始節點與頻率(按頻率由小到大排序):
-
霍夫曼樹建構過程(每次合併頻率最小的兩個節點):
- Step 1: 合併 與
- 現有節點:
- Step 2: 合併 與
- 現有節點:
- Step 3: 合併 與
- 現有節點:
- Step 4: 合併 與
- 現有節點:
- Step 5: 合併 與
- 現有節點:
- Step 6: 合併 與 (完成根節點建構)
- Step 1: 合併 與
第 18 題
It is known that . Let . Which of the following are true about ?
(a) The constant term is not 0
(b) The coefficient of the term with is 73
(c) The coefficient of the term with is
(d) is greater than 50000
登入後即可作答並保存紀錄。
核心觀念
本題考查離散數學與基礎代數中的有限項級數求和(Summation of Finite Series)與多項式係數分析(Polynomial Coefficient Analysis)。
主要使用的求和公式如下:
- 連續自然數平方和公式:
- 常數項求和公式:
解題方法
Step 1:表示為 Sigma 求和形式與拆項
觀察給定的級數 :
可將第 項表示為 ,因此求和式寫為:
利用求和算符的線性性質拆開:
Step 2:套用求和公式並展開
代入已知公式:
將分子展開:
因此:
將分式拆解為各次方的多項式:
整理得 的降冪多項式為:
選項分析
- (a) 錯誤
由展開式 可知, 不包含獨立常數項,即常數
第 19 題
Let P, Q, and R be propositions. Which of the following are tautologies?
(a)
(b)
(c)
(d)
登入後即可作答並保存紀錄。
核心觀念
本題旨在考驗數理邏輯中的**恆真句(Tautology)**判斷、**邏輯等值律(Logical Equivalences)**的應用,以及基本推論法則。
-
恆真句(Tautology)之定義:
若一個複合命題(Compound Proposition)無論其所包含的命題變數(如 )取值為真(True, )或假(False, ),整個命題的真假值結果永遠為「真」(),則稱該複合命題為恆真句。 -
關鍵邏輯等值律與公式:
- 條件句等值律(Conditional Equivalence):
- 逆反律(Contrapositive Law):
- 德摩根定律(De Morgan's Laws):
- 矛盾律與排中律(Law of Excluded Middle):;
- 同一律與支配律(Domination Laws):;
解題方法
判斷複合命題是否為恆真句主要有以下兩種切入方式:
- 反例賦值法(Counterexample Method):針對結構較簡單的命題,嘗試尋找一組真假值設定使整個命題為「假」()。若能找到反例,該命題即非恆真句。
- 布林邏輯代數化簡法(Logical Equivalence Simplification):運用基本邏輯等值律對命題進行代數展開與化簡。若最終結果能化簡至常數 ,則該命題必為恆真句。
選項分析
(a)
- 判斷結果:錯誤(非恆真句)
- 詳細說明:
本命題全由析取運算子()連接。若設定 、 且 ,則:
存在至少一組真假值設定使其結果為假(),故本命題為**偶然句(Contingency)**而非恆真句。
(b)
- 判斷結果:正確(為恆真句)
- 詳細說明:
符號 (或雙條件句 )表示左右兩側命題之邏輯等值關係。
將右式 利用條件句等值律化簡:
而左式 根據條件句等值律亦為: