«cc.complexity-theory» etiketlenmiş sorular

NP ve NP ile sınırlı diğer kaynak hesaplamaları.

1
Biri ispatlayabilir Linial-Mansour-Nisan teoremini ve Fourier spektrum bilgisini kullanarak ?
Sonuç 1: Linial-Mansour-Nisan teoremi, devreleri tarafından hesaplanan fonksiyonların fourier ağırlığının, yüksek olasılıkla küçük boyutlu alt kümelerde yoğunlaştığını .AC0AC0\mathsf{AC}^0 Sonuç 2: , fourier ağırlığını derece katsayısına yoğunlaştırmıştır . nPARITYPARITY\mathsf{PARITY}nnn Soru: 1 ve 2 sonuçlarını kullanarak / kullanarak devreleri tarafından hesaplanamazsa (kanıtlanabilirse) bir yolu var mı ?A C 0PARITYPARITY\mathsf{PARITY}AC0AC0\mathsf{AC}^0
1
Goldreich-Levin / Kushilevitz-Mansour öğrenme algoritmasının en iyi sorgu karmaşıklığı
Goldreich-Levin öğrenme algoritmasının en iyi bilinen sorgu karmaşıklığı nedir? Luca Trevisan'ın blogu Lemma 3'ün ders notları bunu olarak belirtir . Bu bağımlılık açısından en iyi bilinen midir? Atıfta bulunulan bir kaynağa göndermede özellikle minnettar olacağım!O ( 1 / ϵ4n günlüğün )Ö(1/ε4ngünlük⁡n)O(1/\epsilon^4 n \log n)nnn İlgili soru: Kushilevitz-Mansour öğrenme algoritmasının en …
3
P, varlığı PA veya ZFC'den bağımsız olan dilleri içeriyor mu? (TCS topluluk wiki'si)
Cevap: bilinmiyor. Sorulan sorular doğal, açık ve görünüşte zor; şimdi soru bir topluluk wiki'sidir. genel bakış Soru karmaşıklık sınıfına ait dilleri - bu dilleri kabul eden Turing makineleri (TM) ile birlikte iki tamamlayıcı alt sınıfa ayırmayı amaçlamaktadır :PPP gnostik diller ve TM'ler (doğrulamak / anlamak mümkün) şifreli diller ve TM'ler …
2
Üniter grup üzerinden optimizasyon karmaşıklığı
Üniter grup üzerinde çeşitli fonksiyonları optimize etmenin hesaplama karmaşıklığı nedir ?U( n )U(n)\mathcal{U}(n) Tipik bir görev, kuantum bilgi teorik olarak genellikle ortaya çıkan tip bir miktar maksimize olacaktır (veya daha polinomlar U ) üzerindeki tüm birim matris u . Bu tür bir optimizasyon verimli (belki de yaklaşık) hesaplanabilir mi, yoksa …
1
Uzay-zaman değişimleri üzerindeki bazı sonuçların erken tarihi?
Genel amaçlı uzay-zaman ödünleşimleri hakkında yayınlanan sonuçların erken tarihiyle ilgileniyorum. Özellikle, veri akışı grafiğinin derinliği (genişlik değil) ile orantılı boşluk kullanarak derece O (1) ile rasgele bir veri akışı grafiğine sahip bir hesaplamayı değerlendirmek için aşağıdaki algoritma türünü kimin ilk açıkladığını bilmek istiyorum. Grafiğin basit bir derinlik-ilk değerlendirmesini yaparak. Daha …
2
Ben-Dor / Halevi'den kalıcılığın P-tam ispatına bir soru
Ben-Dor / Halevi'nin [1] makalesinde, kalıcı maddenin olduğuna dair bir kanıt daha verilmiştir . Kağıdın sonraki bölümünde , kalıcı değer zincir boyunca korunurken , redüksiyon zincirini IntPerm ∝ NoNegPerm ∝ 2PowersPerm ∝ 0/1-Perm gösterirler. Bir 3SAT formül satiesfying atamaları sayısı yana cp kalıcı değer elde edilebilir, son kalıcı hesaplamak için …
1
Bant Genişliğini Azaltma karmaşıklığı hakkında
Grafik bant genişliği sorunu aşağıdaki gibi tanımlanır. Bir grafiktir verilen , bir düzen f ait G köşe bir bire-bir eşleme G tamsayı üzerine { 1 , ... , | V | } . Bant genişliği f olarak tanımlanmaktadırG=(V,E)G=(V,E)G=(V,E) fffGGGGGG{1,…,|V|}{1,…,|V|}\{1, \ldots, |V|\}fff bw(f)=max{|f(u)−f(v)|∣{u,v}∈E}bw(f)=max{|f(u)−f(v)|∣{u,v}∈E}bw(f) = \max \{|f(u) - f(v)| \mid \{u,v\} \in …
1
Parite-L'den CNOT devrelerine log alanı azaltma?
Soru. Makalelerinde dengeleyici devrelerinin Geliştirilmiş simülasyon , Aaronson ve Gottesman, istem bir CNOT devresi simüle olduğu ⊕L (logspace indirimleri altında) -tamamlamak. ⊕L'de bulunduğu açıktır ; sertlik sonucu nasıl tutulur? Eşdeğer olarak: yinelenen matris ürünleri modulo 2'den, temel matrislerin (satır dönüşümlerini gerçekleştiren ters çevrilebilir matrisler) mod 2 yinelenen ürünlerine bir günlük …
3
Bir kehanet girdinin bir parçası olduğunda karmaşıklık teorisi
Oracles'ın karmaşıklık teorisinde ortaya çıkmasının en yaygın yolu şudur: Örneğin, belirli sınırlı kaynaklara sahip bir Turing makinesi için sabit bir kehanet mevcuttur ve biri kehanetin makinenin hesaplama gücünü nasıl arttırdığını inceler. Bununla birlikte, bazen kehanetlerin ortaya çıkmasının başka bir yolu vardır: girdinin bir parçası olarak . Örneğin, belirli bir yüksek …
1
Kısa mesajlarla çok-proverli etkileşimli provalar hakkında bilinenler nelerdir?
Beigi, Shor ve Watrous'un kısa mesajlarla kuantum interaktif kanıtlarının gücü hakkında çok güzel bir makalesi var. Üç 'kısa mesaj' varyantını düşünüyorlar ve önem verdiğim özellik, herhangi bir sayıda mesajın gönderilebileceği ikinci varyantı, ancak toplam mesaj uzunluğunun logaritmik olması gerekiyor. Özellikle, bu tür interaktif kanıtlama sistemlerinin BQP'nin etkileyici gücüne sahip olduğunu …
1
ile
Biliyorum (NP oracle logaritmik çok çağrıları) eşdeğerdir (polinom NP oracle'e paralel sorgu sayısı). Bu sınıfların "işlev" sürümünün de eşdeğer olup olmadığını merak ediyordum, yaniPNP[logn]PNP[log⁡n]\mathsf{P}^{\mathsf{NP}[\log n]}PNP||PNP||\mathsf{P}^{\mathsf{NP}||} FPNP[logn]=FPNP||FPNP[log⁡n]=FPNP|| \mathsf{FP}^{\mathsf{NP}[\log n]} = \mathsf{FP}^{\mathsf{NP}||} Doğru olduğu biliniyorsa, bir işaretçi gerçekten yardımcı olacaktır.
3
Gap-P sorununun #P dışında olduğunu nasıl gösterebilirim?
Kombinasyonel temsil teorisi ve cebirsel geometride, hiçbir pozitif formülü bilinmeyen bir takım problemler vardır. Düşündüğüm birkaç örnek var, ancak Kronecker katsayılarını hesaplamaya örnek olarak vereyim . Genellikle, "pozitif formül" kavramı kombinatoriklerde tam olarak tanımlanmamıştır, ancak kabaca "makul bir şekilde açık kümenin kardinalitesi olarak bir tanım" anlamına gelir. Son zamanlarda Jonah …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.