库克-列文定理 🎲
布尔可满足性问题（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-पूर्ण है।
×
![]()