Masalah keputusan adalah salah satu objek utama studi dalam teori kompleksitas komputasi. Masalah keputusan adalah jenis khusus masalah komputasi yang jawabannya adalah ya atau tidak, atau bergantian 1 atau 0. Masalah keputusan dapat dilihat sebagai bahasa formal, di mana anggota bahasa adalah contoh yang keluarannya adalah ya, dan yang bukan anggota adalah contoh-contoh yang outputnya tidak. Tujuannya adalah untuk memutuskan, dengan bantuan algoritma, apakah string input yang diberikan adalah anggota dari bahasa formal yang sedang dipertimbangkan. Jika algoritme yang memutuskan masalah ini mengembalikan jawaban ya, algoritme tersebut dikatakan menerima string input, jika tidak maka dikatakan menolak input.
Apa dua jawaban kata sederhana untuk masalah keputusan?
ya atau tidak
ya atau tidak
Apa PRI
dua NUM
jawaban NNO
kata NNO
sederhana ADJ
untuk PPO
masalah NNO
keputusan NNO
? PUN