Haskell'de etkin bir kuyruk

Question

Listenin başına ve sonuna 2 görünüm alabildiğim bir liste veri yapısını verimli bir şekilde uygulayabilirim. yani:

start x = [] 
end x = reverse start -- [] 
start1 = [1,2,3] ++ start 
end start1 -- [3,2,1] 

uç 'ters' yürütmesini ama sadece otomatik tersten olmanın listenin perspektifinden verilen listeye bakmadan bunu yapmak mümkün olmalıdır. Başlamak için birleştirmelerden yeni listeler oluşturursam da aynısı geçerli olmalıdır.

Answer 1

Her zamanda Data.Sequence kullanabilirsiniz. Tamamen işlevsel bir kuyruğun iyi bilinen bir uygulaması iki liste kullanmaktır. Bir deque ve diğeri dequeue için. Enqueue sadece enqueue listesi ile birlikte olur. Dequeue, dequeue listesinin başını alır. Dequeue listesi boş olduğunda, enqueue listesini tersine çevirerek tekrar doldurun. Bu uygulama reverse kullanıyor olsa da, bu amortize edilmiş zaman maliyeti asimptotik olarak önemsizdir (bkz. Chris Okasaki'nin Purely Functional Datastructures.

). Her bir deger için, dequeue list dolgusu için Θ (1) 'lik bir zaman borcuna maruz kalacaksınız. Bir dequeue'nin beklenen süresi bu nedenle bir değerin iki katıdır. Bu sabit bir faktördür, bu nedenle her iki operasyonun maliyeti de Θ (1).

Answer 2

Ben gerçekten bir Haskell kullanıcısı değilim, ama amortize sabit zamanda çalıştırılabilen bir Haskell kuyruğunu açıkladığı iddia edilen a blog post buldum. Chris Okasaki'nin mükemmel İşlevsel Veri Yapıları'ndan bir tasarıma dayanıyor.

Answer 3

Data.Dequeue Ne arıyorsunuz?

(O reverse yok ama oldukça kolayca ekleyebilir ve yazara bir yama gönderebilir.)