كتب مبرهنة كوك وليفين
اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.
# مبرهنة فيرما الأخيرة
# مبرهنة النهاية المركزية
# مبرهنة فيثاغورس
# المبرهنة الأساسية في الجبر
# المبرهنة الأساسية في الحسابيات
# المبرهنة الأساسية للتفاضل والتكامل
# مبرهنة طاليس
# مبرهنة كانتور
# مبرهنة بيكار ليندلوف
# مبرهنة ذو الحدين
# مبرهنة لامي
# مبرهنة آبل
# مبرهنة أبولونيوس
# مبرهنة أبي عبد الإله
# مبرهنة أبيري
# مبرهنة الاستعيان
# مبرهنة أساسية
# مبرهنة أوكيشيو
# مبرهنة أويلر
# مبرهنة إتش
عرض المزيد
المصدر: wikipedia.org
مبرهنة كوك وليفين (معلومة)
نص المبرهنة هو: SAT مشكل حدودي غير محدد كامل (NP-complete).
تنسب في الأغلب لكوك، حيث أن ليفين وجد نفس النتائج دون أن يكون على علم بنتائج كوك، ففي ذلك الوقت لم تكن هناك وسائل اتصال متطورة (ما بين 1971 و 1974).
