«complexity-classes» etiketlenmiş sorular

Bu dilin hangi sınıfa ait olduğunu düşünüyordum: bir grafik, doğal bir sayı ve kromatik sayısıdırL={⟨G,k⟩∣GL={⟨G,k⟩∣GL =\{ \langle G,k \rangle \mid G kkkkkkG}G}G\} (1) "k-1 renklerinin renklenmesi yok" ve (2) " k renklerinin renklenmesi var" diye düşündüm . Şimdi, (1) coNP ve (2) NP-tamamlanmış olduğundan, bu dilin ne NP'de ne de …

11 cc.complexity-theory  np-hardness  complexity-classes 

UP sınıfı şöyle tanımlanır : NP makinesi tarafından çözülebilen karar problemlerinin sınıfı, Cevap 'evet' ise, tam olarak bir hesaplama yolu kabul eder. Cevap 'hayır' ise, tüm hesaplama yolları reddedilir. Bu tanım için sezgi geliştirmeye çalışıyorum. UP problemlerinin benzersiz çözümlerle ilgili problemler olduğunu söyleyebilir miyiz (örn. Asal çarpanlara ayırma)? Bu benim …

11 cc.complexity-theory  complexity-classes 

PP{\bf P} ve arasındaki bazı (göreceli olmayan) sözdizimsel karmaşıklık sınıflarının PSPACEPSPACE{\bf PSPACE}aşağıdaki özelliğe sahip olduğu bilinmektedir , P⊆CoNP⊆US⊆C=P⊆PP⊆PSPACEP⊆CoNP⊆US⊆C=P⊆PP⊆PSPACE{\bf P} \subseteq {\bf CoNP} \subseteq {\bf US} \subseteq {\bf C_=P} \subseteq {\bf PP} \subseteq {\bf PSPACE} . Bir (kesintisiz-relativized) sözdizimsel karmaşıklığı sınıfı vardır olmadığını merak ediyorum XX{\bf X} bu şekilde PP⊆X⊆PSPACEPP⊆X⊆PSPACE{\bf PP} …

11 cc.complexity-theory  complexity-classes 

NL⊈PNL⊈P\mathsf{NL} \nsubseteq \mathsf{P} Şimdi oracle kapıları olan devre ailelerini düşünün - örneğin, , burada , temeline eklenen oracle kapıları aracılığıyla başka bir sınıfına oracle erişimi olan günlük alanı içeren bir devre karmaşıklık sınıfıdır . Bu tür sınıflar için bilinen Ladner-Lynch gazetesine benzer ruhsal benzer patolojik örnekler var mı? Bu tür …

11 cc.complexity-theory  complexity-classes  circuit-complexity  oracles  relativization 

Cevap: bilinmiyor Bu soruyu ve onunla ilgili tanımları düzeltmeye yardımcı olan herkese çok teşekkürler. Bu vikinin tanımları daha yeni TCS wiki " P, varlığı PA veya ZFC'den bağımsız diller içeriyor mu? (TCS topluluk wiki) " için başlangıç ​​noktası sağlamıştır . Daha yeni wiki tercih edilir, çünkü tanımları ve isimlendirmesi bu …

11 cc.complexity-theory  complexity-classes  turing-machines  decidability 

Sanırım # P-Space olarak adlandırılırdı, ancak bundan bahseden sadece bir makale buldum. EXP-TIME-Complete, NEXP-Complete ve EXP-SPACE-Complete sorunlarının sayım versiyonuna ne dersiniz? Toda Teoremi gibi herhangi bir dahil etme veya dışlama ile ilgili olarak atıfta bulunabilecek daha önce yapılmış bir çalışma var mı?

11 cc.complexity-theory  complexity-classes  counting-complexity  pspace 

NP-Complete'in aksine bir probleme ve bunun muhtemelen NP-Intermediate olmasının sebebine nasıl bakılır? Bir soruna bakmak ve muhtemelen NP-Complete olup olmadığını söylemek oldukça basittir, ancak bir sorun NP-Orta olup olmadığını söylemek çok daha zor görünüyor, çünkü çizgi ikisi arasında oldukça ince görünüyor sınıflar. Temelde sorduğum, neden polinom zamanında doğrulanabilen (eğer varsa) …

11 cc.complexity-theory  complexity-classes  np-intermediate 

