Kelas kompleksitas didefinisikan sebagai berikut (dari Wikipedia ):
Bahasa adalah dalam S P 2 jika ada predikat polinomial-waktu P sedemikian rupa
- Jika , maka ada y sedemikian rupa sehingga untuk semua z , P ( x , y , z ) = 1
- Jika , maka ada z sedemikian rupa sehingga untuk semua y , P ( x , y , z ) = 0
di mana ukuran dan z harus polinomial dengan ukuran x .
Lihat juga pos Fortnow dan kebun binatang kompleksitas untuk penjelasan dan diskusi yang lebih informal.
Meskipun kelas ini tampaknya wajar, saya tidak dapat menemukan contoh masalah yang ada di karena alasan yang tidak sepele (yaitu, bukan hanya karena NP atau MA atau beberapa kelas yang terkandung dalam S P 2 ). Adakah yang tahu masalah yang cocok dengan deskripsi ini?
Jika tidak ada yang bisa memikirkan masalah seperti itu, saya tidak akan keberatan dengan masalah yang ada di dalam sub-kelas dari , tetapi tidak mudah untuk menunjukkan ini, sedangkan masalahnya jelas di S P 2 .