https://3rabica.org/index.php?action=history&feed=atom&title=%D8%A3%D9%88_%D8%A2%D9%8A_%D8%AA%D9%8A 2026-06-07T20:17:58Z تاريخ التعديل لهذه الصفحة في الويكي MediaWiki 1.43.7 https://3rabica.org/index.php?title=%D8%A3%D9%88_%D8%A2%D9%8A_%D8%AA%D9%8A&diff=1310865&oldid=prev 2022-12-27T21:51:17Z

<p>بوت: إصلاح أخطاء فحص أرابيكا من 1 إلى 104</p> <p><b>صفحة جديدة</b></p><div>{{لا مصدر|تاريخ=فبراير 2016}}<br /> {{وصلات قليلة|تاريخ=مارس 2015}}<br /> {{مسألة NP كاملة}}<br /> <br /> &#039;&#039;&#039;OIT&#039;&#039;&#039; - مسألتان مشتقتان من المسألة العامة لقابلية الارتضاء.<br /> <br /> == بالضبط واحد من ثلاثة ==<br /> يعرف اختصارا بOIT وهو عبارة عن صيغة منطقية، تشبه في تكوينها وصيغتها 3SAT والسؤال هو: هل يوجد تعيين قيم للمتغيرات بحيث في كل قوس يكون بالضبط متغير واحد ذو قيمة موجبة؟<br /> == الاختصار ==<br /> يحول &lt;math&gt;(a\lor b\lor c)&lt;/math&gt; من [[3-سات]] لصيغة من OIT بإضافة خمس متغيرات جديدة للحصول على صيغة OIT :&lt;math&gt;(a\lor u\lor v)\wedge(\lnot b\lor u\lor w)\wedge(v\lor w\lor t)\wedge(\lnot c\lor v \lor x)&lt;/math&gt;.<br /> == بالضبط واحد من ثلاثة رتيبة ==<br /> هو عبارة عن مسألة تشبه المسألة أعلاه، الفرق الوحيد هو كون المتغيرات تظهر موجبة أي لا نجد في الصيغة متغيرا ونفي المتغير.<br /> <br /> == مراجع ==<br /> {{مراجع}}<br /> <br /> {{شريط بوابات|رياضيات|منطق}}<br /> <br /> {{بذرة رياضيات}}<br /> <br /> [[تصنيف:أتمتة التصميم الإلكتروني]]<br /> [[تصنيف:جبر منطقي]]<br /> [[تصنيف:طرق شكلية]]<br /> [[تصنيف:مسائل كثيرة حدود غير قطعية كاملة]]<br /> [[تصنيف:نظرية التعقيد]]</div>

عبد العزيز