| complementary nondeterministic polynomial time problem | полиномиальная для недетерминированной машины Тьюринга дополняющая задача о принятии решения, решаемая за полиномиальное время на недетерминированной машине Тьюринга дополняющая задача (о принятии решения) |