计算理论17复杂理论高级专题.pptVIP

Chap 10 复杂性理论中的高级专题 本章提纲 10.1 近似算法、 10.2 概率算法 10.3 交错式 10.4 交互证明， 10.5 并行计算 10.6 密码学 近似算法 在最优化问题中，通常试图在可行解中寻找最好的解，即最优解。 在实践中，可能并不一定非要最优解不可，一个接近最优的解可能是足够好的，而且可能更容易找到。 近似算法是为了求近似最优解而设计的。 顶点覆盖问题 若G是无向图，则G的顶点覆盖是节点的一个子集，使得G的每条边都与子集中的节点之一相关联。 最小顶点覆盖的一个近似算法 下述多项式时间算法近似地解这个最优化问题，它给出一个顶点覆盖，其大小不超过最小顶点覆盖的大小的2倍。 A＝ “对于输入G，这里G是一个无向图： 重复下述操作直至G中所有的边都与有标记的边相邻。 在G中找一条不与任何有标记的边相邻的边。 给这条边作标记。 输出所有有标记边的顶点。 ” 定理1０.1 定理11.1：A是一个多项式时间算法，它给出G的一个顶点覆盖，其大小不超过最小顶点覆盖的大小的2倍。 证明思路: A的运行时间显然是多项式界限的。 设X是它输出的顶点集合，H是有标记的边的集合。因为G的每一条边要么属于H，要么与H中的一条边相邻，因此X与G的所有边关联，因此X是一个顶点覆盖。 证明X的大小不超过最小顶点覆盖Y的大小的2倍。 X的大小是