112 年 國立中央大學工業管理研究所碩士班《作業研究》
第 1 題
Consider a queueing model for which there is unlimited service, i.e., an infinite number of servers available. A self-service type situation is one example of such a model. Interarrival time is exponentially distributed with rate and service time is exponentially distributed with rate . Let the state be the number of customers in the system. One could use the general birth and death processes to analyze this model. Let the state be the number of customers in the system.
(a) (5 points) Draw a rate transition diagram for this model and determine and for state .
(b) (10 points) Let be the steady-state probability of customers in the system. Show that ,
(c) (10 points) Show that ,
登入後即可作答並保存紀錄。
此題為一個具備無限多服務器的排隊模型(M/M/∞ 模型)的穩態分析。題目要求繪製其狀態轉移圖,並推導穩態機率公式。
核心觀念:一般化出生-死亡過程 (General Birth and Death Process)、穩態機率。
(a) 狀態轉移圖與 的決定
此模型為一出生-死亡過程,其中:
- 狀態 代表系統中有 位顧客。
- 顧客到達服從指數分佈,率為 。因此,從狀態 到 的出生率 對於所有 。
- 顧客服務時間服從指數分佈,率為 。由於有無限多個服務器,每位到達的顧客都能立即獲得服務。因此,當系統中有 位顧客時,會有 位顧客正在接受服務。每位正在服務的顧客以率 完成服務離開系統。所以,從狀態 到 的死亡率 對於所有 。
狀態轉移圖:
狀態 0: 系統中無顧客。
狀態 1: 系統中有一位顧客。
狀態 n: 系統中有 n 位顧客。
- 從狀態 到 的轉移(到達):率為 。
- 從狀態 到 的轉移(離開):率為 。
λ λ λ λ
0 ----> 1 ----> 2 ----> 3 ----> ... ----> n ----> ...
| ^ ^ ^ ^
| | 1μ | 2μ | 3μ | nμ
| | | | |
<-------<-------<-------<-------------<
決定 和 :
- 對於任意狀態 , (顧客到達率)。
- 對於任意狀態 , (顧客離開率)。
(b) 證明 ,
根據一般化出生-死亡過程的穩態條件,我們有:
對於所有 。
代入我們在 (a) 中得到的 和 :
我們可以重新整理這個方程式來表示 :
現在,我們從 開始,逐步推導 :
對於 :
第 2 題
Let be a transition probability matrix of a discrete time Markov chain. The eigenvalues of are . Apply Sylvester's formula to get the followings.
(a) (10 points) Determine and .
(b) (15 points) Determine the analytical solution of .
Hint: (Sylvester's formula) Let be a square matrix of order . Let be the eigenvalues of , and assume they are distinct. Then
where matrix is given by
is the identity matrix of order .
登入後即可作答並保存紀錄。
核心觀念
本題考察具有相異特徵值之矩陣的 Sylvester 公式:
其中 為對應於特徵值 的投影矩陣。當矩陣只有兩個相異特徵值 與 時,
兩個投影矩陣分別為
解題方法
已知
(a)求 與
求
先計算分子:
因此
求
先計算:
所以
(b)求 的解析解
根據 Sylvester 公式:
代入 與 :
逐項合併後得到:
第 3 題15 分
Consider the following linear programming problem (P) where A is the coefficient matrix, x is the decision variable vector, and c is the cost vector. The dual problem of (P), which is denoted as (D), is also formulated in the following.
(P): Minimize
subject to
(D): Maximize
subject to
Suppose that is a feasible solution for (P), that is, , and is a feasible solution for (D), that is, . Please compare (that is, the objective function value of (D)) and (that is, the objective function value of (P)) and determine: Do they have the same value? Or, is one larger than or equal to the other? Or, is one strictly larger than the other? You must provide convincing reasons to back up your answer (答案必須有明確的理由).
登入後即可作答並保存紀錄。
核心觀念
本題考的是線性規劃的弱對偶定理:對偶問題的任一可行解,其目標值不會大於原問題任一可行解的目標值。
解題方法
由原問題可行性,;又因為 ,左乘 後不等號方向不變:
由對偶問題可行性,;又因為 ,右乘 後不等號方向不變:
合併兩式可得:
第 4 題15 分
Please solve the following linear programming problem and report the optimal solution. Show your calculation process in detail (答案必須有詳細的計算過程).
Minimize
subject to
登入後即可作答並保存紀錄。
核心觀念
本題是標準的線性規劃問題:
- 目標:最小化總成本。
- 限制式為「至少達到」的 型態。
- 所有變數皆滿足 。
適合使用:
- 對偶問題(Dual Problem)
- 弱對偶定理
- 互補鬆弛定理(Complementary Slackness)
原問題為:
解題方法:建立對偶問題
對於「最小化、限制式為 、變數非負」的線性規劃,其對偶為「最大化、限制式為 、對偶變數非負」。
令兩個對偶變數分別為 ,則對偶問題為:
求解對偶問題
觀察對偶目標函數:
其中 的係數皆為正,因此希望在可行範圍內盡量提高 。
考慮第 1 個與第 5 個對偶限制式:
將兩式相加,可得:
而左側正是對偶目標函數 ,因此任何對偶可行解都必須滿足:
若能找到一組可行解使 ,即可證明對偶最佳值為 。
令上述兩個限制式同時取等號:
第一式乘以 ,兩式相減:
整理得:
代入第一式:
因此:
故對偶候選解為:
檢查其他對偶限制式
代入 、:
第 5 題20 分
John is a manager in charge of running a department of 20 Python programmers. Currently, he has a total of 15 projects that he can choose for his programmers. After some thinking, he came up with the following "incidence matrix" indicating the best composition for each project team. For example, John considers that project 1 is best to be handled by programmers 1, 3, and 20.
| programmer | project 1 | project 2 | project 3 | ... | project 15 |
|---|---|---|---|---|---|
| 1 | 1 | 1 | 0 | ... | 0 |
| 2 | 0 | 0 | 1 | ... | 1 |
| 3 | 1 | 0 | 0 | ... | 0 |
| ... | ... | ... | ... | ... | ... |
| 20 | 1 | 1 | 0 | ... | 1 |
As required by company policies, John must ensure that "no one in his department is left behind;" that is, every programmer must have at least one project to work on. Because the company must pay certain money to programmers doing each project, naturally they asked John to choose some of the projects so that as little money is paid as possible (while at the same time ensuring that no one is left behind).
Let denote the numeric value indicating whether programmer can work on project or not. For example, for project 1, we have , and . Let be the total costs that the company will have to pay to those programmers doing project . Moreover, let be the decision as to whether John should choose project or not. To be precise, is a binary decision variable such that " " indicates that John should choose project and " " indicates otherwise.
Please formulate the above situation as a binary linear programming model. Note: you are NOT allowed to define any more decision variable, parameters, symbols, etc. (不可自行定義任何新的決策變數、參數、或符號).
登入後即可作答並保存紀錄。
此題要求將一個專案分配問題,以二元整數規劃 (Binary Integer Programming, BIP) 的形式建立模型。問題的目標是最小化總成本,同時確保所有程式設計師都有至少一個專案負責。
核心觀念:二元整數規劃、指派問題、成本最小化、資源限制。
模型建立步驟:
-
定義決策變數:
題目已經給定了決策變數:- : 專案 是否被選擇。
若選擇專案 ,否則 。
(共 15 個專案)。
這些變數是二元的,表示只能選擇或不選擇一個專案。
- : 專案 是否被選擇。
-
定義參數:
題目也給定了一些參數:- : 指標矩陣,表示程式設計師 是否能執行專案 。
若程式設計師 能執行專案 ,否則 。
(共 20 位程式設計師)。
(共 15 個專案)。 - : 執行專案 的總成本。
- 總程式設計師數量:20 人。
- 總專案數量:15 個。
重要限制: 題目明確要求「不可自行定義任何新的決策變數、參數、或符號」。這意味著我們必須利用 和 來表達所有條件。
- : 指標矩陣,表示程式設計師 是否能執行專案 。
-
建立目標函數:
目標是最小化總成本。總成本取決於選擇了哪些專案。如果選擇專案 (),則會產生成本 。
因此,目標函數是:
Minimize -
建立約束條件:
-
約束 1:確保所有程式設計師都有專案可做。
公司政策要求「沒有人被落下」,即每位程式設計師至少要負責一個專案。
一位程式設計師 能夠負責專案 的前提是:
a) 程式設計師 能夠執行專案 ()。
b) 專案 被選擇執行 ()。對於每一個程式設計師 (),他/她所能負責的專案集合為 。
程式設計師 能夠被分配到的專案,必須是 中的某個專案 ,且該專案 被選擇 ()。
我們需要確保對於每一個 ,至少有一個 使得 。數學表達式:對於每個程式設計師 ,必須滿足:
這裡的 是參數,如果程式設計師 不能做專案 (),則該項不會被計入總和。如果 ,則表示如果專案 被選擇 (),這個專案就可能分配給程式設計師 。
-