«quantum-computing» etiketlenmiş sorular

Bu, bir araştırma sorusundan daha fazla bir "tarihsel sorudur", ancak Shor'un başlangıçta Peter Shor tarafından keşfedilen faktörizasyon algoritmasında sıra bulgusunda klasik bir azalma mıydı, yoksa daha önce de biliniyor muydu? Shor öncesi tarihe geçen indirimi açıklayan bir makale var mı, yoksa sadece "halk sonucu" olarak adlandırılan bir şey mi var? …

79 quantum-computing  ho.history-overview  factoring 

Dünyanın ilk programlanabilir kuantum fotonik çipinin duyurusu ışığında, kuantum dolaşma kullanan bir bilgisayar için hangi yazılımın nasıl olacağını merak ediyordum. Yazdığım ilk programlardan biri, şöyle bir şeydi: for i = 1 to 10 print i next i Herhangi biri, kuantum fotonik yongalarını (veya benzeri donanımları), sahte kodda veya yüksek seviyede …

76 quantum-computing 

Ünlü "Conjugate Coding" adlı makalesinde (1970'de yazılmıştır), Stephen Wiesner, veren bankanın dev bir rasgele sayılar tablosuna erişimi olduğunu ve banknotların getirilebileceğini varsayarak, sahte olmayan koşulsuz olarak imkansız olan kuantum parası için bir program önerdi. doğrulama için bankaya geri dönün. Wiesner'in metotta her banknot klasik "seri numarası" oluşur kuantum para devlet …

50 quantum-computing 

Bazı teorik bilgisayar bilimi alt alanlarının, teorik fiziğin sonuçlarından önemli ölçüde etkilendiği açıktır. Bunun iki örneği Kuantum hesaplama Karmaşıklık analizi / sezgisel algoritmalarda kullanılan istatistiksel mekanik sonuçlar. Yani sorum şu ki, kaçırdığım önemli alanlar var mı? Motivasyonum çok basit: Ben kuantum bilgisiyle TCS'ye gelen teorik bir fizikçiyim ve iki bölgenin …

42 soft-question  quantum-computing  statistical-physics  physics 

Karmaşıklık teorisinin merkezi problemi tartışmasız olan vs .PPPNPNPNP Bununla birlikte, Nature kuantum olduğundan sınıflarını göz önünde bulundurmak daha doğal gözükecektir (yani, polinom zamanında kuantum bilgisayar tarafından çözülebilen karar problemleri, tüm durumlarda en fazla 1/3 hata olasılığı) ve (kuantum eşdeğeri ve ) kullanılarak.BQPBQPBQPQMAQMAQMANPNPNP Sorularım: 1) - problemine bir çözüm, ve bir …

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

Bir TCS amatör olarak, kuantum hesaplama konusunda çok popüler, çok tanıtıcı bir materyal okuyorum. Şimdiye kadar öğrendiğim birkaç temel bilgi: Kuantum bilgisayarların NP-komple problemleri polinom zaman içerisinde çözdüğü bilinmemektedir. "Kuantum sihirli yeterli olmayacaktır" (Bennett ve ark 1997).: Sorun yapısını atmak ve sadece alanını düşünülürse , yaklaşık ardından bile kuantum bilgisayar …

32 cc.complexity-theory  complexity-classes  quantum-computing  conditional-results  physics 

Zaman zaman insanların kuantum algoritmaları ve durumlar hakkında konuştuğunu ve aynı anda çoklu olasılıkları göz önünde bulundurabildiğini duydum, ancak bunun arkasındaki hesaplama modelini açıklayacak birini asla elde edemedim. Açık olmak gerekirse, kuantum bilgisayarların fiziksel olarak nasıl inşa edildiğini sormuyorum, onları hesaplamalı bir bakış açısıyla nasıl görüntüleyeceğimi soruyorum.

32 quantum-computing  big-picture 

