Revisi per 20 Mei 2012 06.15 sunting Veffendy (bicara \| kontrib) 20 suntingan kTidak ada ringkasan suntingan ← Revisi sebelumnya		Revisi per 20 Mei 2012 06.17 sunting balikkan Veffendy (bicara \| kontrib) 20 suntingan kTidak ada ringkasan suntingan Revisi selanjutnya →
Baris 1: {{Teorema Cook adalah suatu teori kompleksitas yang dicetuskan oleh Stephen Cook pada Tahun 1970 pada seminar nya, dengan judul "The Complexity of Theorem Prooving Procedures". Paper ini memperkenalkan teori NP-completeness yang hingga sekarang menjadi pusat dari teori ilmu komputer.~~\|date=2012}}~~ Teori NP-Completeness ini menyediakan suatu cara untuk mengkategorikan persoalan komputasi yang sulit dengan batas waktu, yaitu jumlah maksimal langkah -langkah yang diperlukan untuk menyelesaikan suatu masalah. Pada paper nya, Cook memaparkan fakta bahwa cukup banyak permasalahan yang sulit untuk diselesaikan namun mudah untuk diverifikasi kebenarannya pada kelas P (dalam waktu polinomial). [http://amturing.acm.org/award_winners/cook_n991950.cfm]

Teorema Cook: Perbedaan antara revisi