தீர்மானிக்கும் ட்யூரிங் இயந்திரங்கள்
தீர்மானிக்கும் ட்யூரிங் இயந்திரங்கள் விசேஷமான வரையறுக்கப்படாத ட்யூரிங் இயந்திரங்களாக இருப்பதால், P இல் உள்ள ஒவ்வொரு சிக்கலும் NP வகுப்பில் உறுப்பினராக இருப்பதும் எளிதில் கவனிக்கப்படுகிறது.
எந்த தத்துவார்த்த இயந்திரத்தில், NP வகுப்பில் P உறுப்பினராவதில் ஒரு சிக்கல் இருப்பதாக உறுதிப்படுத்தப்பட்டுள்ளது?