算法分析与设计d讲.docVIP

上次内容： (1)TSP问题近似性能比为2的近似算法。 (2)近似算法设计：TSP问题近似度为3/2近似算法。 (3)多任务排工近似度为2-1/m的近似算法。 (4)独立任务排工的多项式时间近似算法。 再解释绝对近似性能比： 我们设计了算法以后希望能找到一个界r,使得RA(I)(r。r显然比1.8不会小。比如说能找到r=2.5，使得RA(I)(2.5=r。 (*)如果算法A求解每个实例I都会有RA(I)2.5， (**)显然对于算法A，必有小于2.5的r1，使得RA(I) (r1。 两件事(*)和(**)都很难做到。 但是如果可以碰到这么一种情况： 能够找到r，使得RA(I) (r=2，又能举出一个实例I，满足RA(I)=r=2。 绝对近似性能比定义的原因即在于此。 渐进近似性能比也具有同样的含义。 回到另一面去看看 定理：若P(NP，则图的着色问题不存在的多项式时间近似算法。 已知图的3着色问题是NP-hard问题，两个图相乘是什么意思： G=G1*G2的做法 反证法，若图着色问题存在的近似算法，则存在K，当OPT(G)(K时，A(G)OPT(G) 设计图3着色判定问题算法如下：设3着色问题的实例为G=(V,E) (1)设G’为K点的完全图，构造G*=G*G’ (2)调用算法A得到着色数A(G*)。 分析： (3x)若G可以三着色(OPT(G*)(3K，A(G*)(4/3