يرجى إضافة وصلات داخلية للمقالات المتعلّقة بموضوع المقالة.
يفتقر محتوى هذه المقالة إلى مصادر موثوقة.

أو آي تي

من أرابيكا، الموسوعة الحرة
اذهب إلى التنقل اذهب إلى البحث
مسألة NP كاملة
زمرة كبرى
مسار هاملتونياني
عدل

OIT - مسألتان مشتقتان من المسألة العامة لقابلية الارتضاء.

بالضبط واحد من ثلاثة

يعرف اختصارا بOIT وهو عبارة عن صيغة منطقية، تشبه في تكوينها وصيغتها 3SAT والسؤال هو: هل يوجد تعيين قيم للمتغيرات بحيث في كل قوس يكون بالضبط متغير واحد ذو قيمة موجبة؟

الاختصار

يحول (abc) من 3-سات لصيغة من OIT بإضافة خمس متغيرات جديدة للحصول على صيغة OIT :(auv)(¬buw)(vwt)(¬cvx).

بالضبط واحد من ثلاثة رتيبة

هو عبارة عن مسألة تشبه المسألة أعلاه، الفرق الوحيد هو كون المتغيرات تظهر موجبة أي لا نجد في الصيغة متغيرا ونفي المتغير.

مراجع