Gale-Shapley---婚姻匹配算法算法

原文鏈接:http://blog.csdn.net/cscmaker/article/details/8291131

(一)問題的引出:

??????????? 有N男N女,每個人都按照他對異性的喜歡程度排名。現在需要寫出一個算法安排這N個男的、N個女的結婚,要求兩個人的婚姻應該是穩定的。

??????????? 何為穩定?

??????????? 有兩對夫妻M1 F2,M2 F1。M1心目中更喜歡F1,但是他和F2結婚了,M2心目中更喜歡F2,但是命運卻讓他和F1結婚了,顯然這樣的婚姻是不穩定的,隨時都可能發生M1和F1私奔或者M2和F2私奔的情況。所以在做出匹配選擇的時候(也就是結婚的時候),我們需要做出穩定的選擇,以防這種情況的發生。


(二)算法介紹:

?? 參考:http://www.matrix67.com/blog/archives/2976

?? 1962 年,美國數學家 David Gale 和 Lloyd Shapley 發明了一種尋找穩定婚姻的策略。不管男女各有多少人,不管他們各自的偏好如何,應用這種策略后總能得到一個穩定的婚姻搭配。換句話說,他們證明了穩定的婚姻搭配總是存在的。有趣的是,這種策略反映了現實生活中的很多真實情況。
???

??? 算法中采用了男生主動追求女孩的形式。

??? 算法步驟描述:

???? ?? 第一輪,每個男人都選擇自己名單上排在首位的女人,并向她表白。這種時候會出現兩種情況:(1)該女士還沒有被男生追求過,則該女士接受該男生的請求。(2)若該女生已經接受過其他男生的追求,那么該女生會將該男士與她的現任男友進行比較,若更喜歡她的男友,那么拒絕這個人的追求,否則,拋棄其男友(囧)……

? ? ?? 第一輪結束后,有些男人已經有女朋友了,有些男人仍然是單身。

?????? 在第二輪追女行動中,每個單身男都從所有還沒拒絕過他的女孩中選出自己最中意的那一個,并向她表白,不管她現在是否是單身。這種時候還是會遇到上面所說的兩種情況,還是同樣的解決方案。直到所有人都不在是單身。


怎么證明這個算法肯定能夠得到穩定的婚姻:

(1)隨著輪數的增加,總有一個時候所有人都能配上對。因為男生根據自己心目中的排名依次對女士進行表白,假如有一個人沒有配上對,那么這個人必定是向所有的女孩進行表白了。但是女孩只要被表白過一次,就不可能是單身,也就是說此時所有的女生都不是單身的,這與有一個人沒有配上對是相悖的。所以假設不成立。該算法一定會使得所有人都能夠配對成功。

(2)隨著輪數的增加,男士追求的對象越來越糟,而女士的男友則可能變得越來越好。假設男A和女1各有各自的對象,但是比起現在的對象,男A更喜歡女1,所以,在此之前男A肯定已經跟女1表白過的,并且女1拒絕了男A,也就是女1有了比男A更好的男友,不會出現私奔的情況……。


(三)算法實現

