稳定配对问题.DOC

穩定配對問題 主講：劉俊宏 前言： 在現今社會中，每個人都有選擇自己喜歡對象的權利。假設在一個n男n女的聯誼會中，如果每個人都對異性排出一個喜好程度表(我們假設每個人只喜歡異性)，例如： A w x y z B x z w y C x w y z D y x z w w x y z D B D C C A C B A D B A B C A D 其中A,B,C,D代表男生，w,x,y,z代表女生， 就A而言，他喜歡對方的程度是wxyz， 就w而言，他喜歡對方的程度是DCAB 為了節省空間，我們可以把2個表合併起來為： w x y z A w,D x,B y,D z,C B x,C z,A w,C y,B C x,A w,D y,B z,A D y,B x,C z,A w,D 在每個人都表明自己的”志願”之後，我們是否可以為他們找到一組穩定的配對方式呢？也就是說，如果A,w被配在一對，C,y被配在一對，就不可以發生A喜歡y勝過w，而且y喜歡A勝過C的情形(也就是說，我知道你喜歡我，你也知道我喜歡你，但是我們都選擇了一個不喜歡的人)。 這個問題，稱作「穩定配對(stable matching)問題」 我們用比較數學的方式來描述 定義： 一個配對(matching) M 是一個集合，其中的元素都是這種形式的數對(order pair) (A,a)其中A為男，a為女。 i.e. ，且每一男至多只配一女，每一女至多只配一男。 一個完美配對是一個配對，而且每一男恰好配一女，每一女也恰好配一男。 若一個配對中有一男m和一女w，使得m喜歡w勝過他喜歡現在的對象，而且w也喜歡m勝過他喜歡現在的對象，則稱這是一個不穩定的配對。 若一個完美配對不是不穩定的配對，則稱這是一個穩定配對。 以之前的例子來看，{(A,z), (B,x), (C,w), (D,y)}就是一穩定配對，但是{(A,z), (B,x), (C,w), (D,w)}不是一個配對，當然就不是穩定配對；而{(A,z), (B,x), (C,w)}雖然是配對，但卻不是完美配對；至於{(A,x), (B,z), (C,w), (D,y)}雖然是個完美配對，但卻不是個穩定配對，因為B喜歡x勝過他現在的對象z，而且x喜歡B勝過他現在的對象A。 現在我們有個疑問，是不是只要給定志願表，就一定可以找出穩定配對呢？ 如果有穩定配對，那要怎麼找呢？當然，我們可以列出 n! 種完美配對後，在一一檢查是否為穩定配對。 事實上，給定任何一個志願表，都會存在穩定配對，而下面這個有效率的演算法保證可以得到一個穩定配對。 求婚演算法(proposal algorithm)：(也稱作Gale-Shapley algorithm) 首先，每個男人都去向其最喜歡的人求婚，如果說每一個女生都恰好被一個人生求婚，那就停止，如果某一個女生被2個以上的男生求婚，則取該女生比較喜歡的人。接下來，被拒絕的男生們去向其第2喜歡的女生求婚，若女方在此可以選擇這次比較好的對象而拒絕前一次的對象，以此類推。 以上面的例子為例： {(A,w), (B,x), (C,x), (D,y)} ={(A,w), (B,x), (C,w), (D,y)} ={(A,x), (B,x), (C,w), (D,y)} ={(A,y), (B,x), (C,w), (D,y)} ={(A,z), (B,x), (C,w), (D,y)} 值得注意的是，隨著一次次求婚，男方的對象他會越來越不喜歡，女方的對象會越來越喜歡。 但儘管如此，這還是會得到一個對男方最有利的穩定配對M，也就是不會有另一個穩定配對M’，使得M’中每個男人的對象都比M中的好或相同。 現在我們來證明這個演算法必然會得到一組穩定配對： 我們需要證明2件事，一是證明這演算法會結束，二是證明此演算法會得到穩定配對。 首先，先證明這個演算法一定會結束。因為經過一次又一次的求婚，沒有老婆的男人會越來越少，而且每個男人最多求婚n次。如果有一男被所有的女人拒絕，表示拒絕他的人都已經有對象了，也就是說，已經有n個男人已被配對，但是因為男女人數一樣多，矛盾。所以當演算法結束時，必然會得到一組配對。 接下來證明得到的這組配對必然是穩定配對。假設配對中的(m,w)與(M,W)造成不穩定，則表示m喜歡W勝過w，而且W喜歡m勝過M。但是，既然演算法得到這樣的結果，表示m曾向W求婚，但被W拒絕了，所以m才會去向其他比較不喜歡的人求婚，所以說，W應該要喜歡她的對象勝過m，但這得到了矛盾。所以，此演算法必然生成一個穩定配對。▓ 剛剛我們在執行求婚演算法的時候，是讓男方主動出擊去向女方求婚，但若現在讓女方主動出擊，會發生麼事呢？ {(D,w),