算法分析与设计-2016-第8讲解析.ppt

(2)什么是三角化图：任意4及以上的多边形中至少有一条弦。 首先举个例子： 说明什么是完美顶点删除方案。 我所见过的应用，完美进化树。 (2)什么是三角化图：任意4及以上的多边形中都有一条弦。 首先举个例子： 说明什么是完美顶点删除方案。 我所见过的应用，完美进化树。 (2)什么是三角化图：任意4及以上的多边形中都有一条弦。 首先举个例子： 说明什么是完美顶点删除方案。 我所见过的应用，完美进化树。 (2)什么是三角化图：任意4及以上的多边形中都有一条弦。 首先举个例子： 说明什么是完美顶点删除方案。 我所见过的应用，完美进化树。 (2)什么是三角化图：任意4及以上的多边形中都有一条弦。 首先举个例子： 说明什么是完美顶点删除方案。 我所见过的应用，完美进化树。 (2)什么是三角化图：任意4及以上的多边形中都有一条弦。 首先举个例子： 说明什么是完美顶点删除方案。 我所见过的应用，完美进化树。 (2)什么是三角化图：任意4及以上的多边形中都有一条弦。 首先举个例子： 说明什么是完美顶点删除方案。 我所见过的应用，完美进化树。 单纯顶点：与v相邻的点在图中是完全子图， 任意u1,u2?Adj(v)，(u1,u2)?E，则v是单纯顶点。 完美顶点删除方案：存在一个顶点序列v1,v2,…,vn， 使vk在G(vk,vk+1,…,vn)中是单纯顶点， 则顶点序列称为完美顶点删除方案。 k = 1, 2, …, n-1，G(vk,vk+1,…,vn)为由vk, vk+1, …, vn导出的子图。 三角化图的定义：四边及四边以上的多边形总有一条弦。 若图G存在完美顶点删除方案，则G是三角化图。 以下就用这个判断。 1 2 3 4 5 6 1，5，2，3，4，6，7，8，9 结论： (1)可以多项式时间判断三角化图。 (2)在三角化图上，团问题，着色问题， 独立集问题，团划分问题都可多项式时间解决。 5.2.2用字典序广度优先搜索判断三角化图 Tarjan的算法,最有名的工作是判断平面图, 例子说明：判断三角化图很显然是多项式时间可解的。 只需要连续找一个单纯顶点再删除即可。 首先确定一个顶点序列，再判断这个序列是否为完美顶点删除方案。 Tarjan的方法：O(V+E)，普通的方法O(V3) adj(a)={b, e} adj(b)={a, c, d, e} adj(c)={b, d} adj(d)={b, c, e} adj(e)={a, b, d} i V a b c d e 0 Label ? ? ? ? ? Number -5 - - - - 1 Label ? {5} ? ? {5} Number 5 - - - - 2 Label ? {5} {4} {4} {5,4} Number 5 -4 - - - 3 Label ? {5} {4} {4,3} {5,4} Number 5 4 - - -3 4 Label ? {5} {4,2} {4,3} {5,4} Number 5 4 - -2 3 5 label ? {5} {4,2} {4,3} {5,4} Number 5 4 -1 2 3 任意选择一个顶点作为最后被删除的顶点 i V a b c d e 0 Label ? ? ? ? ? Number -5 - - - - 1 Label ? {5} ? ? {5} Number 5 - - - - 2 Label ? {5} {4} {4} {5,4} Number 5 -4 - - - 3 Label ? {5} {4} {4,3} {5,4} Number 5 4 - - -3 4 Label ? {5} {4,2} {4,3} {5,4} Number 5 4 - -2 3 5 label ? {5} {4,2} {4,3} {5,4} Number 5 4 1 2 3 任意选择一个顶点作为最后被删除的顶点 i V a b c d e 0 Label ? ? ? ? ? Number -5 - - - - 1 Label ? {5} ? ? {5} Number 5 - - - - 2 Label ? {5} {4} {4} {5,4} Number 5 -4 - - - 3 Label ? {5} {4} {4,3} {5,4} Number 5 4 - - -3 4 Label ? {5} {4,2} {4,3} {5,4} Number 5 4 - -2 3 5 label ? {5} {4,2} {4,3} {5,4} Number 5 4 1 2 3 任意选择一个顶点作为最后被删除的顶点 i V a b c d e 0 Label ? ? ? ? ? Numbe