Bilindiği gibi görünmüyor - ama kuantum hesaplama modelinde matris çarpımının karmaşıklığı ile ilgili ilginç daha düşük sınırlar var mı? Kuantum bilgisayarları kullanarak Coppersmith-Winograd algoritmasının karmaşıklığını yenebileceğimiz konusunda bir fikrimiz var mı?

30 reference-request  quantum-computing  matrix-product 

Klasik algoritmalar 3- sürede (randomize) veya 1.3303 n zamanında (deterministik) çözebilir . (Referans: SAT Üzerindeki En İyi Üst Sınırlar )1.3071n1.3071n1.3071^n1.3303n1.3303n1.3303^n Karşılaştırma için, Grover'in algoritmasını kuantum bilgisayarlarda kullanmak , randomize olarak bir çözüm arayacak ve sunacaktı . (Bu hala ne kadar çözüm olabileceği veya olamayacağı konusunda biraz bilgi gerektirebilir, bu sınırların …

29 quantum-computing  sat  exp-time-algorithms 

P = NP'nin doğru olduğunu varsayalım. Daha sonra, belirli problemleri daha hızlı çözme gibi bir kuantum bilgisayarı inşa etmek için pratik bir uygulama var mı ya da P = NP'nin doğru olduğu gerçeğine dayanarak böyle bir gelişme alakasız olur mu? P! NP'nin olduğu bir dünyaya karşı P = NP olduğu …

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

Bununla birlikte, kuantum mekaniği / bilgisiyle (örneğin tamamen klasik nesneler hakkında bir şeyler ifade eder) kuantum araçlarıyla hiçbir ilgisi olmayan bir teoremin kuantum araçları kullanılarak kanıtlanabileceği sorunların örnekleriyle ilgileniyorum. Bir anket Kuantum Proofs Klasik Teoremler için (A. Drucker, R. Kurt) bu tür sorunların güzel bir liste verir ama mutlaka çok …

27 quantum-computing  big-list  proofs 

Hesaplamalı karmaşıklıkta, monoton ve genel hesaplamalar arasında önemli bir ayrım var ve Razborov'un ünlü bir teoremi, 3-SAT ve hatta MATCHING'in monoton Boole devreleri modelinde polinom olmadığını iddia ediyor. Sorum basit: Monoton devreler için kuantum bir analog var mı (veya birden fazla)? Kuantum Razborov teoremi var mı?

27 cc.complexity-theory  quantum-computing  circuit-complexity 

Peter Shor faktoring ve ayrık kütük probleminin en önemli NP-ara problemlerinden ikisinin BQP'de olduğunu gösterdi . Buna karşılık, SAT için en iyi bilinen kuantum algoritması (Grover'ın araması), klasik algoritma üzerinde sadece ikinci dereceden bir gelişme sağlar; NP-tamamlanmış sorunların hala kuantum bilgisayarlarda anlaşılmaz olduğunu ima eder. Arora ve Barak'ın işaret ettiği …

27 cc.complexity-theory  quantum-computing  np  np-intermediate 

Shor'un faktoring algoritmasının son adımlarını tam olarak anlamakta biraz sıkıntı yaşıyorum. Faktör istediğimiz bir göz önüne alındığında , sırasına sahip bir rasgele .NNNxxxrrr İlk adım, kayıtları ayarlamayı ve Hadamard operatörünü uygulamayı içerir. İkinci adım lineer bir operatöre uygulanır. İkinci sicilin ikinci adımı ölçülür (bu adımın daha sonra yerine getirilebileceğine inanıyorum). …

27 quantum-computing 

Kara kutu modelinde, BPP makinesinin çıkış belirleme problemi girişi x belirlenmesi yaklaşık sayma sorunudur e r M ( x , r ) ilave hata 1/3 (ki) ile .M( x , r )M(x,r)M(x,r)xxxErM( x , r )ErM(x,r)E_r M(x,r) BQP için benzer bir problem var mı? Ken Regan'ın bu yorumu böyle bir …

27 cc.complexity-theory  quantum-computing  black-box