Day – Stout – Warren algoritması - Day–Stout–Warren algorithm

Day – Stout – Warren (DSW) algoritması verimli bir şekilde dengelemek için bir yöntemdir ikili arama ağaçları - yani boylarını Ö (günlük n) düğümler, nerede n toplam düğüm sayısıdır. Aksine kendini dengeleyen ikili arama ağacı, bunu her operasyon sırasında artımlı olarak değil, periyodik olarak yapar, böylece maliyeti olabilir itfa edilmiş birçok işlem üzerinde. Algoritma, Quentin F.Stout ve Bette Warren tarafından 1986 yılında tasarlandı. CACM kağıt[1] Colin Day tarafından 1976'da yapılan işe dayanmaktadır.[2]

Algoritma doğrusal (O (n)) zaman ve yerinde. Day by orijinal algoritma, olabildiğince kompakt bir ağaç oluşturur: ağacın tüm seviyeleri, muhtemelen en alttaki hariç, tamamen doludur. İki aşamalı olarak çalışır. İlk önce ağaç bir bağlantılı liste vasıtasıyla sırayla geçiş, işaretçileri yeniden kullanarak (dişli ) ağacın düğümleri. Bir dizi sola dönüşler ikinci aşamayı oluşturur.[3]Stout-Warren modifikasyonu, tam bir ikili ağaç oluşturur, yani en alttaki düzey kesinlikle soldan sağa doğru doldurulur. Bu, daha fazla eklemenin yapılmayacağı biliniyorsa gerçekleştirilmesi yararlı bir dönüşümdür. Ağacın diş açılmasını gerektirmediği gibi, sabit alan çalıştırmak için.[1] Orijinal algoritma gibi, Day – Stout-Warren iki aşamada çalışır; ilki tamamen yeni, ikincisi ise Day'in rotasyon aşamasının bir modifikasyonu.[1][3]

Timothy J. Rolfe'nin 2002 tarihli bir makalesi dikkati DSW algoritmasına geri getirdi;[3] adlandırma Adam Drozdek'in ders kitabındaki "6.7.1: DSW Algoritması" başlığındadır.[4] Rolfe iki ana avantajdan bahseder: "işlemenin başlangıcında bir ikili arama ağacının tamamını oluşturduğu, ardından işlemin geri kalanı için öğe arama erişiminin takip ettiği durumlarda" ve "veri yapıları üzerine bir dersin ilerleyişinde pedagojik olarak İkili arama ağacı, bir ikili arama ağacında rotasyonlar yapmaya ilk kez maruz kaldığı için kendi kendini ayarlayan ağaçlara dönüşür. "

Sözde kod

Aşağıda, temel DSW algoritmasının bir sunumudur. sözde kod, Stout-Warren gazetesinden sonra.[1][not 1] Üç ana rutinden oluşur. alt programlar. Ana rutin şu şekilde verilmektedir:

  1. "Sözde kök" olan bir düğüm atayın ve ağacın gerçek kökünü sözde kökün doğru çocuğu yapın.
  2. Telefon etmek ağaçtan asmaya sözde kök argümanı olarak.
  3. Telefon etmek asmadan ağaca sözde kök ve ağacın boyutu (eleman sayısı) üzerinde.
  4. Ağacın gerçek kökünü sözde kökün sağ çocuğuna eşit yapın.
  5. Sözde kökü atın.

Alt programlar aşağıdaki gibi tanımlanır:[not 2]

rutin ağaçtan asmaya (kök) // Ağacı bir "asma" ya dönüştürün, yani sıralı bir bağlantılı liste, // liste kuyruğundaki sonraki düğümü işaret etmek için doğru işaretçileri kullanarak ← kök dinlenme ← kuyruk. sağ süre dinlenme nil Eğer rest.left = nil tail ← dinlenme dinlenme ← rest.right Başka            sıcaklık ← dinlenme. sol dinlenme. sol ← sıcaklık sağ sıcaklık sağ ← dinlenme dinlenme ← geçici kuyruk. sağ ← sıcaklık
rutin Asmadan ağaca (kök, boyut) yapraklar ← boyut + 1 - 2⌊Log2(boyut + 1)) ⌋    sıkıştır (kök, yapraklar) boyut ← boyut - yapraklar süre boyut> 1 sıkıştırma (kök, ⌊size / 2⌋) boyut ← ⌊size / 2⌋
rutin tarayıcıyı sıkıştır (kök, say) ← kök için i ← 1 -e çocuk sayımı ← tarayıcı. sağ tarayıcı. sağ ← çocuk. sağ tarayıcı ← tarayıcı. sağ çocuk. sağ ← tarayıcı. sol tarayıcı. sol ← çocuk

Notlar

  1. ^ Bu sürüm mükemmel dengelenmiş düğümler üretmez; Stout ve Warren, ilk görüşmenin yaptığı bir değişiklik sunuyor. kompres farklı bir alt programla değiştirilir.
  2. ^ Orijinal sunumda, ağaçtan asmaya ağacın boyutunu giderken hesapladı. Kısacası, bu sayının önceden bilindiğini varsayıyoruz.

Referanslar

  1. ^ a b c d Stout, Quentin F .; Warren, Bette L. (Eylül 1986). "Optimum uzay ve zamanda ağacın yeniden dengelenmesi" (PDF). ACM'nin iletişimi. 29 (9): 902–908. doi:10.1145/6592.6599.
  2. ^ Gün, A. Colin (1976). "Bir İkili Ağacı Dengeleme". Bilgisayar. J. 19 (4): 360–361. doi:10.1093 / comjnl / 19.4.360.
  3. ^ a b c Rolfe, Timothy J. (Aralık 2002). "Tek Seferlik İkili Arama Ağacı Dengeleme: Day / Stout / Warren (DSW) Algoritması". SIGCSE Bülteni. ACM SIGCSE. 34 (4): 85–88. doi:10.1145/820127.820173. Arşivlendi 2012-12-13 tarihinde orjinalinden.
  4. ^ Drozdek, Adam (1996). C ++ 'da Veri Yapıları ve Algoritmalar. PWS Publishing Co. s. 173–175. ISBN  0-534-94974-6.