mula_61，那么我们有一个有效算法formula_62，它可以引用formula_61，最终它要解决formula_4问题。我们以点集覆盖问题（vertex cover）和独立集问题（independent set）为例来进行说明。这两个问题都是图论中的问题。假设给定了无向图formula_11，和一个自然数formula_66，点集覆盖问题是要找到formula_67的子集formula_68，使得对formula_69，有formula_70，使得formula_71，且formula_72；而