跳至內容

匈牙利演算法

本頁使用了標題或全文手工轉換
維基百科,自由的百科全書
以最低的總成本將任務分配給工人的圖解。

匈牙利演算法是一種在多項式時間內求解任務分配問題組合最佳化演算法,並推動了後來的原始對偶方法英語primal-dual methods。美國數學家哈羅德·W·庫恩於1955年提出該演算法。此演算法之所以被稱作匈牙利演算法,是因為演算法很大一部分是基於以前匈牙利數學家科尼格·德內什英語Dénes Kőnig艾蓋瓦里·耶內的工作之上建立起來的。[1][2]

詹姆士·芒克勒斯在1957年回顧了該演算法,並發現它的時間複雜度為(強)多項式時間[3] 此後該演算法被稱為庫恩-芒克勒斯演算法芒克勒斯分配演算法。原始演算法的時間複雜度,但傑克·愛德蒙斯英語Jack Edmonds理察·卡普發現可以修改演算法達到執行時間。小萊斯特·倫道夫·福特德爾伯特·雷·富爾克森將該方法推廣到一般運輸問題,稱作福特-富爾克森演算法。2006年發現卡爾·雅可比在19世紀就解決了指派問題,該解法在他死後在1890年以拉丁文發表。[4]

問題

[編輯]

你有三個工人:吉姆,史提夫和艾倫。 你需要其中一個清潔浴室,另一個打掃地板,第三個洗窗,但他們每個人對各項任務要求不同數目數量的錢。 以最低成本的分配工作的方式是什麼? 可以用工人做工的成本矩陣來表示該問題。例如:

清潔浴室 打掃地板 洗窗
吉姆 $2 $3 $3
史提夫 $3 $2 $3
艾倫 $3 $3 $2

當把匈牙利方法應用於上面的表格時,會給出最低成本:為6美元,讓吉姆清潔浴室、史提夫打掃地板、艾倫清洗窗戶就可以達到這一結果。

設定

[編輯]

給定一個 的非負矩陣,其中第 行第 列元素表示把第 個工人派到第 個工作的成本。我們必須找到成本最低的工人工作分配。如果目標是找到最高成本的分配,該問題可以將每個成本都換為最高一個成本減去該成本以適應題目。

如果用二分圖來闡述該問題可以更容易描述這個演算法。對於一個有 個工人節點()與 個工作節點()的完全二分圖 ,每條邊都有 的非負成本。我們要找到最低成本的完美匹配

如果函式 滿足對於每個 都有 ,則把該函式叫做。勢 的值為 。可以看出,每個完美匹配的成本最低是每個勢的值。匈牙利演算法找出了完美匹配及與之成本/值相等的勢,這證明了兩者的最佳性。實際上它找到了緊邊集的完美匹配:緊邊 是指對於勢 滿足 。我們將緊邊子圖表示為 中的完美匹配的成本(如果存在)就等於 的值。

用二分圖描述此演算法

[編輯]

在演算法中我們維持 的勢和方向(表示為 ),該方向有從 的邊構成匹配 的性質。初始時, 處處為 0, 所有邊都由 指向 (因此 為空)。每一步中,我們或者改變 使其值增加, 或者改變方向以得到更多的邊。我們保持 的所有邊都是緊邊不發生改變。當 為完美匹配時結束。

在一般的步驟中,令 未覆蓋的節點 (則 包含 中入度為零的節點,而 中包含 中出度為零的節點)。 令 為從 只沿緊邊的有向路徑可到達 的節點。可由廣度優先搜尋求得。

非空,則將 中從 的有向路徑反向。則相應匹配數增加1。

為空,則令 為正,因為 之間沒有緊邊。 在 中的節點將增加 並在 中節點將 減小 , 得到的仍然是勢。圖 改變了,但它仍包含。我們把新的邊從指向。 由 的定義, 可達的節點集 增大(注意到緊邊的數量不一定增加)。

我們重複這些步驟直到為完美匹配,該情形下給出的是最小成本(即時間消耗)的匹配。此版本的執行時間為 增廣 次, 在 不改變的一個階段中,勢最多改變 次(因為 每次都增加)。改變勢所需的時間在

證明:改變勢函式y不改變M

[編輯]

證明改變中每條邊不發生改變,這等價於證明對於中任意邊,它的兩個頂點要麼都在中,要麼都不在中。為此,定義中一條從的邊,則若,那麼有。(反證)假設;由於是一個匹配邊的末端點,,因此存在從的有向路徑。這條路徑必不能經過(根據假設),因此這條路徑上緊鄰的點是其他點是一條從的緊邊因此也是中的一個元素。但因此包含兩條有共點的邊,與是匹配的定義矛盾。因此中每條邊的兩個頂點要麼都在中,要麼都不在中。

證明:y仍然是勢函式

[編輯]

