نظرية كوك-ليفين 🎲
النظرية التي تنص على أن مسألة قابلية الإرضاء البوليانية (SAT) هي مسألة NP كاملة.
Пока нет связанных полок. Скоро появятся.
🌐 English — Cook-Levin theorem
The theorem that the Boolean satisfiability problem (SAT) is NP-complete.
🌐 中文 — 库克-列文定理
布尔可满足性问题（SAT）是NP完全问题的定理。
🌐 العربية — نظرية كوك-ليفين
النظرية التي تنص على أن مسألة قابلية الإرضاء البوليانية (SAT) هي مسألة NP كاملة.
🌐 Español — Teorema de Cook-Levin
El teorema que establece que el problema de satisfacibilidad booleana (SAT) es NP-completo.
🌐 Français — Théorème de Cook-Levin
Le théorème selon lequel le problème de satisfaisabilité booléenne (SAT) est NP-complet.
🌐 de — Satz von Cook-Levin
Der Satz, dass das Boolesche Erfüllbarkeitsproblem (SAT) NP-vollständig ist.
🌐 pt — Teorema de Cook-Levin
O teorema que estabelece que o problema de satisfatibilidade booleana (SAT) é NP-completo.
🌐 tr — Cook-Levin teoremi
Boolean tatmin edilebilirlik probleminin (SAT) NP-tam olduğunu belirten teorem.
🌐 hi — कुक-लेविन प्रमेय
यह प्रमेय कि बूलियन संतुष्टि समस्या (SAT) NP-पूर्ण है।