算法设计

五个基本问题
独立集：在图G=(V,E)中，如果顶点集合属边于V中的任意两点都没有边，则称s是独立的。包装问题，装入尽可能多的点
顶点覆盖: 若果每一条边至少有一个端点在S中，则称S是一个定点覆盖。用更小的点，覆盖所有的边。
独立集<=p定点覆盖，反之亦然。