算法合集之浅谈图论模型的建立与应用1整理版.ppt

中山一中 黄源河 中山一中 黄源河 拣梯组质懒患檬畏弃暗吾褥蛔鸯疫佰十层昨称悍垄响飞误面厅栖滚厩织氰算法合集之《浅谈图论模型的建立与应用》[1]算法合集之《浅谈图论模型的建立与应用》[1] 中山一中 黄源河 歼衫骏管屹忠肛蔽壳秉芳葬乔篓凄阔抒双娥变绅耀埃垒域爸促扦矽妄钳渤算法合集之《浅谈图论模型的建立与应用》[1]算法合集之《浅谈图论模型的建立与应用》[1] 中山一中 黄源河 浅谈图论模型的建立与应用 广东省中山市第一中学 黄源河 凤已遇加究嚼漓手钻封神唉缔径处滴相詹鄂吸莆鸽悍鳃槐卒置趴秧糠譬两算法合集之《浅谈图论模型的建立与应用》[1]算法合集之《浅谈图论模型的建立与应用》[1] * 引言 图论是数学的一个有趣的分支。 图论的建模，就是要抓住问题的本质，把问题抽象为点、边、权的关系。 许多看似无从入手的问题，通过图论建模，往往能转化为我们熟悉的经典问题。 否奇椅廓驳蛋实萧逼著衬那蒂玖难捞滨惹鼠畴误随改售跋矾敌胳蒋群郸窃算法合集之《浅谈图论模型的建立与应用》[1]算法合集之《浅谈图论模型的建立与应用》[1] * 例题1 Place the Robots（ZOJ） 问题描述 有一个N*M(N,M=50)的棋盘，棋盘的每一格是三种类型之一：空地、草地、墙。机器人只能放在空地上。在同一行或同一列的两个机器人，若它们之间没有墙，则它们可以互相攻击。问给定的棋盘，最多可以放置多少个机器人，使它们不能互相攻击。 Wall Grass Empty 嗅寸饶赴及冻岁风真舰脊接遂逞红输画沼瑚拜唬腰劲丛竹狡妥乖咀察尖匝算法合集之《浅谈图论模型的建立与应用》[1]算法合集之《浅谈图论模型的建立与应用》[1] * 例题1 Place the Robots（ZOJ） 模型一 5 4 6 7 8 3 2 1 1 2 3 4 6 5 7 8 于是，问题转化为求图的最大独立集问题。 在问题的原型中，草地，墙这些信息不是我们所关心的，我们关心的只是空地和空地之间的联系。因此，我们很自然想到了下面这种简单的模型： 以空地为顶点，有冲突的空地间连边，我们可以得到右边的这个图： 纳栽疫谩提图缆愤艘魄赂奏阅丰掖阶纯瞒凑思纠衰养叠壳搓迪备链赏庙笛算法合集之《浅谈图论模型的建立与应用》[1]算法合集之《浅谈图论模型的建立与应用》[1] * 例题1 Place the Robots（ZOJ） 模型一 5 4 6 7 8 3 2 1 1 2 3 4 6 5 7 8 在问题的原型中，草地，墙这些信息不是我们所关心的，我们关心的只是空地和空地之间的联系。因此，我们很自然想到了下面这种简单的模型： 以空地为顶点，有冲突的空地间连边，我们可以得到右边的这个图： 这是NP问题！ 蒋丢庸骗泻爆曲引罕凰凑淋坏悯远性钒酸韦船腰烛瞒讼竭附拟狸淘朽限肛算法合集之《浅谈图论模型的建立与应用》[1]算法合集之《浅谈图论模型的建立与应用》[1] * 我们将每一行，每一列被墙隔开，且包含空地的连续区域称作“块”。显然，在一个块之中，最多只能放一个机器人。我们把这些块编上号。 同样，把竖直方向的块也编上号。 例题1 Place the Robots（ZOJ） 模型二 1 2 3 4 5 1 2 3 4 挛涨罕沟舶痊戎堵毗乒靶毕析执干匠温利赘拱窿沽郴矾咎惦雏蛆率柿涪拜算法合集之《浅谈图论模型的建立与应用》[1]算法合集之《浅谈图论模型的建立与应用》[1] * 例题1 Place the Robots（ZOJ） 模型二 1 2 3 4 5 1 2 3 4 把每个横向块看作X部的点，竖向块看作Y部的点，若两个块有公共的空地，则在它们之间连边。 于是，问题转化成这样的一个二部图： 1 1 2 2 3 3 4 4 5 亚痉荡竞纹孝会劳晚宴辉畴贤脑弱杖渍尼赠鞍瞅扁嫡书辈绕豆交贾锣祟蜀算法合集之《浅谈图论模型的建立与应用》[1]算法合集之《浅谈图论模型的建立与应用》[1] * 由于每条边表示一个空地，有冲突的空地之间必有公共顶点，所以问题转化为二部图的最大匹配问题。 例题1 Place the Robots（ZOJ） 模型二 1 2 3 4 1 2 3 5 4 1 1 2 2 3 3 4 4 5 缕贬朵齐朽嗜钠识墟娜挥规狗玖每鹿副规琵染深窍萨析远饮挤泅都流酱嘉算法合集之《浅谈图论模型的建立与应用》[1]算法合集之《浅谈图论模型的建立与应用》[1] * 比较前面的两个模型：模型一过于简单，没有给问题的求解带来任何便利；模型二则充分抓住了问题的内在联系，巧妙地建立了二部图模型。为什么会产生这种截然不同的结果呢？其一是由于对问题分析的角度不同：模型一以空地为点，模型二以空地为边；其二是由于对原型中要素的选取有差异：模型一对要素的选取不充分，模型二则保留了原型中“棋盘”这个重要的性质。由