Olarak karmaşıklık teorisi , UP (de İngilizce : u nambigous belirli olmayan bir p olynomial zaman ) olan karmaşıklığı sınıfı arasında karar problemlerinin bir karar açık Turing makinası (en az bir yürütme, belirli bir girdi için kabul makine belirli olmayan Turing). Bu sınıf 1976'da Valiant tarafından tanımlandı.