Köşegenleştirme ve rölativasyon sonuçlarına dayanmayan bir sınıf ayrımı gördüğümü hatırlamıyorum. Diyagonalleştirme hala bilinen bilinen sınıfları ayırmak için kullanılabilir, çünkü rölatifleştirmeyen argümanlar köşegenleştirme sonucunda veya köşegenleştirilmiş Turing makinesi yapısında hala kullanılabilir. İlgili bazı sorular: Köşegenleştirmeye dayalı olmayan sınıf ayrımı kanıtları var mı? Ve öyle olsa bile Arkalarında bir öz-referans mekanizması bulabilir …

11 cc.complexity-theory  complexity-classes  relativization  barriers 

NEXP ve aynı zamanda üstel zaman ve sadece bir alternatif (varoluşsal bir durumdan başlayarak) kullanarak alternatif bir TM tarafından çözülebilir bir sorun var.NPNP^{\text{NP}} NEXP hakkında bilinen bir şey var mı ? NEXP veya başka bir sınıfa eşit mi? Genel olandan başka tam sorunlar var mı (bir NEXP makinesi ve bir …

11 cc.complexity-theory  reference-request  complexity-classes  nexp 

Sadece veri türleri sayısal skalerler ve dizilerin keyfi yuvaları olan işlevsel bir programlama dili düşünün. Dilin sınırsız yinelemeden yoksun olması nedeniyle aşağıdakilere izin verilmez: Açık döngüler (yan etkiler olmadan fazla kullanılmaz) yineleme keyfi birinci sınıf fonksiyonlar (y birleştirici yok) Bununla birlikte, dil: üst düzey fonksiyonlar lexically scoped izin bağlamaları dallanma …

11 complexity-classes  functional-programming  dc.parallel-comp 

NP tanımında iki varyasyon vardır. Onlar (neredeyse kesinlikle) farklı karmaşıklık sınıfları tanımlarlar, ama sorum şu: bu sınıflara uyan sorunların doğal örnekleri var mı? (Burada doğal olarak kabul edilenler için eşiğim normalden biraz daha düşük.) Sınıf 1 (NP'nin bir süper sınıfı): Süperpolinom ancak doğrulamak için alt-üst zaman alan polinom büyüklüğündeki tanıklarla …

11 cc.complexity-theory  complexity-classes  np 

, Cohen / Baire kategorisi anlamında genel bir kehanet olsun . Let rastgele bir torpil olabilir.RGGGRRR Orada karmaşıklık sınıfı A ve B istiyorsunuz veya , A G ≠ B GAG=BGandAR≠BRAG=BGandAR≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne \mathrm{B}^RAG≠BGandAR=BR?AG≠BGandAR=BR?\mathrm{A}^G\ne\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R= \mathrm{B}^R\text{?} Soru, Scott Aaronson'un yorumundan ilham aldı .

11 cc.complexity-theory  complexity-classes 

Bu sorunun açık bir cevabı olabilir ... ama yine de soru. Sezgisel olarak şu mantıklı ifadedir - "altyordam B'ye sahip bir altyordam A olan bir makine, altyordam B'ye erişimi olan bir altyordam A'ya sahip bir makine ile aynıdır". Bu sorunu resmi olarak tanımlamak için bazı alışılmadık gösterim kullanacağım. Dediğimde , …

11 complexity-classes  oracles 

Bu, önceki sorumun genelleştirilmesidir . Let MMM bazı kahin soru sorabilir bir polinom zamanlı deterministik makine olmak birbirA . Başlangıçta birbirA boştur ancak bu, aşağıda anlatılacak olan bir oyundan sonra değiştirilebilir. Let xxx bazı dize. Aşağıdaki Alice ve Bob oyununu düşünün. Başlangıçta Alice ve Bob sırasıyla mbirmbirm_A ve mBmBm_B dolarlarına …

10 cc.complexity-theory  complexity-classes  gt.game-theory 

Let bazı kahin soru sorabilir bir polinom zamanlı deterministik makine olmak . Başlangıçta boştur ancak bu, aşağıda anlatılacak olan bir oyundan sonra değiştirilebilir. Let bazı dize.MMMbirbirAbirbirAxxx Aşağıdaki Alice ve Bob oyununu düşünün. Başlangıçta Alice ve Bob sırasıyla ve dolara . Alice istiyor ve Bob istiyor .mbirmbirm_AmBmBm_BMbir( x ) = 1Mbir(x)=1M^A(x)=1Mbir( …

10 cc.complexity-theory  complexity-classes  gt.game-theory