Komputasi kuantum dan masalah komputasi yang terkait dengan mekanika kuantum
Ini adalah "pertanyaan historis" lebih dari itu adalah pertanyaan penelitian, tetapi apakah pengurangan klasik untuk menemukan urutan dalam algoritma Shor untuk faktorisasi awalnya ditemukan oleh Peter Shor, atau apakah itu sebelumnya dikenal? Apakah ada makalah yang menggambarkan pengurangan yang...
Mengingat pengumuman chip fotonik kuantum pertama yang dapat diprogram di dunia , saya bertanya-tanya seperti apa perangkat lunak untuk komputer yang menggunakan keterikatan kuantum nantinya. Salah satu program pertama yang pernah saya tulis adalah sesuatu seperti for i = 1 to 10 print i next...
Dalam makalahnya yang terkenal "Conjugate Coding" (ditulis sekitar tahun 1970), Stephen Wiesner mengusulkan skema untuk uang kuantum yang tanpa syarat mustahil untuk dipalsukan, dengan asumsi bahwa bank penerbit memiliki akses ke meja raksasa angka acak, dan bahwa uang kertas dapat dibawa kembali...
Tampak jelas bahwa sejumlah subbidang ilmu komputer teoretis telah secara signifikan dipengaruhi oleh hasil-hasil dari teori fisika. Dua contohnya adalah Perhitungan kuantum Hasil mekanika statistik digunakan dalam analisis kompleksitas / algoritma heuristik. Jadi pertanyaan saya, adakah bidang...
Masalah utama dari teori kompleksitas ini bisa dibilang vs N P .PPPNPNPNP Namun, karena Alam adalah kuantum, akan terlihat lebih alami untuk mempertimbangkan kelas (masalah yaitu keputusan dipecahkan oleh sebuah komputer kuantum dalam waktu polinomial, dengan probabilitas kesalahan paling 1/3...
Sebagai seorang amatir TCS, saya membaca beberapa materi yang sangat populer tentang komputasi kuantum. Berikut adalah beberapa informasi dasar yang telah saya pelajari sejauh ini: Komputer kuantum tidak dikenal untuk menyelesaikan masalah NP-complete dalam waktu polinomial. "Sihir kuantum tidak...
Saya kadang-kadang mendengar orang berbicara tentang algoritma kuantum dan tentang status dan kemampuan untuk mempertimbangkan berbagai kemungkinan sekaligus, tetapi saya tidak pernah berhasil membuat seseorang menjelaskan model komputasi di balik ini. Untuk lebih jelasnya, saya tidak bertanya...
Sepertinya ini tidak diketahui - tetapi apakah ada batas bawah yang menarik pada kompleksitas perkalian matriks dalam model komputasi kuantum? Apakah kita memiliki intuisi yang dapat mengalahkan kompleksitas algoritma Coppersmith-Winograd menggunakan komputer
Algoritma klasik dapat menyelesaikan 3-SAT dalam waktu (acak) atau 1,3303 n waktu (deterministik). (Referensi: Batas Atas Terbaik di SAT )1.3071n1.3071n1.3071^n1.3303n1.3303n1.3303^n Sebagai perbandingan, menggunakan algoritma Grover pada komputer kuantum akan mencari dan memberikan solusi dalam ,...
Misalkan P = NP benar. Apakah kemudian akan ada aplikasi praktis untuk membangun komputer kuantum seperti memecahkan masalah tertentu lebih cepat, atau akankah perbaikan seperti itu menjadi tidak relevan berdasarkan fakta bahwa P = NP benar? Bagaimana Anda mengkarakterisasi peningkatan efisiensi...
Saya mengalami sedikit kesulitan untuk sepenuhnya memahami langkah-langkah terakhir dari algoritma anjak piutang Shor. Diberikan ingin kita faktor, kita memilih acak yang memiliki urutan .x rNNNxxxrrr Langkah pertama melibatkan pengaturan register dan menerapkan operator Hadamard. Langkah kedua...
Secara umum dianggap tidak mungkin bahwa komputer kuantum akan dapat menyelesaikan masalah NP-complete secara efisien. Dalam kasus klasik, salah satu pendekatan untuk mengatasi masalah tersebut adalah dengan menggunakan algoritma aproksimasi. Apakah ada penelitian tentang algoritma aproksimasi...
Saya tertarik pada contoh masalah di mana teorema yang tampaknya tidak ada hubungannya dengan mekanika kuantum / informasi (misalnya menyatakan sesuatu tentang benda-benda klasik murni) tetap dapat dibuktikan menggunakan alat kuantum. Sebuah survei Bukti Kuantum untuk Teorema Klasik (A. Drucker, R....
Peter Shor menunjukkan bahwa dua masalah NP-intermediate yang paling penting, anjak piutang dan masalah log diskrit, ada di BQP. Sebaliknya, algoritma kuantum yang paling dikenal untuk SAT (pencarian Grover) hanya menghasilkan peningkatan kuadratik daripada algoritma klasik, mengisyaratkan bahwa...
Dalam model kotak hitam, masalah menentukan output mesin BPP pada input x adalah masalah penghitungan perkiraan untuk menentukan E r M ( x , r ) dengan kesalahan aditif 1/3 (katakanlah) .M(x,r)M(x,r)M(x,r)xxxErM(x,r)ErM(x,r)E_r M(x,r) Apakah ada masalah serupa untuk BQP? Komentar Ken Regan ini...
Dalam kompleksitas komputasi ada perbedaan penting antara perhitungan monoton dan umum dan teorema terkenal oleh Razborov menegaskan bahwa 3-SAT dan bahkan PENCOCOKAN tidak polinomial dalam model sirkuit Boolean monoton. Pertanyaan saya sederhana: Apakah ada analog kuantum untuk sirkuit monoton...
Keterjeratan sering dianggap sebagai unsur utama yang membuat algoritma kuantum dengan baik ... kuantum, dan ini dapat ditelusuri kembali ke status Bell yang menghancurkan gagasan fisika kuantum sebagai model probabilistik keadaan tersembunyi. Dalam teori informasi kuantum (dari pemahaman saya yang...
Sudah pasti bahwa ada ambang kebisingan untuk perhitungan kuantum, sehingga di bawah ambang ini, perhitungan dapat dikodekan sedemikian rupa sehingga menghasilkan hasil yang benar dengan probabilitas terbatas (dengan paling banyak komputasi overhead polinomial). Ambang batas ini bergantung pada...
Dalam "Persyaratan untuk perhitungan kuantum" , Bartlett dan Sanders merangkum beberapa hasil yang diketahui untuk perhitungan kuantum variabel kontinu dalam tabel berikut: Pertanyaan saya tiga kali lipat: Sembilan tahun kemudian, bisakah sel terakhir diisi? Jika kolom ditambahkan dengan...
Saya mencoba memahami hubungan antara isomorfisme grafik dan masalah subkelompok tersembunyi. Apakah ada referensi yang bagus untuk