هیپ جفت‌شده

یک هرم جفت شده یک نوع داده ساختار هیپ با پیاده‌سازی نسبتا ساده و عملکرد سرشکن شده عالی معرفی شده توسط Micheal Fredman، Robert Sedgewick، Daniel Sleator و Robert Tarjan در سال ۱۹۸۶ می‌باشد. هرمهای جفت شده ساختمان‌های درختی چند راهه می‌باشند که مانند هرم مرتب شده‌اند و می‌توانند هرمهای فیبوناچی ساده شده در نظر گرفته شوند. آن‌ها انتخابات قوی برای پیاده‌سازی الگوریتم‌هایی مانند الگوریتم پریم در نظر گرفته می‌شوند و از توابع زیر پیروی می‌کنند (با فرض اینکه مین-هیپ باشند):
پیدا کردن کمینه: به سادگی به آیتم بالای هرم برمی‌گردیم.
ادغام: دو ریشه را با یک دیگر مقایسه می‌کنیم ریشه کوچکتر ریشه اصلی می‌شود و ریشه بزرگتر و زیردرخت آن فرزند این ریشه اصلی می‌شوند.
درج: یک هرم برای عنصر درج شده ساخته و آن را با هرم اصلی ادغام می‌کنیم.
کاهش کلید (اختیاری): زیرهرمی که ریشه‌اش این کلید است را حذف می‌کنیم کلید را با یک کلید کوچکتر جایگزین می‌کنیم سپس نتیجه را دوباره با هرم اصلی ادغام می‌کنیم.
حذف مینیمم: ریشه را حذف کرده و زیرهرمهایش را با یکدیگر ادغام می‌کنیم. استراتژی‌های مختلفی به کار گرفته می‌شوند.
تحلیل پیچیدگی زمانی هرمهای جفت شده ابتدا از درختان اسپلی الهام گرفته شده بود. اوردر سرشکن شده هر حذف کمینه است و عملیات پیدا کردن حداقل، ادغام و درج در سرشکن شده انجام می‌گیرد.
تعیین زمان دقیق مجانبی هرمهای جفت شده زمانی که یک عملیات کاهش کلید نیاز است کمی دشوار می‌باشد. در ابتدا به صورت تجربی حدس می‌زدند که زمان پیچیدگی این عملیات باشد
اما Fredman ثابت کرد که زمان سرشکن هر کاهش کلید برای توالی برخی عملیات حداقل است.
با استفاده از متدهای مختلف استدلال استهلاکی Pettie پس از آن ثابت کرد که درج کردن و کاهش-کلید همه در سرشکن می‌شوند که برابر است. بعد از مدتی Elmasry یک نوع هرم جفت شده معرفی کرد که کاهش کلید آن به صورت سرشکن در انجام می‌شود و سایر عملیات مطابق هیپ فیبوناچی است
اما برای داده ساختار اصلی درست نیست. اما این یک سوال بی‌جواب است که سرشکن برای کاهش-کلید و برای درج کردن را می‌توان به طور همزمان داشت یا خیر.
اگر چه این بدتر از دیگر الگوریتم‌های صف اولویت مانند هیپ فیبوناچی است که انجام کاهش کلیدشان در سرشکن است ولی در عمل بسیار عالی می‌باشند. Stasko و Vitter
Moret و shapiro
و larkin و sen و Tarjan
روی هرمهای جفت شده و سایر ساختمان‌های داده هرم آزمایش‌هایی انجام دادند. آنها به این نتیجه رسیدند که هرمهای جفت شده اغلب در عمل سریع‌تر از هیپ‌های دودویی مبتنی بر آرایه و هیپ دی تایی و تقریبا همیشه عملا سریع ترند نسبت به دیگر هرمهای مبتنی بر اشاره گر از جمله ساختارهای داده‌ای مثل هیپ فیبوناچی که به لحاظ نظری کارآمد ترند.
ساختار
یک هرم جفت شده یا یک هرم خالی است یا یک جفت متشکل از یک ریشه و احتمالا یک لیست خالی از هرمهای جفت شده. برای ویژگی ترتیب هرمها نیاز است که ریشه هیچ‌کدام از زیرهرمهای این هرم کوچکتر از ریشه خود هرم نباشند. این توصیف صرفا یک هرم تابعی را می‌دهد که از کاهش کلید پشتیبانی نمی‌کند.
type PairingHeapElem = Empty | Heap(elem: Elem, subheaps: ListPairingHeapElem)
یک پیاده‌سازی بر اساس اشاره گر برای ماشین‌های رم می‌توان ارائه داد که از کاهش کلید پشتیبانی می‌کند. این پیاده‌سازی در هر گره سه اشاره گر دارد: یکی به اولین فرزندش، یکی به برادرش و یکی به پدرش. همچنین اشاره به پدر می‌تواند حذف شود اگر برگ‌ها به جای فرزند به ریشه اشاره کنند و یک پرچم برای برگ‌ها گذاشته شود تا تشخیص داده شوند؛ که این یک ساختار جمع و جور‌تر است با همان سربار قبلی.
عملیات‌ها
پیدا کردن مینیمم
تابع پیدا کردن مینیمم فقط ریشه هرم را برمی‌گرداند:
function find-min(heap)
if heap == Empty
error
else
return heap.elem
ادغام
ادغام با یک هرم خالی هرم اول را برمی‌گرداند در غیر این صورت یک هرم جدید برگردانده می‌شود که ریشه کوچکتر ریشه آن بوده و هرم با ریشه بزرگتر به فرزندان آن اضافه می‌شود:
function merge(heap1, heap2)
if heap1 == Empty
return heap2
elsif heap2 == Empty
return heap1
elsif heap1.elem
merge(merge(H1, H2), merge-pairs(H3, H4, H5, H6, H7))
# merge H1 and H2 to H12, then the rest of the list
=> merge(H12, merge(merge(H3, H4), merge-pairs(H5, H6, H7)))
# merge H3 and H4 to H34, then the rest of the list
=> merge(H12, merge(H34, merge(merge(H5, H6), merge-pairs(H7))))
# merge H5 and H6 to H56, then the rest of the list
=> merge(H12, merge(H34, merge(H56, H7)))
# switch direction, merge the last two resulting heaps, giving H567
=> merge(H12, merge(H34, H567))
# merge the last two resulting heaps, giving H34567
=> merge(H12, H34567)
# finally, merge the first merged pair with the result of merging the rest
=> H1234567