TitleofPresentationSecondLineofTitle.pptVIP

Claim:若G无HC，则因为H是完全图，存在HC。H的最小HC至少有一条边不是E的，其长为kn A(I)≤kOPT(I)//由假设 注意：FPAS要求近似算法A的时间是关于size[I]和1/ε的多项式阶，但是PAS对于后者没有要求 正则图是每个顶点都有相同数目的邻居的图，即每个顶点的度相同。若每个顶点的度均为 ，称为 -正则图。 如何证明一个问题的绝对近似算法是不存在的？否定结果可避免做无用功！ 注意：我们均默认近似算法是多项式时间的 如何证明一个问题的绝对近似算法是不存在的？ 注意：f(σ)和OPT(I)等均为表示利润的整数, f(σ)= OPT(I) 意味着近似算法A找到了最优解，也就是背包问题多项式时间可解。 这里的例子说明在纯组合问题上，依然可用扩放性质 顶点集C被称为无向图 G=(V,E) 的团，如果C是顶点集V的子集(C?V)，而且任意两个C中的顶点都有边连接。另一种等价的说法是，由C诱导的子图是完全图 （有时也用“团”来指这样的子图）。 极大团是指增加任一顶点都不再符合团定义的团，也就是说，极大团不能被任何一个更大的团所包含。 最大团是一个图中顶点数最多的团。图G的团数（clique number）ω(G) 是指G中最大团的顶点数。图G的边团覆盖数（edge clique cover number）是指覆盖G中所有的边所需要的最少的团的数目。图G的二分维数（bip