English ⇄ Russian +

CoNP problem stresses
el.	полиномиальная для недетерминированной машины Тьюринга дополняющая задача о принятии решения, решаемая за полиномиальное время на недетерминированной машине Тьюринга дополняющая задача (о принятии решения); дополняющая NP-задача