[cpp] view plaincopy
print?
  1. #include<iostream>??
  2. #include?<stack>??
  3. ??
  4. using?namespace?std;??
  5. ??
  6. #define?NUM?4??
  7. #define?NIL?-1??
  8. ??
  9. int?GetPositionFromLaday(int?ladayArray[][NUM],?int?laday,?int?man)??
  10. {??
  11. ????for(int?i=0;?i<NUM;?i++)??
  12. ????????if(ladayArray[laday][i]?==?man)??
  13. ????????????return?i;??
  14. ????return?NIL;??
  15. }??
  16. ??
  17. void?ChoosePartener(stack<int>&?manStack,?int?manPos,?int?manArray[][NUM],?int?ladayArray[][NUM],?int?manPerfer[],?int?manStartPos[],?int?ladayNow[])??
  18. {??
  19. ????//選擇自己名單上排在首位的女人??
  20. ????????int?perferLaday?=?manArray[manPos][manStartPos[manPos]];??
  21. ????????//如果該女孩沒有接受過表白,則接受該男孩的表白??
  22. ????????if(ladayNow[perferLaday]?==?NIL)??
  23. ????????{??
  24. ????????????ladayNow[perferLaday]?=?manPos;??
  25. ????????????manPerfer[manPos]?=?perferLaday;??
  26. ????????}??
  27. ????????//如果已經有人向她表白,則判斷其現在擁有的有沒有現在追求的好??
  28. ????????else??
  29. ????????{??
  30. ????????????int?oldPos?=?GetPositionFromLaday(ladayArray,?perferLaday,?ladayNow[perferLaday]);??
  31. ????????????int?newPos?=?GetPositionFromLaday(ladayArray,?perferLaday,?manPos);???
  32. ????????????if(oldPos?<?newPos)??
  33. ????????????{??
  34. ????????????????manStartPos[manPos]++;//說明該女生更喜歡現在擁有的,選心目中第二位??
  35. ????????????????//加入單身行列??
  36. ????????????????manStack.push(manPos);??
  37. ????????????}??
  38. ????????????else?//換男友??
  39. ????????????{??
  40. ????????????????//被甩的男友恢復自由身份??
  41. ????????????????manStartPos[ladayNow[perferLaday]]++;??
  42. ????????????????//加入單身行列??
  43. ????????????????manStack.push(ladayNow[perferLaday]);??
  44. ????????????????//將追求的男士改為現任男友??
  45. ????????????????ladayNow[perferLaday]?=?manPos;??
  46. ????????????????manPerfer[manPos]?=?perferLaday;??
  47. ????????????}??
  48. ????????}??
  49. }??
  50. ??
  51. int?main()??
  52. {??
  53. ????int?manArray[NUM][NUM]?={{2,3,1,0},{2,1,3,0},{0,2,3,1},{1,3,2,0}};????
  54. ????int?ladayArray[NUM][NUM]?=?{{0,3,2,1},{0,1,2,3},{0,2,3,1},{1,0,3,2}};??
  55. ??
  56. ????int?manPerfer[NUM]?=?{0};//每位男生選中的女生??
  57. ????int?manStartPos[NUM]?=?{0};//記錄每位男生選取的是心目中第幾位的女生??
  58. ????int?ladayNow[NUM]?=?{NIL,NIL,NIL,NIL};//女生對應的男生??
  59. ??
  60. ????stack<int>?manStack;?//?還處于單身的男士??
  61. ??
  62. ????//進行第一輪迭代,每個男生都選擇自己名單上排在首位的女生。??
  63. ????for(int?pos=0;?pos<NUM;?pos++)??
  64. ????{??
  65. ????????ChoosePartener(manStack,?pos,?manArray,?ladayArray,?manPerfer,?manStartPos,ladayNow);??
  66. ????}??
  67. ??
  68. ????while(manStack.size()!=0)??
  69. ????{??
  70. ????????int?manPos?=?manStack.top();??
  71. ????????manStack.pop();??
  72. ????????ChoosePartener(manStack,?manPos,?manArray,?ladayArray,?manPerfer,?manStartPos,ladayNow);??
  73. ????}??
  74. ??
  75. ????for(int?i?=0;i<NUM;?++i)??
  76. ????????cout<<"Man?NO.:?"<<i<<"?Laday?NO.:?"<<manPerfer[i]<<endl;??
  77. }??
