«space-time-tradeoff» etiketlenmiş sorular

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 

Girdi boyutunda alt doğrusal olan çalışma alanını kullanarak aynı uzunluktaki iki dize arasındaki tam düzenleme mesafesini hesaplamanın en iyi bilinen karmaşıklığı nedir? Girişin salt okunur biçimde saklandığını varsayıyorum. Bu daha önce çalışılmış bir problem mi? Soruyu biraz daha belirgin hale getirmek için, alanı, her girdi dizesinin uzunluğu olduğu nasıl olur.nΘ …

19 ds.algorithms  edit-distance  space-time-tradeoff 

Deterministik günlük alanında ( ) karar verilebilen herhangi bir sorunun en çok polinom zamanında ( P ) oluştuğunu görmek kolaydır . Bilinen birçok günlük alanı algoritması (Örneğin: yönlendirilmemiş st-bağlanabilirlik, düzlemsel grafik izomorfizmi) k'nin delice büyük olduğu O ( n k ) ' de çalışır.LLLPPPO(nk)O(nk)O(n^k)kkk Ben Çözülebilir eşzamanlı deterministik logspace ve …

17 cc.complexity-theory  space-bounded  space-time-tradeoff 

Genel amaçlı uzay-zaman ödünleşimleri hakkında yayınlanan sonuçların erken tarihiyle ilgileniyorum. Özellikle, veri akışı grafiğinin derinliği (genişlik değil) ile orantılı boşluk kullanarak derece O (1) ile rasgele bir veri akışı grafiğine sahip bir hesaplamayı değerlendirmek için aşağıdaki algoritma türünü kimin ilk açıkladığını bilmek istiyorum. Grafiğin basit bir derinlik-ilk değerlendirmesini yaparak. Daha …

14 cc.complexity-theory  ho.history-overview  space-time-tradeoff 

(zaten ana sitede sorulmuş , ancak burada daha iyi kapsama alanı istemek için üzgünüm) Ben haberi yana Özlü Veri Yapıları o bölgede en son gelişmeleri iyi bir genel umutsuz ihtiyacı var. Google'ı kafamın üstünden gelen isteklerde google sonuçlarında görebildiğim birçok makaleyi googled ve okudum. Burada önemli bir şeyi kaçırdığımdan şüpheleniyorum. …

14 reference-request  ds.data-structures  advice-request  space-time-tradeoff 

Bazı dil düşünün :LLL L ∈ D TbenME( O ( f( n ) ) ) ∩ D SPA CE( O ( g( n ) ) )L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) Ve böylece L ∉ D TbenME( o ( f( n ) ) ) ∪ D SPA CE( o ( g( …

14 cc.complexity-theory  ds.algorithms  open-problem  space-time-tradeoff 

3SAT [ 1 ] için alt sınırlarla ilgili tartışmayı takiben, uzay-zaman ödünleşimi olarak formüle edilen ana alt sınır sonuçlarının ne olduğunu merak ediyorum. Savitch'in teoremi gibi sonuçları hariç tutuyorum; iyi bir giriş tek bir soruna ve sınırlarına odaklanır. Örnek olarak şunlar verilebilir: "T ve S, herhangi bir SAT algoritmasının çalışma …

13 cc.complexity-theory  ds.algorithms  big-list  space-time-tradeoff 

ve boyutunda iki dize , standart Levenshtein düzenleme mesafesi hesaplaması, zaman karmaşıklığı ve boşluk karmaşıklığı olan dinamik bir algoritma ile . (Düzenleme mesafesinin bir fonksiyonu olarak bazı iyileştirmeler yapılabilir , ancak nin özellikle küçük olduğu konusunda herhangi bir varsayımımız yoktur .) Yalnızca düzenleme mesafesinin değeri ile ilgileniyorsanız (yani, minimum düzenleme …

12 cc.complexity-theory  dynamic-algorithms  edit-distance  space-time-tradeoff 

Burada, böyle bir şeyin mümkün olup olmadığını düşündüren geçişli tamamlama hakkında birkaç soru ( 1 , 2 , 3 ) vardı: Girdi yönelimli bir grafiği aldığımızı ve ? ' " türündeki sorguları yanıtlamak istediğimizi varsayalım , yani grafiğinin geçişli tamamlanmasında iki köşe arasında bir kenar olup olmadığını sormak ister misiniz? …

9 graph-theory  graph-algorithms  space-time-tradeoff  transitive-closure