Anglais ⇄ Russe +

non-deterministic polynomial timing contraintes
informat.	недетерминированное полиномиальное время (класс вычислительной сложности задач, который относится к тяжелейшим в вычислительном отношении Alex_Odeychuk)