里面的一员，则这个问题就是对这个复杂度类完备的(在给定的归约条件之下)。一个问题如果对复杂度类C是完备的话，我们会说这个问题是C-完备或者C完全(C-complete)的问题，至于这一些对C是完备问题的集合我们也称为C-完备。 第一个且是最有名的是NP完全：一个包含许多实际但是不容易的题目。相同的，我们习惯用C难(C-hard)这种用词称唿包含所有C难(C-hard)的问题，例如说，NP难。正常来说我们都假设归约过程在计算复杂度上面不会比起问题本身要难。因此之故，如果我们对一个"C-完备"问题有"计