问题精炼,形式化,引出G-S算法。
命题1: 被动方的状态会越来越好
命题2:主动方的状态会也来越差
定理1.3:复杂度o(n^2)
很容易理解
定理1.4:不存在主动方自由被动方同时都锁定状态
定理1.5:终止时返回集合S是完美匹配
定理1.6:G-S算法一次执行,返回集合S是稳定匹配
定理1.7:G-S算法每次执行都得到最佳匹配?
定理1.8:稳定(最佳)匹配中每个被动者与最差的有效主动者配对?
证明不懂
所以
如果男人求婚,女人注定不幸~~