Pertanyaan yang diberi tag «quantum-computing»

Judulnya kurang lebih menyebutkan semuanya, tapi saya rasa saya bisa menambahkan sedikit latar belakang dan beberapa contoh spesifik yang saya minati. Para ahli teori kompleksitas deskriptif, seperti Immerman dan Fagin, telah mengkarakterisasi banyak kelas kompleksitas yang paling terkenal menggunakan logika. Misalnya, NP dapat dikarakterisasi dengan kueri eksistensial orde dua; P …

20 cc.complexity-theory  quantum-computing  descriptive-complexity 

Telah diketahui secara umum bahwa eksponensial modular (bagian utama dari operasi RSA) mahal secara komputasi, dan sejauh yang saya mengerti hal-hal teknik eksponensial modular Montgomery adalah metode yang lebih disukai. Eksponen modular juga menonjol dalam algoritme anjak kuantum, dan juga mahal di sana. Jadi: mengapa eksponensial modular Montgomery tampaknya tidak …

20 cr.crypto-security  quantum-computing  factoring 

Membaca beberapa utas baru-baru ini tentang komputasi kuantum (di sini , di sini , dan di sini ), membuat saya ingat pertanyaan menarik tentang kekuatan beberapa jenis mesin pelestarian .ℓhalℓp\ell_p Bagi orang yang bekerja dalam teori kompleksitas menuju kompleksitas kuantum, teks pengantar yang bagus adalah makalah Fortnow yang tautannya diposting …

20 cc.complexity-theory  quantum-computing  computability  turing-machines  norms 

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" …

20 derandomization  quantum-computing 

Hari ini di New York dan di seluruh dunia Ulang tahun Christos Papadimitriou dirayakan. Ini adalah kesempatan yang baik untuk bertanya tentang hubungan antara PPAD kelas kompleksitas Christos (dan kelas terkait lainnya) dan komputer kuantum. Dalam makalahnya yang dirayakan tahun 1994, Papadimitriou memperkenalkan dan secara sistematis mempelajari beberapa kelas kompleksitas …

20 cc.complexity-theory  complexity-classes  quantum-computing  cr.crypto-security  nash-equilibrium 

Dalam makalahnya tahun 1995, Algoritma Polinomial-Waktu untuk Faktorisasi Utama dan Logaritma Terpisah pada Komputer Quantum , Peter W. Shor membahas peningkatan pada bagian pencarian-urutan dari algoritma faktorisasi-nya. Output algoritma standar r′r′r' , pembagi dari urutan rrr dari xxx modulo NNN . Alih-alih memeriksa jika r′=rr′=rr'=r dengan memeriksa jika , peningkatannya …

19 quantum-computing  nt.number-theory  factoring 

Wikipedia terdaftar empat masalah yang berada di tapi menduga berada di luarBQPBQPBQP : Integer faktorisasi; Logaritma diskrit; Simulasi sistem kuantum; Menghitung polinomial Jones pada akar persatuan tertentu.PPP Apakah ada masalah lain seperti itu?

19 cc.complexity-theory  complexity-classes  quantum-computing 

Dalam Komputasi Quantum dan Informasi Quantum oleh Nielsen dan Chuang, mereka mengatakan bahwa banyak algoritma yang didasarkan pada transformasi Fourier kuantum bergantung pada properti Coset Invariance dari transformasi Fourier dan menunjukkan bahwa properti invarian dari transformasi lain mungkin menghasilkan algoritma baru. Apakah ada penelitian yang bermanfaat tentang transformasi lain?

19 quantum-computing  quantum-information 

Dalam perhitungan kuantum adiabatik (AQC), seseorang mengkodekan solusi untuk masalah optimisasi dalam keadaan dasar [masalah] Hamiltonian . Untuk sampai ke keadaan dasar ini, Anda mulai dalam keadaan awal (ground) yang mudah didinginkan dengan Hamiltonian dan " " ( adiabatik) menuju , yaituH i H pHhalHpH_pHsayaHiH_iHhalHpH_p H( s ) = s …

19 reference-request  quantum-computing  physics  topology 

Apa kompleksitas waktu (bukan kompleksitas kueri) dari algoritma Grover? Tampak jelas bagi saya bahwa itu adalah karena adaΩ( √Ω(log(N)N−−√)Ω(log⁡(N)N)\Omega(\log(N) \sqrt{N})iterasi dan setiap iterasi membutuhkan penggunaan operasi refleksi yang pada gilirannya membutuhkan waktuΩ(log(N))menggunakan setiap set standar gerbang universal.Ω(N−−√)Ω(N)\Omega(\sqrt{N})Ω(log(N))Ω(log⁡(N))\Omega(\log(N)) Masalahnya adalah, saya tidak dapat menemukan satu pun referensi yang mengatakan kompleksitas waktu …

19 reference-request  quantum-computing  time-complexity 

Komputasi reversibel adalah model komputasi yang hanya memungkinkan operasi termodinamik reversibel. Menurut prinsip Landauer, yang menyatakan bahwa menghapus sedikit informasi melepaskan joule panas, ini mengesampingkan fungsi transisi yang tidak satu-ke-satu (misalnya, operator Boolean DAN dan ATAU). Telah diketahui dengan baik bahwa perhitungan kuantum secara inheren dapat dibalik karena operasi yang …

19 cr.crypto-security  quantum-computing  big-picture  physics  quantum-information 

Dalam teori informasi kuantum, jarak antara dua saluran kuantum sering diukur menggunakan norma intan. Ada juga sejumlah cara untuk mengukur jarak antara dua keadaan kuantum, seperti jarak jejak, kesetiaan, dll. Isomorfisma Jamiołkowski memberikan dualitas antara saluran kuantum dan keadaan kuantum. Ini menarik, setidaknya bagi saya, karena norma intan sangat sulit …

19 quantum-computing  it.information-theory  quantum-information 

Teorema favorit saya dalam teori kompleksitas adalah teorema hierarki waktu. Namun, ini dilakukan pada tahun 1965. Saya ingin tahu kalau ada sesuatu yang serupa dengan Quantum Computing. Juga, jika bukan apa yang orang / kelompok bekerja di arah ini!

19 cc.complexity-theory  quantum-computing 

Apakah mungkin untuk menguji secara algoritmik apakah bilangan yang dihitung rasional atau bilangan bulat? Dengan kata lain, apakah mungkin bagi perpustakaan yang mengimplementasikan angka yang dapat dihitung untuk menyediakan fungsi isIntegeratau isRational? Saya menduga itu tidak mungkin, dan bahwa ini entah bagaimana terkait dengan fakta bahwa tidak mungkin untuk menguji …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Saya seorang ahli fisika, dan saya pikir One-Way Quantum Computing sangat brilian. Secara khusus, Graph State Measurement-based Quantum Computing (MBQC) telah menjadi perkembangan yang sangat bagus dalam penelitian Quantum Computing sebagaimana berasal dari Raussendorf & Briegel . Orang hanya perlu menyiapkan keadaan multi-partit terjerat seperti yang dijelaskan oleh grafik, dan …

18 quantum-computing