bn:03511484n
Noun Named Entity
Categories: Θεωρία υπολογισμού
EL
θεώρημα Κουκ-Λέβιν  cook-levin θεώρημα
EL
Στην θεωρία πολυπλοκότητας το θεώρημα Κουκ-Λέβιν, το οποίο επίσης είναι γνωστό ως θεώρημα του Κουκ, αναφέρει ότι το πρόβλημα ικανοποιησιμότητας Boolean είναι NP-πλήρες. Wikipedia
Definitions
Relations
Sources
EL
Στην θεωρία πολυπλοκότητας το θεώρημα Κουκ-Λέβιν, το οποίο επίσης είναι γνωστό ως θεώρημα του Κουκ, αναφέρει ότι το πρόβλημα ικανοποιησιμότητας Boolean είναι NP-πλήρες. Wikipedia