离散数学及其应用第10章-特殊图模型与算法(下).ppt

v1 v2 v3 v4 v5 v7 v6 c1 C1={c1} C2={c2} C3={c3} C4={c1,c2,c4} C5={c2,c4,c5} C6={c2,c3,c4,c5,c6} C7={c2,c3,c4,c5,c6,c7} c2 （4）转到（2），直到所有顶点都着色为止 （2）标顶点vi (i=1,2,…,n)的颜色集Ci的第一种颜色ck c3 c1 c2 v1 v2 v3 v4 v5 v7 v6 c1 C1={c1} C2={c2} C3={c3} C4={c1,c2,c4} C5={c2,c4,c5} C6={c2,c3,c4,c5,c6} C7={c2,c3,c4,c5,c6,c7} c2 （3）对顶点vi的所有邻接点vj(ji)，作Cj= Cj-{ck}； c3 c1 c2 C6={c3,c4,c5,c6} v1 v2 v3 v4 v5 v7 v6 c1 C1={c1} C2={c2} C3={c3} C4={c1,c2,c4} C5={c2,c4,c5} C6={c3,c4,c5,c6} C7={c2,c3,c4,c5,c6,c7} c2 （4）转到（2），直到所有顶点都着色为止 （2）标顶点vi (i=1,2,…,n)的颜色集Ci的第一种颜色ck c3 c1 c2 c3 v1 v2 v3 v4 v5 v7 v6 c1 C1={c1} C2={c2} C3={c3} C4={c1,c2,c4} C5={c2,c4,c5} C6={c3,c4,c5,c6} C7={c2,c3,c4,c5,c6,c7} c2 （3）对顶点vi的所有邻接点vj(ji)，作Cj= Cj-{ck}； c3 c1 c2 C7={c2,c4,c5,c6,c7} c3 v1 v2 v3 v4 v5 v7 v6 c1 C1={c1} C2={c2} C3={c3} C4={c1,c2,c4} C5={c2,c4,c5} C6={c3,c4,c5,c6} C7={c2,c4,c5,c6,c7} c2 （4）转到（2），直到所有顶点都着色为止 （2）标顶点vi (i=1,2,…,n)的颜色集Ci的第一种颜色ck c3 c1 c2 c3 c2 【例】用韦尔奇?鲍威尔算法对图(a)所示连通无向图进行结点着色 例 题 * 本章学习内容 平面图与着色问题 3 网络流图及其优化问题 4 5 特殊图模型的应用 * 计算机应用技术研究所 * 网络流图及其优化问题 * 计算机应用技术研究所 * 网络流图及其优化问题 流网络与切割 最大流求解算法 * 流网络与切割 * 可行流 * 例题 * 几个概念 * 最大流问题 * 残留网络 * 例题 * 增广路径 * 切割 * 例题 * 最大流最小割定理 * 计算机应用技术研究所 * 网络流图及其优化问题 流网络与切割 最大流求解算法 * Ford-Fulkerson算法 Ford-Fulkerson算法是一种迭代算法，基本思路如下：首先，对所有结点u,v∈V令f(u,v)=0。然后，通过迭代的方式不断在残留网络中寻找一个增广路径来增加流值，直到残留网络中不包括增广路径为止。 * Ford-Fulkerson算法 * 算法基本过程 1）对网络G=?V,E?初始化，使f(e)=0，e∈E； 2）给源点s标号(-，∞)，其它结点均未标号； 3）依次选一个未标号的结点，根据其方向进行标号，若当前标号的结点为汇点t，转步骤4），否则转步骤6）； 4）选择一条标号过的增流路径进行增流； 5）转步骤2）； 6）这时得到的f就是最大可行流。 * 例题 【例】对于如图所示为初始网络G，其中边上的数字表示对应边的容量，下面介绍通过Ford-Fulkerson算法寻找其的最大可行流的具体实现过程 * 例题 * 例题 2）给源点s标号(-,∞)，其它结点均未标号。 * 例题 * 四色猜想 * 应用实例 【解】可用一个无向图模型表示上述问题，图的每个结点分别代表一种食物，如果两种食物不能放在一起，则在这两种食物之间画一条无向边。 * 应用实例 可通过对该图的结进行着色的方法实现对上述问题的求解。具体地说，就是对图中每个结点分别涂上或者标注一种颜色，并满足相邻的结点之间具有不同的颜色，将相同颜色结点所代表的食物放在同一个隔间，则所需要的最少颜色数目显然就是所求的冰箱隔间数目。 一种着色方案： * 结点着色 * 例 题 * 例 题 * 例 题 * 点色数的性质 * 布鲁克斯定理 * 例 题 * 例 题 * 边着色 * 维津定理 * 例 题 * 例 题 * 例 题 * 例 题 【解】（1）该问题可用如图所示二分图G的边着色方法求解。一节课的时段对应边的一个着色组。由于G是二