Teorema Cook: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
←Membuat halaman berisi '== Teorema Cook == Teorema Cook-Levin atau dikenal juga dengan teorema Cook menyatakan bahwa : '''Problem satisfiabiity (SAT) adalah NP-complete''' Terdapat 2 cara d...' |
Tidak ada ringkasan suntingan |
||
Baris 1:
{{paragraf_pembuka|date=2012}}
Teorema Cook-Levin atau dikenal juga dengan teorema Cook menyatakan bahwa :
'''Problem satisfiabiity (SAT) adalah NP-complete'''
Baris 75:
</gallery>
* Karena A dapat direduksi menjadi problem SAT dengan input w, dan SAT adalah problem NP, maka terbukti bahwa '''SAT adalah NP-complete'''.
[[Kategori:Teorema]]
| |||