«pspace» etiketlenmiş sorular

Bu gibi ölçülü bir Boole formülü olup olmadığına karar verme ∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),\forall x_1 \exists x_2 \forall x_3\cdots \exists x_n \varphi(x_1, x_2,\ldots , x_n), her zaman doğru olarak değerlendirir, klasik bir PSPACE-komple problemdir. Bu, alternatif hamle ile iki oyuncu arasındaki bir oyun olarak görülebilir. İlk oyuncu tek numaralı değişkenlerin gerçeğe uygun değerine, …

31 cc.complexity-theory  sat  gt.game-theory  pspace 

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 …

21 cc.complexity-theory  automata-theory  regular-expressions  pspace 

Arka fon Bir torpil var olduğu bilinmektedir AAA öyle ki, PSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A . Ayrılmanın rastgele bir kehanete göre olduğu bile bilinmektedir. Gayri, bir çok sayıda ürün kahinler olduğu anlamına bu yorumlayabilir PSPACEPSPACEPSPACE ve PHPHPH ayrıdır. Soru Karmaşık nasıl ayrı bu Kehanetlerini olan PSPACEPSPACEPSPACE ile ilgili PHPHPH . Özel olarak, …

17 cc.complexity-theory  oracles  relativization  pspace  structural-complexity 

Başka bir cstheorySE yazısında bir yorumda PSPACE tamlığının APX sertliği anlamına geldiğinden bahsedilmektedir . Herkes referansını açıklayabilir / paylaşabilir mi? Bu "sıkı" mı? (yani, optimizasyon problemi poli zamanında sabit faktör yaklaşımını kabul eden PSPACE-tamamlanmış problemler var mı?) PH seviyesinin bütünlüğü ne olacak? Yaklaşık bir sertlik ifade ediyor mu?

14 cc.complexity-theory  approximation-algorithms  approximation-hardness  np  pspace 

"Bazı boyama oyunlarının karmaşıklığı hakkında" makalesinde Bodlaender, 1 veya 2 numaralı oyuncunun bazı grafik boyama oyunlarında kazanma stratejisi olup olmadığına karar vermenin karmaşıklığı hakkında bazı açık sorular veriyor. Çözülüp çözülmediğini bilen var mı? 1) Bir oyunda, iki oyuncu sırayla bir grafikte bir tepe noktası seçer ve sabit bir sonlu setten …

12 graph-colouring  pspace  two-player-games 

Bu makale , kapıları ve baskı plakaları olan bir oyunda, (oyuncunun) avatarın belirli bir konuma ulaşıp ulaşamayacağını belirlemek PSPACE zor olduğunu kanıtlar. Bu, TQBF'den bir azalma ile kanıtlanmıştır ve elde edilen çözeltilerin uzunluğu, katlanarak formüldeki evrensel nicelleştiricilerin sayısına bağlıdır. Bir NPSPACE makinesinden, oyunun çözümlerinin uzunluğunun, makinenin kabul yollarının uzunluğu ile …

12 reductions  nondeterminism  pspace 

Polinom sayıda hamleden sonra biten tam bilgi iki oyunculu kombinatoryal oyunları düşünün ve alternatif bir şekilde oyuncular sınırlı sayıda izin verilen hamleden alır. Genel soru, belirli bir pozisyondan kazananı anlatmanın ne kadar zor olduğudur. Bir diğeri, kazanan bir pozisyondan kazanan bir hamle seçmenin ne kadar zor olduğudur. (Burada pozisyon oynadıktan …

11 cc.complexity-theory  np  board-games  pspace 

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