Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
Cook-Levin theorem
English Wikipedia - The Free Encyclopedia
Download this dictionary
Cook–Levin theorem
In
computational complexity theory
, the
Cook–Levin theorem
, also known as
Cook's theorem
, states that the
Boolean satisfiability problem
is
NP-complete
. That is, any problem in
NP
can be
reduced
in polynomial time by a
deterministic Turing machine
to the problem of determining whether a Boolean formula is satisfiable.
See more at Wikipedia.org...
© This article uses material from
Wikipedia
®
and is licensed under the
GNU Free Documentation License
and under the
Creative Commons Attribution-ShareAlike License