يو بي (تعقيد حسابي)

في علم التعقيد الحسابي القسم  هو قسم كل المسائل التي يمكن تقريرها بوقت كثير الحدود على آلة تيورنج ليست حتمية بحيث أنَّه يوجد على الأكثر مسار حساب واحد اجابته «نعم». هذا القسم يحوي P ويحتويه القسم NP .

 تعريف 
 آلة تيورنج جَلِيَّة (Unambiguous turing machine) هي آلة تيورنج ليست حتمية (nondetreminstic turing machine) بحيث انه لكل مُدخل يوجد مسار حساب واحد على الأكثر الذي يقبل المُدخل. و- UP هي مجموعة المسائل التي يمكن تقريرها بواسطة آلة تيورنج جلية.
 مسألة L تابعة ل-UP إذا يوجد آلة تيورنج حتمية وقتها كثير الحدود M وعدد ثابت c بحيث أنَّ:
 x تابع للمسألة إذا يوجد تصديق وحيد (y (unique certificate عندما (y|=O(|x|c| بحيث يتحقق M(x,y)=1 .
 x ليس تابعا للمسألة إذا لا يوجد تصديق وحيد y عندما (y|=O(|x|c| بحيث يتحقق M(x,y)=1 .
 امثلة 
هناك عدة مسائل غير معلوم إذا ما هي في P وهي موجودة في UP أحد الامثلة المهمة هي مسألة اللوغاريتم المتقطع (discrete log) وهي المسألة التالية:

مُدخل: عدد أولي p , جذر أولي a mod p وعدد صحيح b بحيث ان  , وعدد 

مُخرج: هل يوجد عدد L بحيث  بحيث 

امثلة أخرى من ضمنها تحليل لعوامل...

 كربتوغرافي 
لعل وجود مسائل في  له اهمية عظمى في علم التشفير الحديث، حيث أنَّ وجود دوال وحيدة الاتجاه يعتمد بشدة على الفرضية  , وتعتبر مسألة اللوغاريتم المتقطع أحد أهم المسائل التي يُفترض انها وحيدة الاتجاه، ولكن لا أحد برهن ان المسألة كذلك ولكن علم التشفير الحديث يعتمد بشدة على هذه الفرضية وحاليا تُعد المسألة صعبة لانه لم يتم ايجاد خوارزمية سريعة لحل المسالة. برهنة وجود دوال وحيدة الاتجاه يعني هذا بالضرورة أنَّ  , لقد بُرهن أن دوال وحيدة الاتجاه موجودة إذا وفقط إذا  .

 مسائل كاملة 
لا يُعرف إذا ما يوجد مسائل كاملة ل- UP , ولعله لا يوجد مسائل كهذه لانه يوجد اوراكل (موحي أو oracle) بحيث انه لا يوجد مسائل كاملة.Hartmanis J., L. Hemachandra ,Complexity classes without machines: On complete languages for UP , Theoret. Comput. Sci. 58(1988) 129-142.Hemachandra ,L.A., Structure of complixety classes : seperation,collapse,and completeness,in:Mathematical Foundation of computer science,lecture notes in computer science,Vol. 324 (Springer ,Berlin,1988) 59-73.
 مصادر 

 انظر أيضا 
 قسم تعقيد
 نظرية التعقيد الحسابي.
 مسألة P=NP
 خوارزمية

تصنيف:أقسام التعقيد الحسابي
تصنيف:علم الحاسوب النظري