«cc.complexity-theory» etiketlenmiş sorular

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

1
Hangi normal ifadeler
Aşağıdaki sorunun PSPACE-komple olduğu iyi bilinmektedir: Normal ifade verildiğinde , L ( β ) = Σ ∗ mı?ββ\betaL(β)=Σ∗L(β)=Σ∗L(\beta) = \Sigma^* Diğer (sabit) normal ifadeler denkliği belirlemeye ne dersiniz ?αα\alpha Normal ifade verildiğinde , L ( β ) = L ( α ) mı?ββ\betaL(β)=L(α)L(β)=L(α)L(\beta) = L(\alpha) Aşağıdaki bilinmektedir: İçin , sorun …
1
P, tüm süper polinom zaman sınıflarının kesişimine eşit midir?
f(n)f(n)f(n) limn→∞nc/f(n)=0limn→∞nc/f(n)=0\lim_{n\rightarrow\infty} n^c/f(n)=0c>0c>0c>0 {\ Mathsf P} dilindeki L \ 'nin herhangi bir dili L∈PL∈PL\in {\mathsf P}için, f (n) ' eL∈DTIME(f(n))L∈DTIME(f(n))L\in {\mathsf {DTIME}}(f(n)) bağlı her süperpolinoma süresi için L \ in {\ mathsf {DTIME}} (f (n)) olduğu açıktır . Merak ediyorum, bu ifadenin tersi de doğru mu? Bildiğimiz Yani, eğer içinde …
4
PARITY'yi hesaplayan devrenin minimum boyutu nedir?
PARITY değerini giriş değişkenlerinden hesaplayan her fan girişi 2 AND-OR-NOT devresinin en az 3 ( n - 1 ) boyutta olması klasik bir sonuçtur.3(n−1)3(n−1)3(n-1) değerini ve bu keskindir. (Ebadı VE ve VEYA kapıları sayısı olarak tanımlarız.) Kanıt geçit engellemesinden ibarettir ve rastgele içeri girmeye izin verirsek başarısız olur. Bu dava …
3
Yazılan lamda calculi verilen bir karmaşıklığın altındaki * tüm * algoritmaları ifade edebilir mi?
Y kombini ilkelsiz birçok tipte lambda taşı türünün karmaşıklığının sınırlandırıldığını biliyorum, yani sadece sınırlı karmaşıklığın işlevleri, tür sisteminin ifadesi arttıkça sınır büyüdükçe ifade edilebilir. Mesela, Yapıların Hesaplamasının, en fazla iki katı üssel karmaşıklığı ifade edebileceğini hatırlıyorum. Benim sorum yazılan lambda hesabının belirli bir karmaşıklığın altındaki tüm algoritmaları mı yoksa sadece …
2
iki permütasyon farkını tanımanın tamlığı
Shor, yaptığı açıklamada, isimsiz musun bu soruya cevabını verdiği yorumunda polinom zamanındaki iki permütasyonun toplamını tanımlayabilir misiniz? Bu, iki permütasyon farkını tanımlamak için NPNPNP tamamlayıcısıdır. Ne yazık ki, permütasyon toplamı probleminden basit bir azalma görmüyorum ve permütasyon farkı problemi için NPNPNP tamlık azalmasını sağlamak faydalıdır . Permütasyon Farkı: KURULUM: Pozitif …
1
Algoritmalar ve yapısal karmaşıklık teorisi
Hesaplamalı karmaşıklık teorisindeki ve özellikle de "yapısal" karmaşıklık teorisindeki birçok önemli sonuç, bazıları için etkili bir algoritma veya iletişim protokolü veren algoritmik sonuçlardan temelde takip ettiği (anlaşıldığı gibi) anlaşılabileceği ilginç özelliğe sahiptir. sorun. Bunlar aşağıdakileri içerir: IP = PSPACE , etkileşimli protokolleri simüle eden, alan verimli özyinelemeli bir algoritmadan ve …
2
VE VE VEYA devreleri P tamamlandı mı?
AND & OR geçidi, iki giriş verilen ve AND ve OR'larını döndüren bir geçittir. Devreler sadece VE & VEYA geçidinden yapılır, kesinti olmadan, rasgele hesaplamalar yapabilir mi? Daha doğrusu, polinom zaman hesaplamalı logspace VE VE VEYA devrelerine indirgenebilir mi? Bu sorun için motivasyonum oldukça garip. Açıklandığı gibi burada , bu …
2
İlave 5 derinlikten daha az bir sürede yapılabilir mi?
Taşıma ileriye bakma algoritmasını kullanarak bir polinom boyut derinliği 5 (veya 4?) devre ailesi kullanarak eklemeyi hesaplayabiliriz . Derinliği azaltmak mümkün mü? İleriye bakacak algoritmayı taşıyarak elde edilen derinlikten daha az derinliğe sahip polinom büyüklüğü devre ailesi kullanarak iki ikili sayının eklenmesini hesaplayabilir miyiz?Bir c0AC0AC^0 D 2 veya 3 olan …
2
Devre alt sınırları ve kolmogorov karmaşıklığı
Aşağıdaki sebepleri göz önünde bulundurun: Let belirtmek Kolmogorov karmaşıklığı dize ait . Chaitin'in eksiklik teoremi şöyle diyorxK( x )K(x)K(x)xxx herhangi bir tutarlı ve yeterince güçlü resmi bir sistem için , sabit vardır herhangi şeritler için böyle (resmi sistemi ve diline tek olarak) , kanıtlayamayacaklarını .T x S K ( x …
3
Sabit grafiklerde Clique problemi
Bilindiği gibi, -clique fonksiyonu bir (alır kapsayan alt grafiğinin) tam bir -vertex grafik ve çıkışları iff bir içermektedir -clique . Bu durumda Değişkenler karşılık kenarları arasında . bu fonksiyonun monoton devreler gerektirdiği bilinmektedir (Razborov, Alon-Boppana) . Cı L I S u e ( n , k ) G ⊆ K …
3
Ekstraktörlerden Pseudorandom Jeneratörlerine?
Luca Trevisan, kaç tane sahte jeneratörü yapısının aslında inşaat yapımcısı olarak düşünülebileceğini gösterdi: http://www.cs.berkeley.edu/~luca/pubs/extractor-full.pdf Anlamlı bir sohbet var mı? Yani, çıkarıcıların "doğal" yapıları yalancı üreteç (PRG) yapıları olarak düşünülebilir mi? Ekstraktor yapılarının PRG'ler üzerindeki dağılımlara karşılık geldiği görülmektedir (öyle ki herhangi bir ayırt edici hemen hemen hepsini ayırt etmede başarılı …
1
Mu
Olasılığını ortadan polinom boyutlu zincirler (örneğin, altüssel-boyutuna sahip olduğu herhangi bir makul karmaşıklığı / kripto hipotez var ile ε &lt; 1 sınırlı derinlemesine () d = O ( 1 ) ) devreleri?2O(nϵ)2O(nϵ)2^{O(n^\epsilon)}ϵ&lt;1ϵ&lt;1\epsilon<1d=O(1)d=O(1)d = O(1) Biz her fonksiyonu hesaplanabilir biliyoruz devresi bir boyut ile hesaplanabilir 2 , O ( n, ε …
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.