#include<iostream>
#include <stack>using namespace std;#define NUM 4
#define NIL -1int GetPositionFromLaday(int ladayArray[][NUM], int laday, int man)
{for(int i=0; i<NUM; i++)if(ladayArray[laday][i] == man)return i;return NIL;
}void ChoosePartener(stack<int>& manStack, int manPos, int manArray[][NUM], int ladayArray[][NUM], int manPerfer[], int manStartPos[], int ladayNow[])
{//選擇自己名單上排在首位的女人int perferLaday = manArray[manPos][manStartPos[manPos]];//如果該女孩沒有接受過表白,則接受該男孩的表白if(ladayNow[perferLaday] == NIL){ladayNow[perferLaday] = manPos;manPerfer[manPos] = perferLaday;}//如果已經有人向她表白,則判斷其現在擁有的有沒有現在追求的好else{int oldPos = GetPositionFromLaday(ladayArray, perferLaday, ladayNow[perferLaday]);int newPos = GetPositionFromLaday(ladayArray, perferLaday, manPos); if(oldPos < newPos){manStartPos[manPos]++;//說明該女生更喜歡現在擁有的,選心目中第二位//加入單身行列manStack.push(manPos);}else //換男友{//被甩的男友恢復自由身份manStartPos[ladayNow[perferLaday]]++;//加入單身行列manStack.push(ladayNow[perferLaday]);//將追求的男士改為現任男友ladayNow[perferLaday] = manPos;manPerfer[manPos] = perferLaday;}}
}int main()
{int manArray[NUM][NUM] ={{2,3,1,0},{2,1,3,0},{0,2,3,1},{1,3,2,0}};	int ladayArray[NUM][NUM] = {{0,3,2,1},{0,1,2,3},{0,2,3,1},{1,0,3,2}};int manPerfer[NUM] = {0};//每位男生選中的女生int manStartPos[NUM] = {0};//記錄每位男生選取的是心目中第幾位的女生int ladayNow[NUM] = {NIL,NIL,NIL,NIL};//女生對應的男生stack<int> manStack; // 還處于單身的男士//進行第一輪迭代,每個男生都選擇自己名單上排在首位的女生。for(int pos=0; pos<NUM; pos++){ChoosePartener(manStack, pos, manArray, ladayArray, manPerfer, manStartPos,ladayNow);}while(manStack.size()!=0){int manPos = manStack.top();manStack.pop();ChoosePartener(manStack, manPos, manArray, ladayArray, manPerfer, manStartPos,ladayNow);}for(int i =0;i<NUM; ++i)cout<<"Man NO.: "<<i<<" Laday NO.: "<<manPerfer[i]<<endl;
}


本文來自互聯網用戶投稿,該文觀點僅代表作者本人,不代表本站立場。本站僅提供信息存儲空間服務,不擁有所有權,不承擔相關法律責任。
如若轉載,請注明出處:http://www.pswp.cn/news/250600.shtml
繁體地址,請注明出處:http://hk.pswp.cn/news/250600.shtml
英文地址,請注明出處:http://en.pswp.cn/news/250600.shtml

如若內容造成侵權/違法違規/事實不符,請聯系多彩編程網進行投訴反饋email:809451989@qq.com,一經查實,立即刪除!

相關文章

大數據排重

注意用來排重的那個集合放到Set中&#xff0c; 可以是HashSet,或者其他Set(推薦使用HashSet),因為Set的contains效率更高&#xff0c;比list高很多 -----------------------------------------------------------------------------------------------------------------------…

大前端成長路徑

路徑(持續更新): 以下是我不同時期的博客鏈接可以和我的GitHub共同食用大家可以對比一下,我學的過程是緩慢型的… learning: 0個月 2018年09月開始接觸前端,前端三劍客一個不知道一個不懂,于是對著W3C、菜鳥教程.一個一個敲開始啃紅寶書《JavaScript高級程序設計》(第3版) le…

工具:meson+ninja(安裝問題解決)

問題1&#xff1a;Python版本問題 報錯信息&#xff1a; NOTICE: You are using Python 3.6 which is EOL. Starting with v0.62.0, Meson will require Python 3.7 or newer ubuntu 18默認的python3是3.6. 解決方案1&#xff1a;從源碼安裝python 3.7 wget https://www.pyth…

ListMapSet的操作和遍歷

List&Map&Set的操作和遍歷 Java的三大集合即&#xff1a;Set、List、Map。 Set&#xff1a;代表無序、不可重復的集合&#xff0c;常用的有HashSet&#xff08;哈希表實現&#xff09;、TreeSet&#xff08;紅黑樹實現&#xff09;&#xff1b;List&#xff1a;代表有序…

PHP中的魔術方法

概述 在面向對象編程中&#xff0c;PHP提供了一系列的魔術方法&#xff0c;這些魔術方法為編程提供了很多便利。PHP中的魔術方法通常以__(兩個下劃線)開始&#xff0c;并且不需要顯示的調用而是由某種特定的條件出發。這篇文章簡單總結了PHP中提供的魔術方法。 開始之前 在總結…

執行caffe的draw_net.py出現“GraphViz's executable dot not found”的解決方法

執行caffe的draw_net.py出現“GraphVizs executable "dot" not found”的解決方法 控制臺輸入如下指令畫網絡圖&#xff1a;python ../../../python/draw_net.py train.prototxt train.png --rankdirTB &#xff08;Top-Bottom形式&#xff0c;縱向圖&#xff09;pyt…

配置 --- vscode自定義代碼段Snippets

