1
Fork 0
mirror of https://github.com/Steffo99/appunti-magistrali.git synced 2024-11-22 10:44:17 +00:00
appunti-steffo/9 - Algoritmi distribuiti/1 - Problemi algoritmici/satisfability.md

5 lines
281 B
Markdown

---
aliases:
- SAT
---
[[8 - Crittografia applicata/1 - Concetti/1 - Trovare soluzioni crittografiche/problema]] particolare, dimostrato direttamente essere [[classe di problemi NP-completi|NP-complete]] con i teoremi [[teorema di Cook|di Cook]] e [[teorema di Levin|di Levin]].