Pertanyaan yang diberi tag «derandomization»

Setiap algoritma acak dapat disimulasikan oleh algoritma deterministik, dengan mengorbankan peningkatan eksponensial dalam waktu berjalan. Derandomisasi adalah tentang mengubah algoritma acak menjadi algoritma deterministik yang efisien.

3
Mengapa keacakan memiliki efek yang lebih kuat pada reduksi daripada pada algoritma?
Dugaan bahwa keacakan tidak memperpanjang kekuatan algoritma waktu polinomial, yaitu, diperkirakan untuk ditahan. Di sisi lain, keacakan tampaknya memiliki efek yang sangat berbeda pada pengurangan waktu polinomial . Dengan hasil Valiant dan Vazirani yang terkenal, berkurang menjadi melalui pengurangan waktu polinomial secara acak. Kecil kemungkinan bahwa pengurangan tersebut dapat diderandomisasi, …
2
Derandomisasi Valiant-Vazirani?
The Valiant-Vazirani teorema mengatakan bahwa jika ada algoritma waktu polinomial (deterministik atau acak) untuk membedakan antara formula SAT yang memiliki tepat satu tugas memuaskan, dan formula unsatisfiable - maka NP = RP . Teorema ini dibuktikan dengan menunjukkan bahwa UNIQUE-SAT adalah NP -hard dalam pengurangan acak . Tunduk pada dugaan …
2
Hierarki untuk BPP vs derandomisasi
Dalam satu kalimat: apakah akan ada hierarki untuk menyiratkan hasil derandomisasi?BPTIMEBPTIME\mathsf{BPTIME} Pertanyaan yang terkait tetapi tidak jelas adalah: apakah keberadaan hierarki untuk menyiratkan adanya batas bawah yang sulit? Apakah resolusi masalah ini menabrak penghalang yang dikenal dalam teori kompleksitas?BPTIMEBPTIME\mathsf{BPTIME} Motivasi saya untuk pertanyaan ini adalah untuk memahami kesulitan relatif (sehubungan …
3
Masalah dalam
Masalah apa yang diketahui milik tetapi tidak diketahui milik ?PBPPBPP\mathsf{BPP}PP\mathsf P Lebih tepatnya, saya tertarik pada masalah independen , yaitu derandomisasi yang tidak diketahui setara. Misalnya, diketahui bahwa deritimasi PIT dan faktorisasi polinomial multivariat adalah sama dan saya akan menghitungnya hanya sebagai satu masalah. Motivasi dari pertanyaan saya adalah bahwa …
2
Ekspansi tidak seimbang "industri" yang efisien ruang
Saya mencari ekspander yang tidak seimbang yang "baik" dan "hemat ruang". Secara khusus, grafik reguler-kiri bipartit , , , dengan derajat kiri adalah ekspander -pengembang jika untuk setiap ukuran paling banyak , jumlah tetangga di setidaknya. Diketahui bahwa metode probabilistik menghasilkan grafik dengan dan . Namun, kita perlu| A | …
1
Konsekuensi dari ?
Sementara teorema Adleman menunjukkan, bahwa , saya tidak mengetahui adanya literatur yang menyelidiki kemungkinan dimasukkannya . Apa konsekuensi kompleksitas-teoretis yang akan dimiliki oleh inklusi seperti itu?BPP⊆P/polyBPP⊆P/poly\mathsf{BPP} \subseteq \mathsf{P}/\text{poly}BQP⊆P/polyBQP⊆P/poly\mathsf{BQP} \subseteq \mathsf{P}/\text{poly} Teorema Adleman kadang - kadang disebut "nenek moyang argumen derandomisasi." diyakini derandomizable, sedangkan tidak ada bukti bahwa "kuantumness" entah bagaimana …
4
Apakah ada yang setara dengan derandomisasi untuk algoritma kuantum?
Dengan beberapa algoritma acak Anda dapat derandomisasi algoritma, menghilangkan (dengan biaya yang mungkin dalam waktu berjalan) penggunaan bit acak dan memaksimalkan beberapa batas bawah pada tujuan (biasanya dihitung menggunakan fakta bahwa teorema adalah tentang kinerja yang diharapkan dari acak algoritma). Apakah ada persamaan untuk algoritma kuantum? Apakah ada hasil "dequantisasi" …
2
Fungsi Boolean yang tidak konstan pada subruang affine dari dimensi yang cukup besar
Saya tertarik dengan fungsi Boolean eksplisit f:0,1n→0,1f:0,1n→0,1f \colon \\{0,1\\}^n \rightarrow \\{0,1\\}dengan properti berikut: jika fff konstan pada beberapa subruang affine dari0,1n0,1n\\{0,1\\}^n , maka dimensi dari subruang ini adalaho(n)o(n)o(n) . Tidak sulit untuk menunjukkan bahwa fungsi simetris tidak memuaskan properti ini dengan mempertimbangkan subruang A=x∈0,1n∣x1⊕x2=1,x3⊕x4=1,…,xn−1⊕xn=1A=x∈0,1n∣x1⊕x2=1,x3⊕x4=1,…,xn−1⊕xn=1A=\\{x \in \\{0,1\\}^n \mid x_1 \oplus x_2=1, …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.