Boolean satisfiability problem
ある問題がNP完全問題であるかは次のようにして証明されてきた。まず、スティーブン・クックによって充足可能性問題 がNP完全であることが証明された。それ以外の NP完全問題は