«space-bounded» etiketlenmiş sorular

Bu, somut bir cevaptan ziyade öznel bir soru olabilir, ama yine de. Karmaşıklık teorisinde, verimli hesaplamalar kavramını inceliyoruz. Gibi sınıflar vardır açılımı polinom zaman ve açılımı günlük alanı . Her ikisinin de bir tür "verimlilik" olarak kabul edildiği düşünülür ve bazı sorunların zorluklarını oldukça iyi yakalarlar.PP\mathsf{P}LL\mathsf{L} Ancak arasında bir fark …

49 cc.complexity-theory  space-bounded  big-picture 

LOGLOG'u, O (loglog n) uzamında deterministik bir Turing makinesi (girdiye iki yönlü erişime sahip) ile hesaplanabilecek dillerin sınıfı olarak tanımlayın. Benzer şekilde, NLOGLOG'u, O uzayında (log log n) belirlenemeyen bir Turing makinesi (girdiye iki yönlü erişimi olan) ile hesaplanabilen dillerin sınıfı olarak tanımlayın. Bu sınıfların farklı olduğu gerçekten bilinmiyor mu? …

32 cc.complexity-theory  reference-request  space-bounded 

ST-Bağlantı iki ayırt edici noktalar arasında yönlendirilmiş bir yolu vardır olup olmadığını belirlemenin bir sorundur ve yönlendirilmiş grafikte . Bu problemin logspace içerisinde çözülebilmesi, uzun zamandır açık bir problemdir. Bu vs sorunu denir .ssstttG ( V, E)G,(V,E)G(V,E)N-LN-LNLLLL altta yatan yönlendirilmemiş grafiği treewdth sınırlandırdığında ST-Connectivity'in karmaşıklığı nedir ?G,G,G NL-zor olduğu biliniyor …

31 cc.complexity-theory  graph-theory  space-bounded  treewidth  logspace 

