«cc.complexity-theory» etiketlenmiş sorular

Tek yönlü işlevlerin varlığının, kriptografinin çoğu için (dijital imzalar, psödondom jeneratörleri, özel anahtar şifrelemesi, vb.) Gerekli ve yeterli olduğu iyi bilinmektedir. Sorum şu: nelerdir karmaşıklığı-teorik tek yönlü fonksiyonların varlığı sonuçları? Örneğin, OWF'ler şunu ima eder:NP≠PNP≠P\mathsf{NP}\ne\mathsf{P}, BPP=PBPP=P\mathsf{BPP}=\mathsf{P}, ve CZK=IPCZK=IP\mathsf{CZK}=\mathsf{IP}. Bilinen başka sonuçlar var mı? OWF'ler özellikle polinom hiyerarşisinin sonsuz olduğunu ima …

9 cc.complexity-theory  reference-request  complexity-classes  cr.crypto-security  one-way-function 

Bir formülün tatmin edilebilirliğinin karmaşıklığını arıyorum ∀y1,…,yn,∃x1,…,xm,ϕ∀y1,…,yn,∃x1,…,xm,ϕ\forall y_1, \dots,y_n, \exists x_1,\dots,x_m, \phi veya bir formülün ∃x1,…,xm∀y1,…,yn,ϕ∃x1,…,xm∀y1,…,yn,ϕ \exists x_1,\dots,x_m \forall y_1, \dots,y_n,\phi nerede ϕϕ\phi formun formülüdür: ϕ:=ϕ∧ϕ | ¬ϕ | ϕ→ϕ | ψϕ:=ϕ∧ϕ | ¬ϕ | ϕ→ϕ | ψ\phi:= \phi \wedge\phi ~| ~\neg \phi ~| ~ \phi\to \phi~| ~\psi ψ:=t>t | …

9 cc.complexity-theory  reference-request  lo.logic 

İzin Vermek FFF ailesi olmak ddd-sonlu bir evrenin eleman alt kümeleri UUUnesnelerin. Bir aileH'HH nın-nin kkk-element altkümeleri UUU, ile 1≤k&lt;d1≤k&lt;d1 \le k < d, bir (k,d)(k,d)(k,d)- -set isabet arasındaFFF her biri için V∈FV∈FV \in F en az bir set var W∈HW∈'HW \in H öyle ki W⊂VW⊂VW \subset V. Bir koleksiyon …

9 cc.complexity-theory  reference-request  approximation-hardness  parameterized-complexity 

Kuantum hesaplama literatürünün çoğu devre modeline odaklanmaktadır. Adyabatik kuantum hesaplama, bir dizi üniter operatör uygulanmasına değil, zamana bağlı bir Hamiltonian'ın değiştirilmesine dayanır. Aşağıdakilerden herhangi biri hakkında bir fikir arıyorum. Adyabatik kuantum hesaplama devre modeli kadar güçlü mü yoksa doğal olarak daha az güçlü mü? Devre modelinin aksine adyabatik hesaplama ile …

9 cc.complexity-theory  reference-request  complexity-classes  quantum-computing  quantum-information 

Aşağıdaki ek kısıtlamaların her ikisine birden sahip olan bir Monoton 3CNF formülünü göz önünde bulundurun: Her değişken tam olarak maddede görünür .222 Herhangi cümle verildiğinde en fazla değişkeni paylaşırlar .222111 Böyle bir formülün tatmin edici ödevlerini saymanın ne kadar zor olduğunu bilmek istiyorum. Güncelleme 06/04/2013 12:55 Ayrıca, tatmin edici ödev …

9 cc.complexity-theory  sat  counting-complexity 

Sonlu bir alanda faaliyet gösterdiğimizi varsayalım. Bu alanda bize büyük bir sabit polinom p (x) (örneğin, derece 1000) verilir. Bu polinom önceden bilinir ve "başlangıç ​​aşamasında" çok fazla kaynak kullanarak hesaplama yapmamıza izin verilir. Bu sonuçlar makul derecede küçük arama tablolarında saklanabilir. "Başlangıç ​​aşaması" nın sonunda, küçük bir bilinmeyen polinom …

9 cc.complexity-theory  ds.algorithms  algebra  algebraic-complexity  polynomials 

