Banyak yang percaya bahwa . Namun kita hanya tahu bahwa B P P berada pada tingkat kedua hierarki polinomial, yaitu B P P ⊆ Σ P 2 ∩ Π P 2 . Langkah menuju menunjukkan B P P = P adalah untuk pertama membawanya ke tingkat pertama dari hirarki polinomial, yaitu B P P ⊆ N P .
Penahanannya akan berarti bahwa nondeterminisme setidaknya sekuat keacakan untuk waktu polinomial.
Ini juga berarti bahwa jika untuk suatu masalah kita dapat menemukan jawaban menggunakan algoritma acak yang efisien (waktu polinomial) maka kita dapat memverifikasi jawaban secara efisien (dalam waktu polinomial).
Adakah konsekuensi menarik yang diketahui untuk ?
Apakah ada alasan untuk percaya bahwa membuktikan di luar jangkauan sekarang (misalnya hambatan atau argumen lain)?