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.mzph.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: []}}// 模拟频繁的获取新数…