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ı?
Yanıtlar:
O (1) itfa edilmiş birleştirme süresi ile önemsiz bir şekilde , bir ağaçtan diğerine her şeyi birleştirme (O (n log n) değerine sahip olan, o ağacın oluşturulmasında kullanılanla aynı şekilde) yeniden yerleştirerek yapabilirsiniz. ilk etapta, bu yüzden toplam süre hala O (n log n)), ama bu hile yapıyor.
En kötü O (1) kez, yazarlar bunun herhangi bir veri yapısı için açık bir sorun olduğunu iddia ediyorlar, bu yüzden kolay bir cevap bulacağınızı sanmıyorum.
Bahsettiğiniz makaleyi indirdim ve en azından makalenin yayınlanma anında "hayır" cevabını veriyor. Bunun iki nedeni vardır:
ilgili çalışmayı düzgün bir şekilde gözden geçirmek için bir kağıt gereklidir ve bunu giriş bölümünde Şekil 1'de "hayır" yazan bir özetle yaparlar. En azından saygın bir konferansta yayınlanmışsa, ancak öyle görünüyorsa (Brodal, konuyla ilgili bir referans olan C. Okasaki tarafından "Tamamen işlevsel veri yapıları" nda birkaç kez alıntılanmıştır).
Bununla birlikte, metinde STOC '96'dan K&T belgesinde taslak olarak, arama süresi O (log n log log n) ve O (1) zamanda birleştirme içeren bir algoritmadan bahsedilir. Sizin için ilginç olabilir.
Nokta 1 ayrıca daha sonra herhangi bir sonuç bulmak için bu makaleden alıntı yapan kağıtları arayabilmenizi sağlar.
Eğer soru pratik olarak ilgiliyse (ama olması gerekmiyorsa), sabit faktörlerin O (1) ve O (log N) arasındaki farktan daha önemli olduğuna inanıyorum (Sedgewick'in algoritmalara girişinde tartışıldığı gibi), sadece uygulamanızın kullanım durumu için kıstaslar aramalısınız.