«space-complexity» etiketlenmiş sorular

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 

Palindromların -bantlı Turing makinelerinde lineer zamanda tanınabildiği , ancak tek bantlı Turing makinelerinde tanınamadığı iyi bilinmektedir (bu durumda gereken zaman ikinci derecelidir). Doğrusal zaman algoritması girdinin bir kopyasını kullanır ve böylece doğrusal bir boşluk kullanır.222 Çok bantlı bir Turing makinesinin doğrusal zamanındaki palindromları sadece logaritmik bir alan kullanarak tanıyabilir miyiz? …

20 cc.complexity-theory  time-complexity  space-complexity  space-time-tradeoff 

Matris sıralaması, özdeğer hesaplaması vb. Gibi ortak doğrusal cebir işlemlerinin uzay karmaşıklığı ile ilgili sonuçları kapsayan bir anket kağıdı veya bir kitap arıyorum. zaman sonuçlarını izlemek daha kolaydır. Konuyla ilgili herhangi bir referansı takdir ediyorum. Teşekkürler.

19 linear-algebra  space-complexity 

Savitch teoremi gösteren tüm yeterince büyük fonksiyonlar için fN S P A C E (f( n ) ) ⊆ D S P A C E ( f( n )2)NSPACE(f(n))⊆DSPACE(f(n)2)\mathrm{NSPACE}(f(n)) \subseteq \mathrm{DSPACE}(f(n)^2)fff ve bu sıkı yıllardır açık bir sorun olmuştur kanıtlayan . Soruna diğer uçtan yaklaştığımızı varsayalım. Basit olması için Boole …

16 cc.complexity-theory  automata-theory  space-bounded  space-complexity 

Makalelerinde Yaklaşık Uzaklık Oracles , Thorup ve Zwick bir ağırlıklı yönsüz grafik için, bir veri büyüklüğü yapısını inşa etmek mümkün olduğunu göstermiştir bir dönebilir ( 2 k - 1 ) -approximate grafikteki herhangi bir köşe çifti arasındaki mesafe.O(kn1+1/k)O(kn1+1/k)O(k n^{1+1/k})(2k−1)(2k−1)(2k-1) Temel düzeyde, bu yapı uzaya yakın bir değiş tokuş yapar - …

14 ds.algorithms  graph-theory  approximation-algorithms  space-complexity 

Bu konuda biraz araştırma yapmıştım ama her iki şekilde de bir cevap bulamadım. Huck buna tamamen cevap verdi. Teşekkürler :)

14 cc.complexity-theory  complexity-classes  time-complexity  space-complexity 

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 

Elberfeld, Jakoby ve Tantau 2010 ( ECCC TR10-062 ) Bodlaender teoreminin alan açısından verimli bir versiyonunu kanıtladı. Bunlar en az treewidth ile grafikler için gösterdi , genişliği bir ağaç ayrışma k logaritmik alan kullanılarak bulunabilir. Bağlı boşluktaki sabit faktör k'ye bağlıdır . (Bodlaender teoremi, sabit faktörde k'ye üstel bir bağımlılık …

10 cc.complexity-theory  sat  treewidth  space-complexity