Kinetik turnir - Kinetic tournament

Kinetik musobaqalar haqida umumiy ma'lumot

A Kinetik turnir a kinetik ma'lumotlar tuzilishi vazifasini bajaradi ustuvor navbat ustuvorliklari vaqtning doimiy funktsiyasi sifatida o'zgarib turadigan elementlar uchun. U "g'olibni" (maksimal yoki minimal element) aniqlash uchun elementlar orasidagi "turnir" ga o'xshash tarzda amalga oshiriladi sertifikatlar turnirdagi har bir "match" g'olibini kuchaytirish. Bu odatiy navbatdagi navbatdagi operatsiyalarni qo'llab-quvvatlaydi - kiritmoq, o'chirish va top-max. Ular ko'pincha boshqa kinetik ma'lumotlar tuzilmalarining tarkibiy qismlari sifatida ishlatiladi, masalan kinetik eng yaqin juftlik.

Amalga oshirish

A-da kinetik turnir tashkil etiladi ikkilik daraxt barglar elementlarni o'z ichiga olgan tuzilishga o'xshash va har biri ichki tugun tarkibidagi elementlarning kattaroq (yoki kichikroq) qismini o'z ichiga oladi bolalar tugunlari. Shunday qilib, ildiz daraxt ma'lum bir vaqtda maksimal (yoki minimal) elementni o'z ichiga oladi. Tuzilishning haqiqiyligi har bir tugunda sertifikat yaratish orqali amalga oshiriladi, bu tugundagi element ikki farzanddan kattaroq ekanligini tasdiqlaydi. Ushbu sertifikat ishlamay qolganda, tugundagi element o'zgartiriladi (boshqa boladagi element bo'lishi kerak) va yangi o'zgarmaslikni ko'rsatadigan yangi sertifikat yaratiladi. Agar element ushbu tugun g'olib bo'lsa ota tugun, keyin ota-ona elementi va sertifikatlari ham rekursiv ravishda yangilanishi kerak.

Tahlil

Bu O (n) bo'shliq, sezgir, mahalliy, ixcham va samarali ma'lumotlar tuzilishi.

  • Javob berish: Sertifikatning ishlamay qolishi eskisini o'rniga yangi sertifikat yaratilishiga olib keladi, uni qo'yish kerak voqea navbati. Bundan tashqari, O (log) ga o'zgartirishlar kiritilishi mumkinn) ota-ona tugunlarida sertifikatlar. Har bir sertifikat o'zgarishi hodisalarning ustuvor navbatida o'chirish va qo'shishni talab qiladi. Ularning har biri O (log) oladi n) vaqt, shuning uchun javob berish qobiliyati, sertifikatning ishlamay qolishiga ishlov berish uchun zarur bo'lgan umumiy vaqt . Umuman olganda, bu sezgir deb hisoblansa-da, boshqa kinetik ustuvor navbatlarga qaraganda unchalik sezgir emas kinetik uyumlar sertifikatdagi xatolarga O (1) sertifikatining o'zgarishi bilan javob beradigan.
  • Joylashuv: Har bir element O (log) da qatnashadin) sertifikatlar (masalan, maksimal element har bir ota-onaning sertifikatiga ildiz tugunigacha kiradi). Shunga qaramay, bu mahalliy deb hisoblansa ham, a kinetik uyum ancha mahalliy.
  • Ixchamlik: Bu tarkibida O (n) sertifikatlar - daraxtning har bir qirrasi uchun bitta bittadan.
  • Samaradorlik: Kinetik uyumlar soni juda samarali ichki voqealar (sertifikat o'zgaradi) faqat O omilidir (log n) sonidan ko'proq tashqi hodisalar. Xususan, har bir juftlik maksimal darajada kesishadigan makon-vaqt traektoriyalari to'plami uchun s marta, kinetik musobaqa jarayonlari O (λ.)s + 2jurnal n) voqealar O (λ.)s + 2jurnal2n) vaqt, qayerda λs + 2 a Davenport-Shinzel ketma-ketligi. Bundan tashqari, qo'shimchalar va o'chirishlar O (log) ga olib keladin) sertifikat har birini o'zgartiradi. Har bir sertifikat o'zgarishi O (log) oladin) vaqt, bu voqea navbatini yangilashni amalga oshirish uchun zarur bo'lgan vaqt bilan belgilanadi.

Adabiyotlar

  • Basch, J. 1999. Kinetik ma'lumotlar tuzilmalari. Ph.D. tezis, kompyuter fanlari bo'limi, Stenford universiteti. [1]