算法设计学习笔记（一）

一、 稳定匹配问题

1）问题

完美匹配问题：有n个男人和n个女人，现要求将男女两两配对得到一个完美匹配，且这个匹配中没有不稳定配对。

2）设计算法

G-S算法：

初始化 S to empty matching
While 男人 m 是自由的且没对每个女人都求过婚
       选择这个m
       w 是 m 优先表中的最高位，且没有向她求过婚的女人
       if  w 是自由的
       		（m，w）
       else  w 当前与 m＇约会
       		if w 更偏爱 m＇而不是 m
       			保持自由
       		else  w 更偏爱 m 而不是 m＇
              		（m，w）
              		m＇自由
              	endif
       endif
endwhile
输出S

3）分析算法

以上述算法为例，则：

命题1.1 w从接受对她的第一次求婚开始保持约会状态，且她正在约会的一系列伴侣（依照她的优先表）变得越来越好。

命题1.2