组合数及学(第9章9.3).pptxVIP

;为什么二分图？例题1 Place the Robots;例题1 Place the Robots;例题1 Place the Robots;;;由于每条边表示一个空地，有冲突的空地之间必有公共顶点，所以问题转化为二分图的最大匹配问题。;比较前面的两个模型：模型一过于简单，没有给问题的求解带来任何便利；模型二则充分抓住了问题的内在联系，巧妙地建立了二分图模型。为什么会产生这种截然不同的结果呢？其一是由于对问题分析的角度不同：模型一以空地为点，模型二以空地为边；其二是由于对原型中要素的选取有差异：模型一对要素的选取不充分，模型二则保留了原型中“棋盘”这个重要的性质。由此可见，对要素的选取，是图论建模中至关重要的一步。;二分图(Bipartite)的知识点-2;二分图(Bipartite)的知识点-3;互异代表系统;SDR例子;定理9.3.1：SDR的必要条件;问题背景：配对问题;二分图表示;定理9.3.2：SDR的充要条件;（反证）假设存在G的一个覆盖S，|S|n. S可分左、右顶点两个部分，即令S1=S?X, S2=S?Y, 那么，S1,S2是S的划分。因此， |S1|+|S2|n 因为|S|n，X?S=X?S1是非空集合，令|X?S1|=k=n-|S1|, X?S1={i1, i2,…, ik,}, 由于S是G的覆盖，不存在连接X?S1和Y?S2的顶点的边，因此;定理9.3.3 :集合存在SDR子集最大数;最大匹配;实例;关键点：配对问题与成婚条件;稳定婚姻问题;定义：若一个完备婚姻存在不稳定配对，称为该完备婚姻是不稳定的，否则称为稳定的完备婚姻。 问题：稳定的完备婚姻是否总是存在？;稳定婚姻的数学模型;优先秩评定矩阵;例子;延迟认可算法;例子;例子;例子;例子;例子;例子;例子;算法分析证明;算法证明：算法总能结束，得到一个完备婚姻。需证明：该完备婚姻是稳定的。 对该完备婚姻的任意两个配对： A?a 和B?b。若 A更偏爱b，在算法某轮中（设i轮），A必然被b拒绝，那么，存在C使得C?ib,且AbC, 令算法第k轮结束，那么B?kb, i?k，因此，根据上述讨论CbB，或 C=B. 因此， AbB，b更偏爱B而非A，该婚姻是稳定的。证明完成。 稳定的完备婚姻是否唯一？一般而言，不必唯一的。在延迟认可算法对调男女的角色，也可得到稳定的完备婚姻。;优先秩评定矩阵--例子（1）;优先秩评定矩阵--例子（1）;算法的优先讨论;最优稳定完备婚姻问题;对算法的轮数归纳证明。 1）在第1轮数结束时，一个女士A被男士a拒绝，那么有另一个女士B也选择a，且AaB，这时任何包含A?a配对的完备婚姻都是不稳定的，因为：a更偏爱B, 对任何其他男士b, B更偏爱a (因为第一轮选择a).结论成立。 2）假设在k?1轮结束时，没有女士被对她可行的男士拒绝。; 在k+1轮结束时，设女士A被a拒绝利于B，即a在该轮选择B订婚。根据归纳假设，在前k轮中拒绝过B的男士对B都是不可行的，因此，a是对B可行中最优的，即若B?b, 则bBa. 现假设存在稳定完备婚姻中A与a配对，而B与b配对，由上讨论，a更偏爱B而非A, 且B更偏爱a而非b，因此这是不稳定的，矛盾。即a对A不可行。 归纳法原理证明该算法产生对女士最优的稳定完备婚姻。;推论9.4.3 在女士最优的稳定婚姻中，每个男士与一位对他可行的女士中排序最低的女士作为配偶。 证明：设a与A是女士优先的稳定完备婚姻一个配对。由定理，对所有可行男士A更偏爱a. 假设另一个稳定完备婚姻中，a与女士B配对，需要证明：对a而言B的优先级不低于A，即Aa B。;(反证) 假设：对a而言B低于A，即a更偏爱A。设在a与B配对的稳定完备婚姻中，A的??偶是b, 但前A更偏爱a，且a更偏爱A。因此，这是一个不稳定配对，矛盾。 证明完成。 推论：若女士最优和男士最优的稳定完备婚姻是同一个婚姻配对，那么，存在唯一的稳定完备婚姻，反之亦然。 推论：若采用女士主动和男士主动的延迟认可算法得到同一稳定完备婚姻，则该评定秩矩阵存在唯一稳定完备婚姻。;例子;例子;小结;作业