«space-bounded» etiketlenmiş sorular

Genel Soru Uzay hiyerarşisi teoremi muntazam olmayan hesaplamaya genellenir mi? İşte birkaç özel soru daha: L/poly⊊PSPACE/polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Tüm mekanda yapılandırılabilir işlevler için DSPACE (o (f (n))) / poly \ subsetneq DSPACE (f (n)) / poly mi?D S P A C E ( o ( f ( n ) ) …

11 cc.complexity-theory  space-bounded  space-complexity  advice-and-nonuniformity  hierarchy-theorems 

Ortalama vaka alanı karmaşıklığı analiz edilen sorunları bulmaya çalışıyorum. Daha spesifik olarak, süper doğrusal olan kanıtlanmış bir alan karmaşıklığı alt sınırı ile ilgili herhangi bir sorun olup olmadığını bilmek istiyorum ve özellikle bir ortalama-durum analizi (örneğin, algoritmaya izin verilse bile sınır tutar) küçük bir süre için hata yapmak vb.) Şimdiden …

11 cc.complexity-theory  reference-request  space-bounded  average-case-complexity 

Uzay tarafından oluşturulabilen ancak zamana bağlı olmayan bir fonksiyonunu gösterin f(n)f(n)f(n). Bu sorun DTIME (f (n)) ve SPACE (f (n)) karmaşıklık sınıfları arasındaki olası bir ayrımla mı ilgili?

10 cc.complexity-theory  space-bounded  separation 

Güncelleme: Bu sorun son zamanlarda incelenmiş ve çözülmüş gibi görünüyor, şu wiki makalesine bakın: http://en.wikipedia.org/wiki/Tree_walking_automaton Ve ayrıca bu anket: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Farz edin ki, olağan kelime kümesi ({0,1} *) yerine, sözlerimiz doğrusal değildir, daha çok bazı ağaç yapılarında verilmiştir. Makinelerimizin "kaybolmasını" önlemek için, kelimelerimizi ikili, gömülü ağaç kümesi olarak tanımlayın. …

10 cc.complexity-theory  automata-theory  space-bounded  dfa 

Sınırlı ziyaret belirsizliği olmayan doğrusal sınırlı otomata sadece normal dilleri tanıyor mu? Belirsiz doğrusal sınırlanmış otomat (nLBA) ile, girdinin her iki uçta asla üzerine yazılamayacak uç işaretleri ile "dolgulu" geldiği ve böylece kafanın asla giriş bölgesinden çıkamayacağı tek bantlı, belirsiz bir Turing makinesi kastediyorum, "dış" bitiş işaretleri. Bir sayı varsa …

9 automata-theory  turing-machines  regular-language  space-bounded 

Altküme Toplamı adı verilen NP-Komple Sorununun bir FPTAS'ı olduğu iyi bilinmektedir. Ben de bir FPTAS olan bir PSPACE Complete sorunu olup olmadığını merak ediyordum? Şimdiden teşekkürler.

9 ds.algorithms  space-bounded  big-picture