B-uyum - B-heap

A B-uyum a ikkilik uyum kichik daraxtlarni bitta qilib saqlash uchun amalga oshiriladi sahifa. Bu foydalanishda katta uyumlar uchun kirilgan sahifalar sonini o'n baravar kamaytiradi virtual xotira, an'anaviy amalga oshirish bilan taqqoslaganda.[1] Anda joylashgan joylarga elementlarning an'anaviy xaritasi qator deyarli har bir darajani boshqa sahifaga joylashtiradi.

Virtual xotira yoki keshlardan foydalangan holda kompyuterlarda samarali bo'lgan boshqa yig'ma variantlar mavjud keshni unutadigan algoritmlar, k uyumlari,[2] va van Emde Boasning maketlari.[3]

Motivatsiya

An'anaga ko'ra, ikkilik daraxtlar a bo'yicha ketma-ket xotirada joylashtirilgan n -> {2n, 2n + 1} qoida, agar tugun o'rnida bo'lsa n, uning chap va o'ng bolasi pozitsiyalarda bo'lish uchun olinadi 2n va 2n + 1 qatorda. Ildiz 1-holatidadir. Ikkilik daraxtlar bo'yicha umumiy operatsiya vertikal o'tishdir; qidirilgan tugunga etib borish uchun daraxt sathidan pastga tushish. Biroq, zamonaviy kompyuterlarda xotira virtual xotiradagi sahifalarda tartibga solinganligi sababli, ikkilik daraxtni yotqizish sxemasi samarasiz bo'lishi mumkin. Sababi shundaki, daraxtga chuqurroq kirib borayotganda, keyingi tugunga qadar masofa keskin o'sib boradi, shuning uchun olingan har bir keyingi tugun alohida xotira sahifasida bo'lishi mumkin. Bu sonini ko'paytiradi sahifa o'tkazib yuborilgan B-heap bu muammoni bolalar tugunlarini xotirada boshqacha qilib, bitta sahifada subtreesni joylashtirishga imkon qadar ko'proq urinish orqali hal qiladi. Shuning uchun, vertikal harakatlanish davom etar ekan, ketma-ket olingan tugunlarning bir nechtasi bitta sahifada yotadi va bu sahifalarni o'tkazib yuborishning kam soniga olib keladi.

Amalga oshirish

Batafsil ma'lumotga ko'ra, b-heap quyidagi tarzda amalga oshirilishi mumkin. Poul-Xenning Kamp[4] tugunlarni joylashtirish uchun ikkita variantni taqdim etadi: bittasida bitta pozitsiya behuda sarflanadi, lekin daraxtning qat'iy ikkilik tuzilishi saqlanib qoladi, ikkinchisi esa sahifalarning barcha bo'sh joyidan foydalanadi, lekin daraxt kengaytirilmaydi yangi sahifaga kirgandan so'ng bitta daraja uchun (ushbu darajadagi tugunlarda faqat bitta bola bor). Qanday bo'lmasin, muhim nuqta shundaki, sahifani tark etishda ikkala tugun tugunlari har doim boshqa umumiy sahifada bo'ladi, chunki vertikal transversiyada algoritm odatda ikkala bolani ota-onasi bilan taqqoslab, qanday ishlashni biladi. Shu sababli, har bir sahifada bir-biri bilan aralashtirilgan ikkita parallel kichik daraxtlar bor deyish mumkin. Sahifalarning o'zi a m-daraxt daraxti va har bir sahifadagi elementlarning yarmi barglar (sahifa ichida) bo'lishi sababli, "sahifalar daraxti" ning bo'linish koeffitsienti mavjud sahifa hajmi / 2.

Ota-ona funktsiyasi

Klassik massivga o'xshash sxemadan farqli o'laroq, B-to'plamdagi ota-ona funktsiyasi ancha murakkab, chunki tugunning ota-onasining indeksini sahifaning qaerdaligiga qarab har xil hisoblash kerak. Agar sahifadagi pozitsiyalarni 0 dan gacha deb belgilasak sahifa hajmi, ota funktsiyasi quyidagicha bo'lishi mumkin.

0 va 1 tugunlari uchun ular faqat barcha mumkin bo'lgan bo'shliqlardan foydalanadigan variantda qo'llaniladi. Bunday holda, ikkala tugunning ota-indekslari bir xil, u boshqa sahifada va uning ushbu sahifadagi o'ziga xos ofseti faqat joriy sahifa raqamiga bog'liq. Xususan, ota-ona sahifasining raqamini hisoblash uchun shunchaki joriy tugunning sahifa raqamini "sahifa daraxti" bo'linish koeffitsientiga bo'ling, ya'ni sahifa hajmi / 2. Sahifada to'g'ri ofsetni olish uchun u ota-sahifadagi barg tugunlaridan biri bo'lishi kerak deb o'ylang, shuning uchun ofsetdan boshlang sahifa hajmi / 2. So'ngra joriy sahifa raqami bilan ota-onaning sahifa raqami orasidagi farqni qo'shing, ota-ona sahifasidan keyingi birinchi sahifadan boshlab minus bitta indeksda ota tuguni mavjud (sahifa hajmi / 2).

2 va 3 tugunlari uchun ota-ona rejimga qarab farq qiladi. Bo'sh joyni tejash rejimida ota-onalar mos ravishda 0 va 1 tugunlari bo'lib, shuning uchun faqat 2 bilan olib tashlash kerak, boshqa tomondan, qat'iy ikkilik-daraxt rejimida ushbu tugunlar sahifaning ildizlari hisoblanadi. 0 va 1 qiymatlari va shuning uchun ularning umumiy ota-onalari yuqorida tavsiflangan tarzda hisoblab chiqilgan.

Boshqa barcha tugunlar uchun ularning ota-onalari bir xil sahifada bo'ladi va sahifa raqamini o'zgartirmasdan, ularning sahifalarini ikkiga ajratish kifoya.

Shuningdek qarang

Adabiyotlar

  1. ^ Kamp, Poul-Xenning (2020-07-26). "Siz buni noto'g'ri qilyapsiz". ACM navbati.
  2. ^ Naor, Dalit; Martel, Charlz U.; Matloff, Norman S. (1991). "Virtual xotira muhitida navbatning navbatdagi tuzilmalarining ishlashi". Hisoblash. J. 34 (5): 428–437. doi:10.1093 / comjnl / 34.5.428.
  3. ^ van Emde Boas, P.; Kaas, R .; Zijlstra, E. (1976). "Samarali ustuvor navbatni loyihalashtirish va amalga oshirish". Matematik tizimlar nazariyasi. 10: 99–127. doi:10.1007 / BF01683268.
  4. ^ phk.freebsd.dk http://phk.freebsd.dk/B-Heap/. Olingan 2019-06-08. Yo'qolgan yoki bo'sh sarlavha = (Yordam bering)

Tashqi havolalar