目標 在vscode中輸入vbs-vue 然后產生一個自己想要的模板 寫好模板 在線上寫好模板傳送門: https://snippet-generator.app/ 1是標題,對應 2是前綴.對應在vue中使用的快捷鍵 vbs-vue3就是需要顯示的代碼段了 在vscode中配置 1.ctrlshiftp2.選擇 Preferences: Configure U…

centos6安裝composer

需要使用到curl&#xff0c;沒有的話需要 yum -y install curl ###安裝一、下載&#xff1a;curl -sS https://getcomposer.org/installer | php &#xff08;如果是網絡原因多試幾次&#xff09; 二、移動composer.phar移動到環境下讓其變成可執行&#xff1a;mv compose…

透明圖與元素居中

1,定位讓元素居中 1. 透明度 opacity 默認值是1 不透明 0是全透明轉載于:https://www.cnblogs.com/Shinigami/p/9709382.html

配置 --- vscode中react格式化解決方案

選擇右下角的語言 在彈出框搜react選擇 JavaScript React(或者根據需求選擇 TypeScript React) 快捷鍵, windows下 Alt SHIFT F

【商城購物車】購物車邏輯

轉載于:https://www.cnblogs.com/xuzhengzong/p/8746677.html

PHP遞歸實現無限極分類

PHP遞歸實現無限極分類 摘要 今天在編碼的時候要用到二級的欄目分類&#xff0c;所以順便就把無限極分類給整理了一下&#xff0c;采用的是遞歸方法 //實現無限級分類public function getTree(){$categorys Category::all();return $this->makeTree($categorys, cate_id,…

IO NIO

1,Java NIO Java non-blocking IO 即 非阻塞IO,線程在等待的時候&#xff0c;可以做其他的事情。 2,IO 對比NIO IO 是面向流&#xff0c;NIO 是面向緩沖 面向流是指每次從流中讀出一個或者多個字節&#xff0c;直到全部讀出為止 面向緩沖區是指將數據先存到一個緩存區 IO 是阻…

react --- 生命周期 給子組件傳遞數據

子組件 /src/components/LifeCycle.js import React, { Component } from reactexport class LifeCycle extends Component {constructor(props) {super(props);// 常用于初始化狀態(狀態初始化、屬性初始化)console.log("1.組件構建函數執行");}componentWillMoun…

Vue---mock.js 使用

mockjs 概述 在我們的生產實際中&#xff0c;后端的接口往往是較晚才會出來&#xff0c;并且還要寫接口文檔&#xff0c;于是我們的前端的許多開發都要等到接口給我們才能進行&#xff0c;這樣對于我們前端來說顯得十分的被動&#xff0c;于是有沒有可以制造假數據來模擬后端接…

Java 的抽象類

Java 的抽象類 用abstract關鍵字來修飾一個類時&#xff0c;這個類叫做抽象類&#xff1b;用abstract來修飾一個方法時&#xff0c;該方法叫做抽象方法。 抽象方法&#xff1a;只有方法的聲明&#xff0c;沒有方法的實現。以分號結束&#xff1a;abstract int abstractMethod…

react --- 按需加載組件

問題描述 使用 antd庫時使用按鈕,須導入如下 import Button from antd/lib/button import antd/dist/antd.css這樣會導入全局的樣式. 解決方案,配置按需加載 1.安裝 react-app-rewired取代 react-scripts, 可以擴展webapack 的配置, 類似vue.config.jsnpm install react-ap…

flask 實現異步非阻塞----gevent

我們都知道&#xff0c;flask不支持異步非阻塞的請求&#xff0c;我們可以創建一個新項目去測試一下&#xff0c;推薦大家使用pycharm去開發我們的flask 使用特別的方便。 rom flask import Flask import time app Flask(__name__) app.route(/) def hello_world():time.slee…

Axure下拉框級聯操作

現實生活中有很多的下拉框是級聯操作的&#xff0c;即因為第一個下拉框的選擇&#xff0c;影響到后面的下拉框的選擇的列表的數據。或許在代碼中&#xff0c;這些操作相對比較簡單&#xff0c;通過前一個下拉框的選擇項來控制后一個下拉框的數據的動態添加。那么&#xff0c;如…

react --- render持續調用解決方案

問題描述: 在某個組件中.有可能頻繁的取數據(但是數據未改變,因此不需要更新).數據的頻繁請求會觸發render函數,造成性能消耗模擬代碼如下 export class CommentList extends Component {constructor(props) {super(props);this.state {comments: []}}// 模擬頻繁的獲取新數…