«complexity-classes» etiketlenmiş sorular

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

6
NP'de olmadığı bilinen “doğal” karar verilebilir problemler.
NP-Tamamlayıcılığı her öğrettiğimde öğrenciler " NP'ye ait olmadığı bilinen herhangi bir sorun var mı?" Nasıl cevap verirdin? Genellikle onlara örnek olarak kararsız bir problem veriyorum, ama bu çoğu zaman iyi sonuç vermiyor: (a) onlara Durma Problemini verirsem bunun aptal bir köşe vakası olduğunu düşünürler ve (b) onlara Diophantine Denklemleri verirsem …
2
L'nin devreler açısından bir tanımı var mı?
Turing makineleri ile tanımlanan birçok karmaşıklık sınıfı, düzgün devreler açısından tanımlara sahiptir. Örneğin P, aynı zamanda, tekdüze polinom boyutlu devreler kullanılarak tanımlanabilir ve benzer şekilde, BPP, NP, BQP, vb., Tekdüze devrelerle tanımlanabilir. Peki L'nin devre tabanlı bir tanımı var mı? Açık bir fikir, bazı derinlik sınırlaması olan polinom boyutu devrelerine …
2
Turing makinesi açısından mP / poly'nin eşdeğer bir tanımı nedir?
P / poly, bir polinom boyutlu Boole devreleri ailesi tarafından çözülebilen karar problemleri sınıfıdır. Alternatif olarak, n cinsinden polinom boyutunda olan ve yalnızca n boyutuna dayanan bir tavsiye dizesi alan bir polinom-zaman Turing makinesi olarak tanımlanabilir. MP / poli, polinom boyutlu monoton Boolean devreleri ailesi tarafından çözülebilen karar problemleri sınıfıdır, …
3
PH = PSPACE'in sonuçları ne olurdu?
Yakın zamanda soru (bkz NP = Pspace Sonuçlarını ) arasında "pis" sonuçları istedi . Cevaplar ve diğerleri de dahil olmak üzere inanmak için birçok neden sağlayarak birkaç çöküş sonucunu listeler .NP=PSPACENP=PSPACENP=PSPACENP=coNPNP=coNPNP=coNPNP≠PSPACENP≠PSPACENP\neq PSPACE Biraz daha az dramatik bir çöküşün sonuçları ne olurdu ?PH=PSPACEPH=PSPACEPH=PSPACE
3
Zor dillerin sınırı kolay olabilir mi?
Aşağıdakilerin hepsi aynı anda tutulabilir mi? L s + 1 sLsLsL_s , tüm pozitif tamsayılar için .Ls+1Ls+1L_{s+1}sss { 0 , 1 }L=⋃sLsL=⋃sLsL = \bigcup_s L_s , üzerindeki tüm sonlu kelimelerin dilidir .{0,1}{0,1}\{0,1\} Bazı karmaşıklık sınıfı yoktur ve redüksiyon uygun bir kavramı herbiri için böyle , için zordur .C s L …
1
Bu iki PPAD tanımı neden eşdeğerdir?
Karmaşıklık sınıfı PPAD genellikle Hat Sonu'nun PPAD-tamamlanmış olduğunu belirterek tanımlanır. Hat Sonu bir arama sorunudur. Giriş grafik bir polinom zamanlı hesaplanabilir fonksiyonu ile verilmektedir derece-içi ve derecesi en 1'den her bir düğüm sahip olduğu bir çizge oluşur bu döner önceki ve ardıl . Ek olarak, birine ardıl olan ancak selefi …
3
Çeşitli grafiklerde oyun
Bazı düğümlerde bir çip bulunan yönlendirilmiş ağırlıklı bir grafik GGG aşağıdaki oyunu düşünün . Tüm GGG düğümleri A veya B ile işaretlenmiştir. İki oyuncu Alice ve Bob var. Alice'in (Bob) amacı, çipi A (B) işaretli bir düğüme kaydırmaktır. Başlangıçta Alice ve Bob mAmAm_Asırasıyla A vemBmBm_B dolarlarına sahiptir. Bir oyuncu kaybetme …
1
içindeki iki noktası kümesi yalnızca döndürme ile farklılık gösteriyorsa testin karmaşıklığı ?
olmak üzere iki boyutta nokta setimiz olduğunu düşünün . Sadece rotasyonla farklılık gösteriyorlarsa testin karmaşıklığı (zaman) nedir? : Rotasyon matrisi vardır , öyle ki ?mmmX,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^nOOT=OTO=IOOT=OTO=IOO^T=O^TO=IX=OYX=OYX=OY Burada gerçek değerleri temsil etme meselesi vardır - basitlik için, her bir koordinat için (kısa) bir cebirsel formül olduğunu varsayalım, böylece temel aritmetik işlemlerin …
1
DSPACE'deki Zaman Hiyerarşileri (O (s (n)))
Zaman hiyerarşi teoremi, turing makinelerinin (yeterli) daha fazla zamanları varsa daha fazla sorunu çözebileceğini belirtir. Alan asimptotik olarak sınırlıysa bir şekilde dayanıyor mu? Nasıl yok ilgili ise yeterince hızlı büyüyor mu?DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n)))DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n)))fgfg\frac{f}{g} Özellikle , ve olmasıyla ilgileniyorum .s(n)=ns(n)=ns(n) = ng(n)=n3g(n)=n3g(n) = n^3f(n)=2nf(n)=2nf(n) = 2^n Özellikle, aşağıdaki dili : Lk:={(⟨M⟩,w):M …
1
Sıkı kapanımların bilinmediği LOGSPACE içeren büyük sınıflar
PSPACE üzerindeki wikipedia sayfası PH'nun dahil edilmesinin katı olduğu bilinmemektedir (maalesef referans olmadan).NL⊂PHNL⊂PHNL\subset PH S1: ve - bunların katı olduğu biliniyor mu?L⊂PHL⊂PHL\subset PHL⊂P#PL⊂P#PL\subset P^{\#P} S2: Hayırsa , ve bunun için dahil edilmesinin katı olup olmadığı bilinmeyen yerleşik bir sınıfı var mı?CCCP#PP#PP^{\#P}L⊂CL⊂CL\subset C S3: Bu tür kapanımlar literatürde tartışılıyor mu?
1
Mi
Her dil için ispat edebilir o değil -Zor (bu varsayar ), ? Alternatif olarak, bu herhangi bir makul varsayım altında kanıtlanabilir mi?L ∈ N PL∈NPL\in\mathsf{NP}N PNP\mathsf{NP}P ≠ N PP≠NP\mathsf P \ne \mathsf{NP}PL≠ POTURDUPL≠PSAT\mathsf{P}^L \ne \mathsf{P}^{\text{SAT}}
1
Kannan'ın teoremi SONRAKİ ^ NP ⊄ P / poli anlamına mı geliyor?
Buhrman ve Homer'ın “ Süperpolinom Devreleri, Neredeyse Seyrek Orakles ve Üstel Hiyerarşi” adlı bir makalesini okuyordum . Sayfa 2'nin alt kısmında sonuçlarının polinom boyutu devreleri olmadığını ima ettiğini . Ben üstel zaman hiyerarşisinde, biliyoruz adildir ve ben de Kannan en sonucu olduğunu biliyoruz öyle ki . Tabii ki, teoremi (bunun …
1
kehanet olarak
Mu tutuşu!NPNP∩coNP=NPNPNP∩coNP=NP\mathsf{NP^{NP \,\cap\, coNP}=NP} Açıkçası , ama bana öyle geliyor ki "deterministik", bu da bunun doğru olduğuna inandırıyor.NPNP≠NPNPNP≠NP\mathsf{NP^{NP}\neq NP}NP∩coNPNP∩coNP\mathsf{NP\cap coNP} Basit bir kanıt var mı (ya da sadece tanım gereği)?
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.