中科大算法第二章近似算法--黄刘生(调整后适合打印版).pptVIP

Claim:若G无HC，则因为H是完全图，存在HC。H的最小HC至少有一条边不是E的，其长为kn 如何证明一个问题的绝对近似算法是不存在的？否定结果可避免做无用功！ 注意：我们假定近似算法是多项式时间的 如何证明一个问题的绝对近似算法是不存在的？ 注意：I、f(σ)和OPT(I)等均为整数 这里的例子说明在纯组合问题上，依然可用扩放性质 顶点集C被称为无向图 G=(V,E) 的团，如果C是顶点集V的子集(C?V)，而且任意两个C中的顶点都有边连接。另一种等价的说法是，由C诱导的子图是完全图 （有时也用“团”来指这样的子图）。 极大团是指增加任一顶点都不再符合团定义的团，也就是说，极大团不能被任何一个更大的团所包含。 最大团是一个图中顶点数最多的团。图G的团数（clique number）ω(G) 是指G中最大团的顶点数。图G的边团覆盖数（edge clique cover number）是指覆盖G中所有的边所需要的最少的团的数目。图G的二分维数（bipartite dimension）是指覆盖G中所有边所需要的最少的二分团的数目，其中二分团（biclique）就是完全二分子图 。而分团覆盖问题 （Clique cover problem）所关心的是用最少的团去覆盖G中所有的顶点。 独立集（independent set）是刚好和团相反的概念，因为图G中的团和图G的补图中的独立集是一一对应的。 Claim直接给出了最优解之间的scaling性质：OPT(GK+1)=(k+1)OPT(G) 若RA(I) ≤（1+?），则称A是(1+?)－近似算法，1-近似算法产生最优解 注意：绝对性能比与具体实例I无关 RA=inf{r≥1:对于所有的实例I，RA(I) ≤r} RLPT是绝对性能比。即A(I)/OPT(I) ≤4/3-1/3m 证明留为作业 渐近性能比=inf{r≥1：存在n?Z+，对所有满足OPT(I) ≥n的实例I，RA(I) ≤r} 亦可定义为：渐近性能比=inf{r≥1：存在n?Z+，对所有满足I≥n的实例I，RA(I) ≤r} 连通的无向图G有欧拉路径的充要条件是：G中奇顶点（连接的边数量为奇数的顶点）的数目等于0或者2， 奇数点是起点和终点。 连通的无向图G是欧拉环（存在欧拉回路）的充要条件是：G中每个顶点的度都是偶数 连通的无向图G有欧拉路径的充要条件是：G中奇顶点（连接的边数量为奇数的顶点）的数目等于0或者2， 奇数点是起点和终点。 连通的无向图G是欧拉环（存在欧拉回路）的充要条件是：G中每个顶点的度都是偶数 连通的无向图G有欧拉路径的充要条件是：G中奇顶点（连接的边数量为奇数的顶点）的数目等于0或者2， 奇数点是起点和终点。 连通的无向图G是欧拉环（存在欧拉回路）的充要条件是：G中每个顶点的度都是偶数 连通的无向图G有欧拉路径的充要条件是：G中奇顶点（连接的边数量为奇数的顶点）的数目等于0或者2， 奇数点是起点和终点。 连通的无向图G是欧拉环（存在欧拉回路）的充要条件是：G中每个顶点的度都是偶数 连通的无向图G有欧拉路径的充要条件是：G中奇顶点（连接的边数量为奇数的顶点）的数目等于0或者2， 奇数点是起点和终点。 连通的无向图G是欧拉环（存在欧拉回路）的充要条件是：G中每个顶点的度都是偶数 * § 1.3.4 相对近似之否定结果 Th.1.16 若P≠NP，则RMIN(TSP)=∞ Pf：假定有一算法A对某常数k满足： 基本思想：使用A构造一个多项式时间的算法解决HC问题，因为HC是NPC的，若P≠NP，则矛盾！ 假定G(V,E)是无向无权图，可为TSP构造实例I： 设H是V上的完全图，H中来自于E的边长度置为1，其余边长置为kn，n=|V|。 Claim：若G有HC则OPT(I)=n；否则OPT(I)≥(k+1)n-1 将I作为A的输入实例。若G有HC，则A(I)≤kOPT(I)=kn；否则，A(I)≥OPT(I)≥(k+1)n-1。 因此，可通过A找到的解之值来判定G中是否存在HC。即：将HC问题多项式时间归约到A，与HC是NPC矛盾！ * § 1.3.4 相对近似之否定结果 绝对近似之否定：很多问题找不到绝对近似算法 相对近似之否定：有些问题的有界性能比近似算法不存在 假定OPT(I)0 两类近似算法之间的近似性能（相对误差）：A是一个f(n)-近似算法当且仅当对每个size为n的输入实例I，有： BP的一个近似算法A满足：|A(I)-OPT(I)|≤O( lg2OPT(I) ) 蕴含着渐近性能比为1。 * § 1.4 其他 近似方案(Approximation Scheme) 一个优化问题Π的近似方案是一个算法A，它以实例I和误差界ε作为输入，且有性能保证: