Kelas kompleksitas terdiri dari masalah-masalah yang dapat diputuskan oleh mesin Turing waktu polinomial nondeterministic yang memiliki paling banyak satu yang menerima jalur komputasi. Artinya, solusinya, jika ada, unik dalam pengertian ini. Diperkirakan sangat tidak mungkin bahwa semua masalah ada di , karena oleh Teorema Valiant-Vazirani ini akan menyiratkan keruntuhan .
Di sisi lain, tidak ada dikenal sebagai -complete, yang menunjukkan bahwa persyaratan solusi unik masih membuat mereka lebih mudah.
Saya mencari contoh, di mana asumsi keunikan mengarah ke algoritma yang lebih cepat.
Sebagai contoh, dengan melihat masalah grafik, dapatkah klik maksimum dalam grafik ditemukan lebih cepat (walaupun mungkin masih dalam waktu eksponensial), jika kita tahu bahwa grafik tersebut memiliki klik maksimum yang unik ? Bagaimana dengan colorability yang unik, jalur Hamilton yang unik, set dominasi minimum yang unik, dll.?
Secara umum, kita dapat mendefinisikan versi solusi-unik dari setiap masalah -complete, menskalakannya ke . Apakah diketahui ada di antara mereka yang menambahkan asumsi keunikan mengarah ke algoritma yang lebih cepat? (Mengizinkan itu masih tetap eksponensial.)