«complexity-classes» etiketlenmiş sorular

Hesaplamalı karmaşıklık sınıfları ve ilişkileri

3
olduğuna dair ne kanıt var ?
olduğuna dair ne kanıt var ?c o R P≠ NPcoRP≠NPcoRP \neq NP c o R PcoRPcoRP , polinom zamanında çalışan ve her zaman dile ait bir girdide Evet yanıtı veren ve dile ait olmayan bir girdide en az yarısı olan Hayır cevabını veren olasılıklı bir Turing Makinesi bulunan dil sınıfıdır.
1
NP-E ve E-NP için doğal adaylar
70'lerin başından beri, ve nin eşit olmadığı (çünkü polinom zamanı altında kapalı değildir. - nin aksine bir azaltma ). Ancak bildiğim kadarıyla, bir sınıfın diğerinin bir alt kümesi olup olmadığı hala açık değil, yani ve her ikisi de boş değildir.NPNP{\bf NP}E=DTIME(2O(n))E=DTIME(2O(n)){\bf E}=DTIME(2^{O(n)})EE{\bf E}NPNP{\bf NP}NP−ENP−E{\bf NP}-{\bf E}E−NPE−NP{\bf E}-{\bf NP} Soru: İlgili …
2
Yarı-polinom zamanda olan ama (belki) olmayan bir bilgi işlem sorunu var mı
Yarı polinom zamanı veya kısaca QP, deterministik Turing makinesinde bir karmaşıklık sınıfıdır. İşte kesin tanım: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:Q#qp ΒP, sınırlı belirsizliği sınırlayan bir karmaşıklık sınıfıdır. İşte kesin tanım: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:B#betap Herhangi bir βP makinesinin bir QP makinesi, yani βP ile simüle edilebildiğini görmek kolaydır ⊆⊆\subseteq QP. Ancak, sorunun βP'de olmadığına dair kesin bir …
1
2-SONRAKİ-tam problemler
Bir sorunumuz var ve 2-bitişik gibi görünen bir algoritma bulduk. Daha düşük bir sınır bulmak için bilinen 2-bitişik-tam problemleri bulmak istiyorum. Literatürde çoğunlukla bu tür iki problem buldum: daha küçük boyutlu bir çözüm olarak PCP'nin 22n22n2^{2^n} ve bir kare boyutunun tilling problemi 22n22n2^{2^n} Ancak bu sorunları benimkinde kodlayamadım. Bu yüzden, …
2
Bir sorunun tam karmaşıklığı
İzin Vermek xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\} için i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\}, söz ile x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\} (toplamın bittiği yer ZZ\mathbb{Z}). Öyleyse,x=1x=1x = 1? Önemsiz olarak sorunun içinde bulunduğuna dikkat edin ∩m≥2AC0[m]∩m≥2AC0[m]\cap_{m \geq 2}{\mathsf{AC}^0[m]} Çünkü x≡1modmx≡1modmx \equiv 1\bmod{m}iff x=1x=1x = 1 . Soru şu: Sorun AC0AC0\mathsf{AC}^0 mı var? Eğer öyleyse, buna …
2
OWF'lerin Karmaşıklık İçin Sonuçları
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 …
2
Adyabatik kuantum hesaplama devre modeli kadar güçlü mü?
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 …
1
üzerinde
Biz biliyoruz ki L⊆NL⊆P⊆NPL⊆NL⊆P⊆NP\mathcal{L}\subseteq \mathcal{N\!L}\subseteq\mathcal{P}\subseteq\mathcal{N\!P}. Savitch Teoreminden,NL⊆L2NL⊆L2\mathcal{N\!L}\subseteq\mathcal{L}^2Uzay Hiyerarşisi Teorem'den, L≠L2L≠L2\mathcal{L}\neq\mathcal{L}^2. Yani, bilmediğimiz gibiL≠PL≠P\mathcal L\neq\mathcal P, bilmiyoruz L2⊆PL2⊆P\mathcal L^2\subseteq\mathcal P, ya da biliyor muyuz L2⊈PL2⊈P\mathcal L^2\not\subseteq\mathcal P? Herkes olduğunu kanıtlamaya çalışıyor mu? Bu şekilde en son sonuçlar veya çabalar nelerdir? Bu konu hakkında bir anket yazmaya çalışıyorum, ancak alakalı bir şey …
1
Can ardaşımı simüle edilmesine ?
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 …
2
Alt-Temel Tekrarlamalı Fonksiyonlar için karmaşıklık sonuçları?
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, …
1
NP vs EXPTIME çevresindeki edebiyat
Bu çok önemli bir nokta olmasa bile, bu sorunun etrafında herhangi bir literatür görmüyorum. Görelilik sonuçları var mı? NP makinesinin olası tüm yollarını araştırarak deterministik olmayan zaman hiyerarşi teoremini uyarlayarak katı içerme olduğunu kanıtlamak oldukça kolay olmaz mıydı?
3
Postselection ile Etkileşimli Kanıtlar?
Özdeş olması hesaplama modeli MPostBQP tanımla PostBQP biz yazı-seçimi ve nihai ölçümden önce polynomially birçok qubit ölçümleri izin haricinde. MPostBQP'nin PostBQP'den daha güçlü olduğunu gösteren herhangi bir kanıt verebilir miyiz? Son ölçümü yapmadan önce çoklu ölçüm ve seçim sonrası turlara izin vermek için MPostBQP [k] tanımlayın. Endekslemeyi MPostBQP [1] = …
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.