Let Turing makineleri alternatif karar dillerin sınıf olarak bu zaman halt alanı kullanılarak . Let durdurmak kullanarak bu Turing makineleri alternatif karar dillerin sınıf olarak değişmeleri ve boşluk .ATISP(f(n),g(n))ATISP(f(n),g(n))\mathsf{ATISP}(f(n), g(n))f(n)f(n)f(n)g(n)g(n)g(n)AALTSP(f(n),g(n))AALTSP(f(n),g(n))\mathsf{AALTSP}(f(n), g(n))f(n)f(n)f(n)g(n)g(n)g(n) Ruzzo , olduğunu kanıtladı . Ayrıca .NCk=ATISP(logkn,logn)NCk=ATISP(logk⁡n,log⁡n)\mathsf{NC}^k = \mathsf{ATISP}(\log^k n, \log n)NCk⊆AALTSP(logkn,logn)⊆NCk+1NCk⊆AALTSP(logk⁡n,log⁡n)⊆NCk+1\mathsf{NC}^k \subseteq \mathsf{AALTSP}(\log^k n, \log n) \subseteq \mathsf{NC}^{k …

9 cc.complexity-theory  complexity-classes  structural-complexity 

Kapalı. Bu soru konu dışı . Şu anda cevapları kabul etmiyor. Bu soruyu geliştirmek ister misiniz? Sorunuzu güncelleyin o yüzden -konu üzerinde Teorik Bilgisayar Bilimi Stack Exchange için. 7 yıl önce kapalı . Nasıl ifade edebiliriz "P=PSPbirCEP=PSPACEP=PSPACE"birinci dereceden bir formül olarak? Aritmetik hiyerarşinin hangi seviyesi bu formülü içerir (ve onu …

9 cc.complexity-theory  lo.logic  descriptive-complexity 

1979'dan itibaren Adi Shamir'in [1] makalesinde, faktoringin çok sayıda aritmetik adımda yapılabileceğini göstermektedir . Bu gerçek yeniden ifade edildi ve Borwein ve Hobart [2] 'nin son makalesinde düz çizgi programları (SLP) bağlamında dikkatimi çekti. Bunu okumak için oldukça şaşırdım, aşağıdaki sorum var: SLP ile polinom adımlarında çözülebilen ve şu anda …

9 cc.complexity-theory  cr.crypto-security  algebraic-complexity 

Turing tarafından tanınan her kararsız dilde NP tam bir alt küme var mı? Soru, Turing tarafından tanınan her sonsuz dilin sonsuz, karar verilebilir bir alt kümesine sahip olmasının daha güçlü bir versiyonu olarak görülebilir.

9 cc.complexity-theory  np-hardness  complexity-classes  np  decidability 

Aşağıdakiler bana doğal bir tanım gibi geliyor ve bunun bir yerde çalışılmış olup olmadığını merak ediyorum Düşünmek X⊂2{0,1}∗X⊂2{0,1}∗\mathsf{X} \subset 2^{\lbrace 0, 1 \rbrace^*}bir dizi dil. SonraK⊂{0,1}ωK⊂{0,1}ωK \subset \lbrace 0, 1 \rbrace^\omega denir "XX\mathsf{X}-doğrulabilir bilgi "olduğunda L∈XL∈XL \in \mathsf{X} st (ben verdim x∈Lx∈Lx \in L, her öneki xxx içinde LLL (ii) …

9 cc.complexity-theory  reference-request 

Fonksiyonun sınırlı hata kuantum sorgu karmaşıklığının iyi olduğu bilinmektedir. O R (x1,x2, … ,xn)OR(x1,x2,…,xn)OR(x_1,x_2,\ldots, x_n) dır-dir Θ (n--√)Θ(n)\Theta(\sqrt{n}). Şimdi soru şu ki, kuantum algoritmamızın olasılıkla her girdi için başarılı olmasını istiyorsak1 - ϵ1−ϵ1-\epsilon normalden ziyade 2 / 32/32/3. Şimdi açısındanεϵ\epsilon uygun üst ve alt sınırlar nelerdir? Anında O (n--√günlük( 1 …

9 cc.complexity-theory  ds.algorithms  quantum-computing  lower-bounds 

Chris Pressey'in temel özyinelemeli işlevler hakkındaki ilginç sorusuyla ilgilendiğimde , daha fazlasını araştırıyordum ve bu soruya web'de bir cevap bulamadım. İlköğretim özyinelemeli fonksiyonlar üstel hiyerarşiye güzel karşılık,DTIME(2n)∪DTIME(22n)∪⋯DTIME(2n)∪DTIME(22n)∪⋯\text{DTIME}(2^n) \cup \text{DTIME}(2^{2^n}) \cup \cdots. Düşük temel fonksiyonlar tarafından karar verilebilen karar problemlerinin (terim?) EXP'de ve aslında DTIME'de yer alması gerektiği açıktır.(2O(n))(2O(n))(2^{O(n)}); bu işlevler, …

9 cc.complexity-theory  reference-request  complexity-classes  computability 

Arora ve Barak'ın kitabı PCP hakkında bölüm notlarında bulunuyor Dinur'un genel stratejisinin, genişletici grafiklerin zig-zag yapısını ve Reingold'un Bölüm 20'de açıklanan yönlendirilmemiş bağlantı için belirleyici günlük alanı algoritmasını anımsatan, bu farklı araştırma alanları arasında daha fazla bağlantı yapılmasını beklediğini gösteriyor. (sf 494) Bu anımsama ile tam olarak ne kastedilmektedir? Bu …

9 cc.complexity-theory  pcp 

Benim sorum sonlu model teorisi / tanımlayıcı karmaşıklık hakkında, bu yüzden "sonlu ikili kelimeler üzerinde birinci sıra, Rs tahminlerini ve 1 kelimesinin pozisyonunda doğru olmayan tek bir yüklem P kullanarak" anlamına gelir.FO ( R )FÖ(R,)FO(R) Bilmek istiyorum, bazı herhangi bir herhangi bir yüklem ile herhangi bir caracterisation var mı? Örneğin …

9 cc.complexity-theory  lo.logic  circuit-complexity  descriptive-complexity  finite-model-theory