انتقل إلى المحتوى

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

من ويكيبيديا، الموسوعة الحرة

في علم التعقيد الحسابي القسم UP هو قسم كل المسائل التي يمكن تقريرها بوقت كثير الحدود على آلة تيورنج ليست حتمية بحيث أنَّه يوجد على الأكثر مسار حساب واحد اجابته «نعم». هذا القسم يحوي 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) بحيث انه لا يوجد مسائل كاملة.[1][2]

مصادر

[عدل]
  1. ^ Hartmanis J., L. Hemachandra ,Complexity classes without machines: On complete languages for UP , Theoret. Comput. Sci. 58(1988) 129-142.
  2. ^ 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.

انظر أيضا

[عدل]