«ds.data-structures» etiketlenmiş sorular

Chris Okasaki'nin 1998 tarihli "Tamamen işlevsel veri yapıları" kitabından bu yana, çok fazla heyecan verici tamamen işlevsel veri yapısının ortaya çıktığını görmedim; Sadece birkaçını adlandırabilirim: IntMap (ayrıca 1998'de Okasaki tarafından icat edildi, ancak bu kitapta bulunmuyor) Parmak ağaçları (ve monoidler üzerine genellemeleri) Ağaç değişmezlerini sağlamak için "iç içe tipler" veya …

563 reference-request  big-list  ds.data-structures  functional-programming 

Paul Erdos, Tanrı'nın her matematik teoreminin en zarif kanıtını tuttuğu “Kitap” hakkında konuştu. Bu bile bir kitaptan esinlendi (şu anda 4. baskısında olduğuna inanıyorum): Kitaptaki Kanıtlar . Tanrı'nın algoritmalar için benzer bir kitabı olsaydı, hangi algoritmanın aday olacağını düşünüyorsunuz? Mümkünse, lütfen tıklanabilir bir referans ve çalışmasını sağlayan anahtar öngörüler sağlayın. …

358 ds.algorithms  soft-question  ds.data-structures  big-list 

Uygulanamayacak kadar karmaşık olan bazı meşru fayda algoritmaları nelerdir? Netleştireyim: Geçerli asimptotik en uygun matris çarpım algoritması (Coppersmith-Winograd) gibi algoritmaları aramıyorum, uygulanması makul ama pratikte işe yaramaz kılan bir sabiti var. Makul bir şekilde pratik değere sahip olabilecek algoritmalar arıyorum, ancak kodlamalarını yapmak çok zor, ancak bunların hiçbir zaman uygulanmadığını, …

67 ds.algorithms  ds.data-structures  big-list  implementation 

arka fon Birkaç yıl önce, ben lisanstayken, itfa edilmiş analiz üzerine bir ev ödevi verildi. Sorunlardan birini çözemedim. Ben bunu sormuştu comp.theory , ama tatmin edici bir sonuç ortaya çıktı. TA'nın kanıtlayamadığı bir konuda ısrar ettiğini ve ispatını unuttuğunu söylediğini hatırlıyorum, ve ... [ne biliyorsunuz]. Bugün, sorunu hatırladım. Hala bilmek …

59 ds.algorithms  ds.data-structures  open-problem  time-complexity 

Bir algoritmanın etkinliğini analiz etmenin iki yolu çalışma süresine asimptotik bir üst sınır koymak, ve Çalıştırmak ve deneysel verileri toplamak için. Merak ediyorum (1) ve (2) arasında önemli bir farkın olduğu durumlar var mı ? Bununla, (a) deney verilerinin daha sıkı bir asimptotik önerdiğini veya (b) teorik analizin X'in Y'den …

52 ds.algorithms  big-list  ds.data-structures 

Bu soru, 1998’de Okasaki’nin kitabının yayınlanmasından bu yana PFDS’deki yeniliklerle ilgili başka bir sorudan ilham almıştır . Sahip olduğum iki soru ile başlayacağım: Karma tabloların hızına yaklaşan tamamen işlevsel bir küme veri yapısı var mı? Denemeler henüz yok. O (1) ekli tamamen işlevsel parmak ağaçları var mı? Şimdiye kadarki en …

51 big-list  ds.data-structures  functional-programming 

İdeal olarak, aşağıdaki özelliklere sahip olan çoklu küme tam sayı kümesini saklamanın bir yolu olup olmadığını merak ediyorum: O (1) alanı kullanır Bir ekleme veya silme işleminin O (1) sürede yansıtılması için güncellenebilir İki özdeş koleksiyon (yani aynı çokluğa sahip aynı öğelere sahip olan koleksiyonlar) her zaman aynı değere sahip …

36 ds.algorithms  ds.data-structures  hash-function 

