Perangkat yang dapat menggunakan seperangkat aturan dan input untuk menentukan hasil, meskipun perangkat tersebut hipotetis disebut sebagai apa? Berdasarkan pertanyaan sebelumnya, tulislah konteks yang berisi jawabannya. Bisa 1 - 20 kalimat. Konteks:
Kelas kompleksitas P sering dilihat sebagai abstraksi matematika yang memodelkan tugas komputasi yang mengakui algoritma yang efisien. Hipotesis ini disebut tesis Cobham-Edmonds. Kelas kompleksitas NP, di sisi lain, berisi banyak masalah yang orang ingin memecahkan secara efisien, tetapi untuk yang tidak ada algoritma yang efisien diketahui, seperti masalah Boolean satisfiability, masalah jalur Hamiltonian dan masalah penutup vertex. Karena mesin Turing deterministik adalah mesin Turing khusus non-deterministik, mudah diamati bahwa setiap masalah dalam P juga merupakan anggota dari kelas NP.