数学建模离散优化模型与算法设计知识课件.ppt

数学建模离散优化模型及算法设计;;例9.2 求图9.1中图G的最小生成树。;例9.3 (入树问题) 给出一个有向图G=（V，A），对A中的每一条孤e，给出一个权C（e），求A的一个具有最大权（或最小权）的子集B，要求B中任意两条孤都没有公共的终点。;;解：采用贪婪法，先取权最大的列e1，同时对A作高斯消去，逐次加入 线性无关的向量：;;我们不加证明地引入下面的定理，虽然其证明并不十分困难。 ;二、两分图匹配问题与增广路算法;例9.7显然是指派问题的实例，但它也可以看成是两分图赋权匹配问题的实例。;由于两分图最大权匹配问题等价于指派问题，所以它是一个P问题。对于这一P问题，我们是否也能象前面一样用贪婪法求解呢？如果用贪婪法求解例9.7，则有C嫁y（28头），去除C、y及相应边（一夫一妻）；再将B嫁x（5头），去除B、x及相应边；最后，A只能嫁Z（1头）。共得财礼34头牛。事实上，酋长的女儿只有六种嫁法（3！），比较所有方案，发现C嫁x、A嫁y、B嫁z最好（y几乎差不多同样喜欢C和A，而z则明显喜欢C而不太喜欢A），可得财礼57头牛。虽然后一算法不是多项式时间的，对待嫁者数量稍大的问题无法求得结果，但对本例，它至少表明用贪婪法没有求得最优解，因而两分图最大权匹配问题不是拟阵问题（或者讲不具有拟阵结构），从而，一般赋权图上的最大权匹配问题更不是拟阵问题。J.Edmonds将最大权匹配