證明在更改之後是勢函式,等價於證明不存在總勢超過成本的邊。這已經在之前的論述中已經為中的邊建立這個概念,因此我們考慮任意從的邊。如果升高了,那麼:(1),在這種情況下,減小了,使總體的勢未發生改變;(2),這種情況下的定義保證了。因此仍然是勢函式。

矩陣解釋

[編輯]

給定 個工人和任務,以及一個包含分配給每個工人一個任務的成本的 矩陣,尋找成本最小化分配。

首先把問題寫成下面的矩陣形式

其中 是執行任務 1, 2, 3, 4 的工人。 分別表示當工人 做任務 1, 2, 3, 4 時的時間損失(成本)。對於其他符號也同樣適用。該矩陣是方陣,所以每個工人只能執行一個任務。

第 1 步

接下來我們對矩陣的行進行操作。將所有 從 1 到 4)中最小的元素取走,並將該行每個元素都減去剛剛取走的元素。這會讓該行至少出現一個零(當一行有兩個相等的最小元素時會得到多個零)。對此過程為所有行重複。我們現在得到一個每行至少有一個零的矩陣。現在我們嘗試給工人指派任務,以使每個工人只做一項任務,並且每個情況的耗散都為零。說明如下。

每一行的 0 的個數可以超過 1。

若有出現行中 0 的個數超過 1,在最壞的情況下,會需要在 的組合中找到一個成本最小的配對。

第 2 步

有時此階段的該矩陣不能符合指派的要求,例如下面所示矩陣。

在上述情形下,不能做出指派。注意到任務 1 由工人 做都很高效 ( 為 0 )。但兩個工人無法分配到同一個任務。

還注意到,沒有任何一個工人能有效地做任務 3 ( 皆不為 0)。 為了克服這個問題,我們對所有列重複上述流程(即每一列所有元素都減去該列最小元素)並檢查是否可以完成分配。

大多數情況下,這都會給出結果,但如果仍然是不可行,那麼我們需要繼續下去。

第 3 步

必須用儘可能少的列或行標記來覆蓋矩陣中的所有零。下面的過程是完成這個要求的一種方法:

首先,儘可能多地分配任務,用 0' 表示的零為已指派的任務,

  • 第 1 行有一個零,所以用 0' 表示為分配。第 3 行的 0 由於處於同一列而被劃掉。
  • 第 2 行有一個零,所以用 0' 表示為分配。
  • 第 3 行只有一個已經劃掉的零,所以不能分配。
  • 第 4 行有兩個未劃掉的零。可以分配任何一個(都是最佳) ,並將另一個零划去。

(在此階斷任何合法的分配都可以接受,因此若一開始分配的是第 3 行的 0,就會使第 1 行的 0 被劃掉。)

現在到了畫圖的部分。

  • 標記所有未分配的行(第 3 行)。
  • 標記所有新標記的行中 0所在(且未標記)的對應列(第 1 列)。
  • 標記所有在新標記的列中有分配的行(第 1 行)。
  • 對所有未分配的行重複上述過程。
×
×
×

現在劃掉所有已標記的列和未標記的行(第 1 列和第 2, 4 行)。

×
×
×

上述詳細的描述只是畫出覆蓋所有 0 的(直、行)線的一種方法。也可以使用其他方法。

第 4 步

現在刪除已畫線的行和列。這將留下一個矩陣如下:

返回到步驟 1,然後重複這個過程,直到矩陣是空的;當矩陣為空時,意即畫出的覆蓋所有 0 的(直、行)線的個數等於原本矩陣的行數(或列數) ,在上述的例子中 ,此時代表有一個分配的最佳解存在於這些 0 的組合之中,我們可以在步驟 1 中從所有分配的組合中找到成本最小的解。

參考書目

[編輯]
  • R.E. Burkard, M. Dell'Amico, S. Martello: Assignment Problems (Revised reprint). SIAM, Philadelphia (PA.) 2012. ISBN 978-1-61197-222-1
  • M. Fischetti, "Lezioni di Ricerca Operativa", Edizioni Libreria Progetto Padova, Italia, 1995.
  • R. Ahuja, T. Magnanti, J. Orlin, "Network Flows", Prentice Hall, 1993.
  • S. Martello, "Jeno Egerváry: from the origins of the Hungarian algorithm to satellite communication". Central European Journal of Operations Research 18, 47–58, 2010

參考文獻

[編輯]
  1. ^ Harold W. Kuhn, "The Hungarian Method for the assignment problem", Naval Research Logistics Quarterly, 2: 83–97, 1955. Kuhn's original publication.
  2. ^ Harold W. Kuhn, "Variants of the Hungarian method for assignment problems", Naval Research Logistics Quarterly, 3: 253–258, 1956.
  3. ^ J. Munkres, "Algorithms for the Assignment and Transportation Problems", Journal of the Society for Industrial and Applied Mathematics, 5(1):32–38, 1957 March.
  4. ^ JACOBI'S BOUND. [2015-08-14]. (原始內容存檔於2020-01-29). 

外部連結

[編輯]

實現

[編輯]

(請注意,並非所有這些都滿足 時間約束。)