Kecuali ada kemajuan dalam derandomisasi, bagi saya seolah-olah persyaratan bahwa Mesin Las Vegas tidak membuat kesalahan adalah penting, sehingga ada sedikit atau tidak ada manfaat untuk memiliki keacakan sama sekali dalam kasus ini.
Untuk bahasa BPP diputuskan oleh algoritma A yang cocok , yang bekerja pada input x ∈ { 0 , 1 } n dan string acak r ∈ { 0 , 1 } N ( n ) mewakili pilihan acaknya, kriteria zero-error menyiratkan kriteria bahwa mesin Las Vegas harus memastikan dengan pasti mana dari kedua kasus Pr r ( A menerima ( x , r ) ) ⩾ 2LAx∈{0,1}nr∈{0,1}N(n) tahan. Jika kita tidak diberi informasi lebih lanjut tentangA, maka ini pada dasarnya adalah masalah janji oracle: diberi oracleA′komputasiA′(r)=A(x,r), dan diberi janji bahwaA′menghasilkan satu outputa∈{0,1}untuk setidaknya dua kali lebih banyak input dibandingkan dengan output1-a, tentukan output mana yang lebih umum.
Prr(A accepts (x,r))⩾23orPrr(A accepts (x,r))⩽13
AA′A′(r)=A(x,r)A′a∈{0,1}1−a
Meskipun Mesin Las Vegas dapat menggunakan teknik acak, jika kita memang dipaksa untuk memperlakukan sebagai ramalan, kita dapat melihat bahwa satu-satunya strategi yang tersedia untuk mesin Las Vegas adalah dengan mengambil survei yang relatif menyeluruh (meskipun tidak lengkap) dari string acak r , untuk melihat jawaban apa yang diberikan untuk masing-masing. Ini hanya dapat memastikan jika ia menemukan lebih dari 2 N ( n )A′r string berbeda r yang semuanya menghasilkan output yang sama; jika tidak, dengan probabilitas kecil (tetapi tidak nol!), mungkin tidak beruntung dan mendapatkan sampel yang tidak representatif dari kemungkinan keluaran. Untuk mendapatkan kesalahan nol, sampel minimal harus 2 N ( n )2N(n)/3r input r .2N(n)/3r
Karena mesin Las Vegas harus memeriksa setidaknya sebagian kecil konstan semua kemungkinan string acak , asimtotik kita tidak lebih baik daripada jika kita deterministik menguji semua kemungkinan string acak. Kami tidak mendapatkan keuntungan asimtotik dalam mensimulasikan algoritma BPP secara acak dalam pengaturan zero-error, di luar apa yang dapat kita lakukan secara deterministik dengan brute-force.r
Perhatikan bahwa argumen yang sama ini menimbulkan pemisahan oracle antara BPP dan ZPP , yaitu ada oracle sehingga Z P P A ⫋ B P P A
karena ZPP algoritma membutuhkan waktu eksponensial, sementara BPP algoritma dapat memecahkan pertanyaan tentang oracle dalam satu permintaan dan berhasil dengan kesalahan yang dibatasi. Namun, itu tidak memberi tahu Anda lebih dari apa yang Anda duga sebelumnya (bahwa overhead simulasi mungkin lebih buruk daripada polinomial) atau bahwa asimptotik sama buruknya dengan simulasi deterministik naif.A
ZPPA⫋BPPA