Her şeyden önce, herhangi bir aptallık için şimdiden özür dilerim. Hiçbir şekilde karmaşıklık teorisi konusunda uzman değilim (ondan uzak! Karmaşıklık teorisinde birinci sınıfımı alan bir lisans öğrenciyim) İşte benim sorum. Şimdi Savitch Teoremi Şimdi bu alt sınırın sıkı olup olmadığını merak ediyorum, yani bu ulaşılamaz. NSPACE ( f ( n …

28 cc.complexity-theory  space-bounded 

Bu çok iyi bilinmektedir yönlendirilmiş St-bağlantı olup -Komple. Reingold atılım sonucu olduğunu gösterdi yönsüz st-bağlantı içindedir L . Düzlemsel yönelimli bağlantıların U L ∩ c o U L olduğu bilinmektedir . Cho ve Huynh parametreli bir sırt çantası problemini tanımladı ve L ve N L arasında bir problem hiyerarşisi sergiledi …

26 cc.complexity-theory  space-bounded 

Deterministik logspace'de ( ) saptanabilen herhangi bir problemin en çok polinom zamanda ( ) ortaya çıktığı açıktır . ve arasında bir çok karmaşıklık sınıfı var . Örnekler arasında , , , , , . olduğuna inanılmaktadır .P L P K L L O g Cı- F L , N Cı- …

24 cc.complexity-theory  lower-bounds  space-bounded 

Ağaç genişliği grafiğin bir ağaca ne kadar yakın olduğunu ölçer. Ağaç genişliğini hesaplamak NP-zordur. En iyi bilinen yaklaşım algoritması, faktörünü elde eder.O(logn−−−−√)O(logn)O(\sqrt{{\log}n}) Courcelle teoremi , monadik ikinci dereceden mantıkta (MSO2) tanımlanabilen herhangi bir grafik özelliğinin, sınırlı ağaç genişliğine sahip herhangi bir grafik sınıfı üzerinde doğrusal zamanda kararlaştırılabileceğini belirtir . Son …

23 cc.complexity-theory  ds.algorithms  graph-theory  space-bounded  treewidth 

Bir itibaren ardından önceki soruya , SAT için en iyi mevcut alan daha düşük sınırlar nelerdir? Boşluk alt sınırıyla burada, bir ikili çalışma bandı alfabesi kullanan bir Turing makinesi tarafından kullanılan çalışma bandı hücrelerinin sayısını kastediyorum . Sabit bir ilave terim kaçınılmazdır çünkü bir TM sabit sayıda çalışma bandı hücresini …

22 cc.complexity-theory  sat  lower-bounds  space-bounded  space-complexity 

olduğuna inanmak ya da ye inanmak için herhangi bir gerekçe var mıdır ?N L ≠ LN-L = LNL=LNL=LN-L ≠ LNL≠LNL\neq L olduğu bilinmektedir . Arasında derandomization literatürü oldukça tatmin edici olduğunu . ikna eden bazı makaleler veya fikirler hakkında bilgisi olan var mı ? R L R, L = L …

22 cc.complexity-theory  reference-request  complexity-classes  space-bounded 

Dil düşünün EQUALITY={anbn∣n≥0}EQUALITY={anbn∣n≥0} \mathtt{EQUALITY} = \{ a^nb^n \mid n \geq 0 \} . Bilinmektedir EQUALITYEQUALITY \mathtt{EQUALITY} bir sublogarithmic boşluk alternatif Turing makinesi (ATM) tarafından kabul edilemez (Szepietowski, 1994) . (Üyeler için sublogaritmik alan kullanan bir ATM var, ancak üye olmayanlar için değil!) Öte yandan, (1981) Freivalds tanıyabileceği sınırlı hatası sabit …

21 space-bounded  polynomial-time 

Immerman ve Szelepcsenyi , bağımsız bir şekilde kanıtlamıştır . Endüktif sayım bunların teknik kullanılarak, Borodin'e ve ark kanıtladı S bir C ı için, tamamlama altında kapatılır i > 0 . Reingold teoremi (öncesinde S L = L ), Nisan ve Ta-Shma kanıtlanmıştır S L = C O S L logspace …

20 cc.complexity-theory  space-bounded 

Genel olarak, bir kehanet için sorgu-bandı bir TM'nin alan karmaşıklığına doğru sayılır. Bununla birlikte, salt yazılır bir kehanet kasetine izin vermek mantıklı görünmektedir (L alanı azaltmalarında kullanılanlar gibi). Böyle bir yapı faydalı mı? Özellikle saçma sonuçlar veriyor mu?

20 cc.complexity-theory  space-bounded  oracles 

USTCONN, bir grafik G'de kaynak köşeden sss hedef köşeye bir yol olup olmadığına karar vermeyi gerektiren bir sorundur ; bunların tümü girişin bir parçası olarak verilmiştir.tttG,GG Ömer Reingold, USTCONN'un L'de olduğunu gösterdi (doi: 10.1145 / 1391289.1391291 ). Kanıt , zig-zag ürünü vasıtasıyla sabit dereceli bir genişletici oluşturur . Sabit dereceli …

19 cc.complexity-theory  lower-bounds  reductions  space-bounded 

zamanında bağlamsız bir dilbilgisini ayrıştırabilen çok sayıda algoritma vardır . Matris çarpımını kullanarak, asimptotik olarak bundan daha hızlı gidebilir.O(n3)O(n3)O(n^3) Ancak, bildiğim keyfi CFG'leri ayrıştırmak için tüm algoritmalar en kötü durum alan kullanımına sahiptir (ancak, itiraf etmek gerekirse, bu matris çarpma algoritmasının alan kullanımının ne olduğu hakkında hiçbir fikrim yok). Bu …

18 ds.algorithms  fl.formal-languages  space-bounded  parsing  context-free 

Son zamanlarda Watrous ve arkadaşları QIP (3) = PSPACE'in dikkate değer bir sonuç olduğunu kanıtladı. Bu, en azını söylemek benim için şaşırtıcı bir sonuçtu ve beni düşünmeye itti ... Quantum Bilgisayarların Klasik Bilgisayarlar tarafından verimli bir şekilde simüle edilebileceğini merak ettim. Bu, IP ve AM arasındaki Bölme ile ilgili SADECE …

18 cc.complexity-theory  quantum-computing  space-bounded  conditional-results  interactive-proofs