A problem is complete for a complexity class if every problem in the class reduces to that problem, and it is also in the class itself.
С помощью такой связи могут быть доказаны вычислимость задачи или ее принадлежность тому или иному классу сложности.