«ds.data-structures» etiketlenmiş sorular

"Gerçek olamayacak kadar iyi" veri yapılarının varlığını dışlayan sonuçlar biliniyor mu? Örneğin: sipariş bakım verisi yapısına (bkz. Dietz ve Sleator STOC '87 ) ve J o i n işlevselliği eklenebilir ve yine de O ( 1 ) zaman işlemi elde edilebilir mi?SplitSplitSplitJoinJoinJoinO(1)O(1)\mathcal{O}(1) Veya: Tamsayı tuşları ve zaman işlemleri ile sıralı …

14 ds.data-structures  big-list  lower-bounds  time-complexity 

Ben tamamen işlevsel bir şekilde bir DBMS yazma fikrini araştırıyorum. İndeksleme için kullanılan geleneksel veri yapısı B-Tree'dir. Disk erişimini en aza indirgemek için optimize edilecek tamamen işlevsel bir B-Tree eşdeğerini bilmek istiyorum. Teşekkürler.

14 ds.data-structures  functional-programming  db.databases 

Tamamen işlevsel bir ortamda, tek başına bağlı olmayan listeyi düşünün. Övgüler dağ tepelerinden söylenmiştir ve söylenmeye devam edecektir. Burada birçok güçlü yönünden birini ve bunun ağaçlara dayanan daha geniş bir tamamen işlevsel sekans sınıfına nasıl genişletilebileceği sorusunu ele alacağım. Sorun şudur: O (1) zamanında neredeyse kesin yapısal eşitliği güçlü bir …

14 ds.data-structures  cr.crypto-security  functional-programming  hash-function 

Bir kitaplıktaki bir hatayı düzeltmeye çalışırken, kırmızı ve siyah ağaçlarda sübvansiyon bulmak için yazılar aradım. Değişmez veri yapıları için silme algoritmalarında kullanılan normal ekleme işlemine benzer fermuarlar ve benzer bir şey kullanarak bir çözüm düşünüyorum , ancak hala bulamadığım daha iyi bir yaklaşım olup olmadığını ve hatta minimum karmaşıklık sınırını …

14 ds.data-structures  tree 

Sorusu Okasaki beri tamamen fonksiyonel veri yapıları yenilikler? ve jbapple'ın epik yanıtı, son zamanlarda ilgilendiğim bir şey olan fonksiyonel programlamada (mantık programlamanın aksine) fark listeleri kullanılarak belirtildi. Bu , Haskell için fark listesi uygulamasını bulmamı sağladı . Ben iki soru var (Onları StackExchange iki farklı soru yapmak beni affet / …

14 reference-request  ds.data-structures  pl.programming-languages  functional-programming  logic-programming 

Eğer topları rastgele olarak n kutularına yerleştirilirse , en ağır yüklü kutuda yüksek olasılıkla O ( lg n / lg lg n ) topları bulunur. In "Basit Tablolama Hashing Gücü" , Pătraşcu ve Thorup söz o "sınırlı bağımsızlık uygulamalar için Chernoff-Hoeffding sınırları" ( ayna ) topları bir tarafından dağıtılır eğer …

13 ds.data-structures  randomness  hash-function  independence 

N boyutu bir tamsayı tablosu korumak ve zaman O ( log n ) aşağıdaki işlemlere izin verecek bir veri yapısı arıyorum .tttnnnO(logn)O(log⁡n)O(\log n) artırır, t [ a ] , t [ a + 1 ] , ... , t [ b ] .increase(a,b)increase(a,b)\text{increase}(a,b)t[a],t[a+1],…,t[b]t[a],t[a+1],…,t[b]t[a],t[a+1],\ldots,t[b] t [ a ] , t [ …

13 ds.data-structures  cg.comp-geom 

İki ikili arama ağacının sıralı geçişlerini kabul ettiklerinde doğrusal olarak eşdeğer oldukları söylenir. Aşağıdaki teorem, ağaç dönüşlerinin neden bu kadar temel olduğunu açıklar: A ve B ikili arama ağaçları olsun. Daha sonra A ve B, sadece ve bir dizi ağaç rotasyonu ile bağlıysa doğrusal olarak eşdeğerdir. Uzun zaman önce veri …

13 reference-request  ds.data-structures 

Hücre sondası modelini düşünün. Herhangi bir uzunluktaki (örneğin C'deki malloc gibi) bitişik bellek yığınlarını ayırabilen ve onları serbest bırakarak, bellek bölümlemesinden kaçınarak ve n'nin olduğu en kötü durum deterministik O (log n) zamanında her işlemi gerçekleştirebilen bir veri yapısı var mı? toplam bellek boyutu? Bellek bölümlemesinden kaçınarak, toplam serbest hücre …

12 ds.data-structures  memory 

Aşağıdaki işlemlerle sözcüklerini kullanan , en kötü durumda ve rasgele erişime sahip olmayan bir tamsayı öncelik kuyruğunda var mı :O ( n )O(n)O(n) createEmptyQueueiçerisinde için bir sabit .cO ( l gcU)O(lgcU)O(lg^c U)ccc insertiçerisinde .O ( 1 )O(1)O(1) deleteMiniçerisinde , burada \ ö _ {\ dak} küçük ve en küçük ikinci …

12 ds.data-structures 

(dahil etme sırasına göre) güç kümesi üzerinde monoton bir yüklem düşünün . "Tekdüze" ile kastediyorum: , , eğer sonra . Ben tüm asgari unsurları bulmak için bir algoritma için arıyorum yani, öyle ki ama , . Genişliğine yana olduğu , n tercih n / 2 \2 | n | ∀ …

12 ds.algorithms  ds.data-structures  partial-order  order-theory  search-problem 

Filtrenin M-bitlerinin (M <= N) ayarlandığı N-bit ve K hash fonksiyonları boyutlarında bir çiçek filtresi verilir. Bloom filtresine yerleştirilen elemanların sayısına yaklaşmak mümkün mü? Basit Örnek 10 bitlik ayarlanmış 100 bitlik ve 5 karma işlevli bir BF varsayarak, aşağıdaki örnek üzerinde mulling yapıyorum ... En iyi durum senaryosu: Karma işlevlerinin …

12 ds.data-structures  pr.probability 

Bu soru, yığının her işlem için itfa edilmiş zamanında iki kuyruk kullanılarak simüle edilip edilemeyeceğine dair mevcut bir sorudan ilham alıyor . Cevap bilinmemektedir. İlk önce tüm PUSH işlemlerinin, ardından tüm POP işlemlerinin gerçekleştirildiği özel duruma karşılık gelen daha spesifik bir soru. Başlangıçta boş iki kuyruk kullanılarak bir öğesinin listesi …

12 ds.algorithms  ds.data-structures  lower-bounds  time-complexity  sorting 

Gelen Tamamen İşlevsel En kötü durum Constant Zaman Catenable Sıralama Listelerinde , Brodal vd. O (1) birleştirme ve O (lg n) ekleme, silme ve bulma ile tamamen işlevsel dengeli ağaçlar sunar. Veri yapısı biraz karmaşıktır. O (1) sıralı, işlevsel veya değil, daha basit dengeli bir arama ağacı var mı?

12 functional-programming  ds.data-structures 

Ters Ackermann işlevi, algoritmalar analiz edilirken sıklıkla görülür. Harika bir sunumu burada: http://www.gabrielnivasch.org/fun/inverse-ackermann . α1(n)=[n/2]α1(n)=[n/2]\alpha_1(n) = [n/2] α2(n)=[log2n]α2(n)=[log2⁡n]\alpha_2(n) = [\log_2 n] α3(n)=log∗nα3(n)=log∗⁡n\alpha_3(n) = \log^* n ve ......... αk(n)=1+αk(αk−1(n))αk(n)=1+αk(αk−1(n))\alpha_k(n) = 1 + \alpha_k(\alpha_{k−1}(n))α(n)=min{k:αk(n)≤3}α(n)=min{k:αk(n)≤3}\alpha(n) = \min\{k: \alpha_k(n)\leq 3\} [Gösterim: [x], x işaretini en yakın tam sayıya yuvarladığımız anlamına gelirken, log here burada …

11 ds.algorithms  ds.data-structures  bounds