Bazı grafik algoritma uygulamalarını test etmek için büyük veri kümeleri kaynağı arıyorum. Ayrıca, eğer biliniyorsa kaynaktaki grafiklerin türü / dağılımı (örneğin, yönlendirilmiş / yönlendirilmemiş, basit / basit değil, ağırlıklı / ağırlıksız) hakkında da bazı bilgiler verin.

36 ds.algorithms  graph-theory  ds.data-structures  data-sets 

Bu nedenle, Bloom filtreleri oldukça havalıdır - üyelik kontrolünü yanlış negatifler olmadan, ancak küçük bir pozitif pozitif şansı destekleyen setlerdir. Son zamanlarda, bunun tersini garanti eden bir "Bloom filtresi" istiyordum: yanlış pozitif değil, potansiyel olarak yanlış negatif. Motivasyonum basit: işlenecek çok sayıda öğe akışı (çoğaltılmış olarak) verildiğinde, daha önce gördüğümüz …

35 ds.data-structures 

İyi bilinen algoritmaların çoğu, giriş ve çıkışlarının "düz" veri olduğu anlamında birinci derecedendir. Bazıları, örneğin sıralama, karma tablolar veya harita ve katlama işlevleri gibi önemsiz bir şekilde ikinci derecedir: bir işlev tarafından parametrelendirilirler, ancak diğer girdi verilerinin parçalarına çağrılması dışında gerçekten ilginç bir şey yapmazlar. Bazıları ayrıca ikinci dereceden fakat …

35 ds.algorithms  functional-programming  ds.data-structures  pl.programming-languages 

Sırasız bir nnn öğesi dizisi alan , ön işleme yapan ve sorguları cevaplayan bir veri yapısı var mı : Listede bazı öğeleri var , her sorguda en kötü mı?O ( n ) x O ( log n )O(n)O(n)xxO(logn)O(\log n) Gerçekten olmadığını düşünüyorum, bu yüzden hiçbirinin olmadığı bir kanıtı da memnuniyetle …

34 ds.data-structures  sorting 

Bilimsel hesaplama konusunda biraz tecrübem var ve BSP (ikili alan bölümleme) uygulamaları için yaygın olarak kd-ağaçları kullandım. Son zamanlarda, 3 Boyutlu Öklid uzaylarını bölmek için kullanılan benzer bir veri yapısı olan oktre'lere daha fazla aşina oldum, fakat toplananlardan düzenli aralıklarla çalışan bir tanesi. Bir parça bağımsızlık araştırması, kd-ağaçlarının çoğu veri …

32 ds.data-structures  tree 

Aşağıdaki işlemleri destekleyen bir öncelik sırası veri yapısı var mı? Insert (x, p) : p önceliği olan yeni bir x kaydı ekleyin StableExtractMin () : Kaydı asgari önceliğe döndürerek ekleme sırasına göre bağları koparın . Böylece, Eklemek (a, 1), Eklemek (b, 2), Eklemek (c, 1), Eklemek (d, 2), bir StableExtractMin's …

32 ds.data-structures 

Diyelim ki "S" ve S'de "P" yi gösteren monotonik bir "S" ifadesi var. EDIT : P değerlendirme sayısını en aza indirmekle ilgileniyorum . Bu problem için hangi algoritmalar var ve S için hangi özellikleri ve ek işlemleri gerektiriyorlar? Peki ya önemli özel durumlar, örneğin: S doğrusal bir düzendir - o …

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

Bu veri yapısını bulamadım, ancak bu alanda uzman değilim. Yapı bir küme uygular ve temel olarak değişmez olan bir karşılaştırılabilir elemanlar dizisidir. Değişmeyen aşağıdadır (özyinelemeli olarak tanımlanmıştır): Uzunluk 1 dizisi bir birleştirme dizisidir. 2 ^ n uzunluğunda bir dizi (n> 0 için) bir birleştirme dizisi iff: ilk yarı bir birleştirme …

27 ds.data-structures