Kelas kompleksitas penting lainnya termasuk BPP, ZPP dan RP, yang didefinisikan menggunakan mesin Turing probabilistik; AC dan NC, yang didefinisikan menggunakan sirkuit Boolean; dan BQP dan QMA, yang didefinisikan menggunakan mesin Turing kuantum. #P adalah kelas kompleksitas yang penting dalam penghitungan masalah (bukan masalah keputusan). Kelas-kelas seperti IP dan AM didefinisikan menggunakan sistem bukti Interaktif. ALL adalah kelas dari semua masalah keputusan.
IP dan AM paling sering ditentukan oleh jenis sistem bukti apa?
Interaktif
Interaktif
IP NNO
dan CCN
AM NNP
paling ADV
sering ADV
ditentukan VBP
oleh PPO
jenis NNO
sistem NNO
bukti NNO
apa PRI
? PUN