«space-bounded» etiketlenmiş sorular

Hesaplama karmaşıklığı veya algoritmalarında hesaplamaların uzay kaynakları hakkında sorular.

1
Hangi sonuçlar kuantum alanı ilginç kılıyor?
Zaman sınırlı kuantum hesaplaması çok ilginçtir. Uzay sınırlı kuantum hesaplamaya ne dersiniz? Sublogaritmik uzay sınırları ve çeşitli kuantum otomata modelleri ile kuantum hesaplaması için birçok ilginç sonuç biliyorum. Öte yandan, sınırsız hata olasılığının ve kuantum boşluğunun, herhangi bir uzayda inşa edilebilir için eşdeğer olduğu gösterilmiştir (Watrous, 1999 ve 2003 ).s(n)∈Ω(log(n))s(n)∈Ω(log⁡(n)) …
3
Verimli günlük alanı algoritmaları
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 …
1
Belirsiz ve deterministik mekan arasındaki ikinci dereceden ilişki?
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 …
1
SAT için bağlama duyarlı dilbilgisi?
Kuroda'nın klasik bir sonucu olarak, karmaşıklık sınıfı NSPACE [ ]nnn (NLIN-SPACE olarak da bilinir), tam olarak bağlama duyarlı dillerin sınıf CSL'sidir . Bir çözüm için doğrusal boyutlu bir tahmin, defter tutma için en fazla lineer miktarda ek yük ile kontrol edilebildiğinden SAT'ın doyurulma problemi NSPACE [ ] 'dir. Bu SAT'ın …
1
Tamlık ve Bağlama Duyarlı Diller.
Bağlama duyarlı diller (CSL) ve eksiksizlik ile ilgili iki soru ile ilgileniyorum : CSL için eksiksizlik kavramı var mı ve hangi diller eksiksiz? NP-tamamlanmış doğal CSL var mı? 2. için, kesinlikle CSL olan doğal NP-tam dilleri düşünebilirim (CSL NSPACE [ ], SAT bir CSL'dir ), ancak başka bir yol arıyorum, …
2
Bağlantı için SC ^ 2 algoritmaları
Savitch , 2 ) anlamına gelen O ( log 2 n ) alanı kullanarak st-bağlanabilirliği çözmek için deterministik bir algoritma verdi . Savitch'in algoritması zamanında çalışır . St-bağlanabilirliğin polinom zamanı ve uzayında deterministik bir algoritma ile çözülüp çözülemeyeceği, yani olup olmadığı önemli bir açık sorundur . arasında durmaktadır, ve , …
2
SPACE karmaşıklık sınıflarının kuantum analogları
Turing makinemizin kullanabileceği alan miktarıyla sınırlı olduğumuz karmaşıklık sınıflarını sık sık değerlendiriyoruz, örneğin: veya NSPACE ( f ( n ) ) . Karmaşıklık teorisinin başlarında bu sınıflarda uzay hiyerarşi teoremi ve L ve PSPACE gibi önemli sınıflarda yaratılış gibi çok başarılı olduğu görülüyor . Kuantum hesaplaması için benzer tanımlar var …
2
Alan dönüşümlü hiyerarşi
Bu Immerman ve Szelepcsenyi sayesinde bilinmektedir Eğer (hatta boşluk olmayan inşa edilebilir fonksiyonlar için).f = Ω ( log )NSPACE(f)=coNSPACE(f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f=Ω(log)f=Ω(log)f=\Omega(\log) Aynı makalede Immerman, günlük alanı alternatif hiyerarşisinin çöktüğünü belirtir, bu da (sınırlı değişen turing makinesinin tanımı ve wikipedia'da bulunan bir hiyerarşidir ).ΣjS P A C E (günlük)= N S …
1
DSPACE'deki Zaman Hiyerarşileri (O (s (n)))
Zaman hiyerarşi teoremi, turing makinelerinin (yeterli) daha fazla zamanları varsa daha fazla sorunu çözebileceğini belirtir. Alan asimptotik olarak sınırlıysa bir şekilde dayanıyor mu? Nasıl yok ilgili ise yeterince hızlı büyüyor mu?DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n)))DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n)))fgfg\frac{f}{g} Özellikle , ve olmasıyla ilgileniyorum .s(n)=ns(n)=ns(n) = ng(n)=n3g(n)=n3g(n) = n^3f(n)=2nf(n)=2nf(n) = 2^n Özellikle, aşağıdaki dili : Lk:={(⟨M⟩,w):M …
3
Küçük alanda olasılık sırasına göre vektörler üzerinde tekrarlama
Bir göz önünde boyutlu vektör burada . Her biliyoruz ve bağımsız olduğunu varsayalım . Bu olasılıkları kullanarak, çıktı boyutunda alt çizginin alt alanını kullanarak, büyük olasılıkla en az olasılıkla (bağlar için keyfi seçimlerle) ikili boyutlu vektörler üzerinde tekrarlamanın etkili bir yolu var mı? nnnvvvvi∈{0,1}vi∈{0,1}v_i \in \{0,1\}iiipi=P(vi=1)pi=P(vi=1)p_i = P(v_i = 1)viviv_innn …
2
Çok kutuplu otomata, bağlama duyarlı tüm belirleyici dillere karar verebilir mi?
Bir MPA (multipebble otomat) bir 2DFA aslında en fazla çakıl (keyfi numarasını kullanabilirsiniz (iki yönlü deterministik sonlu durum makinesi) 'dir belirli bir girdinin üzerine çakıl giriş iki ucu arasındaki bantta yazılır - - ). Hesaplama sırasında, bir MPA kafanın altındaki sembolün bir çakıl taşı olup olmadığını tespit edebilir ve daha …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.