Teorik Bilgisayar Bilimi

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 

Bu veri yapısını bulamadım, ancak bu alanda uzman değilim. Yapı bir küme uygular ve temel olarak değişmez olan bir karşılaştırılabilir elemanlar dizisidir. Değişmeyen aşağıdadır (özyinelemeli olarak tanımlanmıştır): Uzunluk 1 dizisi bir birleştirme dizisidir. 2 ^ n uzunluğunda bir dizi (n> 0 için) bir birleştirme dizisi iff: ilk yarı bir birleştirme …

27 ds.data-structures 

Sürpriz, bu konuda yazılar bulamadım - muhtemelen yanlış anahtar kelimeleri aradım. Yani, biz bir şey bir dizi ve bir işlev var kendi endeksleri üzerinde; f bir permütasyondur.ffffff Diziyi göre belleğe ve çalışma zamanına O ( 1 ) ve O ( n ) 'ye mümkün olduğunca yakın şekilde nasıl yeniden düzenleriz …

27 ds.algorithms  co.combinatorics  permutations 

QiCheng tarafından cevapsız bırakılan “ Belirli bir NC 0 devresinin izin verdiğini hesaplar mı ” sorusu hakkında özel bir soru sormak istiyorum . Her çıkış kapısı sözdizimsel olarak çoğu k giriş kapısına bağlıysa, Boolean devresi NC 0 k devresi olarak adlandırılır . (Bir çıkış geçidinin g sözdizimsel olarak devirli bir …

27 cc.complexity-theory  open-problem  permutations  circuit-families 

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 

Topoloji üzerine bir ders alan bir bilgisayar bilimcisiyim (süreklilik teorisi ile yoğun şekilde tatlandırılmış bir nokta-noktası topoloji serpme). Topolojik özellikler için bir mekanın (basit bir şekilde) açıklamasını test eden karar problemleriyle ilgilenmeye başladım; Homeomorfizma korunmuş olanlar. Örneğin, bir düğümün cinsinin belirlenmesinin PSPACE içerisinde olduğu ve NP-Sert olduğu bilinmektedir. (Agol 2006; …

27 cc.complexity-theory  big-list  topology 

Aşağıdaki tür hata düzeltme kodları arıyorum: Sabit oranlı ikili kodlar, bazı sabit hata fraksiyonlarından, büyüklüğünde bir Boole devresi olarak uygulanabilen bir kod çözücü tarafından çözülebilmektedir , burada , kodlama uzunluğudur.NO ( N)O(N)O(N)N-NN Bazı arka plan: Spielman, Doğrusal Zamanlı Kodlanabilir ve Kodlanabilir Hata Düzeltme Kodlarında , logaritmik maliyetli RAM modelinde zamanda …

27 co.combinatorics  it.information-theory  coding-theory 

Bir mmm ile nnn ikili matris MMM (girişler 000 ya da 111 ), problem iki ikili vektör olup olmadığını tespit etmektir, v1≠v2v1≠v2v_1 \ne v_2öyle ki Mv1=Mv2Mv1=Mv2Mv_1 = Mv_2 ( üzerinde gerçekleştirilen tüm işlemler ZZ\mathbb{Z}). Bu sorun NP zor mu? Tanık olarak iki vektör verebileceğinizden, açıkça NP’de. Eşdeğer: Verilen MMM , …

27 cc.complexity-theory  np-hardness  linear-algebra 

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 

Bir verilen bilinen arasında -Point alt kümesi ℓ d 2 (verilir N noktaları R d Öklid mesafe ile) bu izometrik katıştırdıktan mümkündür .nnnℓd2ℓ2d\ell_2^dnnnRdRd{\mathbb R}^dℓ(n2)1ℓ1(n2)\ell^{n\choose 2}_1 İzometri (muhtemelen, randomize) polinom süresinde hesaplanabilir mi? Sonlu hassasiyet sorunları olduğundan, kesin soru ve içindeki noktalarından oluşan bir kümesi göz önüne alındığında , select hesaplanabilir …

27 cg.comp-geom  metrics  embeddings 

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 

Düzenleme: 06 Aralık 2012 itibariyle en yüksek puana sahip cevabı seçiyorum. Bu yumuşak bir soru. (Deterministik) algoritmalar kavramı M.Ö. Olasılık algoritmaları ne olacak? Olarak bu sayfasını ziyaret , hesaplama geometride yakın çift sorunu için Rabin'in algoritma, ilk önce, randomize algoritması olarak verildi (yıl ???). Rasgele algoritmalar Modern çağın başlangıç olarak …

27 ds.algorithms  reference-request  big-list  randomized-algorithms  ho.history-overview 

Eğer bir yönsüz bir d -Ücretli grafiği ve S cardinality köşe bir alt kümesidir ≤ | V | / 2 , çağrı kenar genişleme bölgesinin S miktarıG = ( V, E)G=(V,E)G=(V,E)dddSSS≤ | V| / 2≤|V|/2\leq |V|/2SSS ϕ ( S) : = Edge s ( S, V- S)d⋅ | S| ⋅ …

27 ds.algorithms  graph-theory  ho.history-overview  expanders  spectral-graph-theory 

Bu soru biraz belirsiz ise özür dilerim, ancak başarılı araştırmacıların TCS'deki sonuçlar için nasıl bir "his" elde ettiklerini merak ediyorum. Örneğin, lineer cebir geometrik olarak veya fiziksel yorumlamaları (özvektörler bir sistemde "sabit noktalar" olarak düşünülebilir), vb. Anlamında anlaşılabilir. Vb. protokol, oldukça farklı işlem gücüne sahip iki varlık arasında bir tür …

27 soft-question  intuition 

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