ערימה בינארית

במדעי המחשב, ערימה בינארית היא סוג של מבנה הנתונים ערימה. יתרונה הגדול הוא בנוחות השימוש בה והמקום המועט הדרוש כדי לתחזק אותה.

הערימה משמשת בין השאר למיון המכונה מיון ערימה, ולמימוש מבנה הנתונים המופשט תור עדיפויות.

מבנה
הערימה מהווה עץ בינארי כמעט מושלם, כלומר שכל השורות, פרט אולי לאחרונה, מלאות, והאחרונה מלאה משמאל עד לנקודה מסוימת. בנוסף, היא מקיימת את "כלל הערימה": כל ערך של צומת אינו גדול משני בניו (ערימה זאת מכונה "ערימת מינימום"; אפשרי גם שכל צומת אינו קטן משני בניו, ואז היא נקראת "ערימת מקסימום").

עם זאת, בפועל אין צורך לממש עץ בינארי: די להחזיק את האיברים במערך, כשהאיברים מסודרים בו משמאל לימין, שורה אחרי שורה, כאשר ידוע שאביו של איבר הנמצא במקום ה-i הוא  ובניו נמצאים במקומות ה-.

פעולות
עבור ערימת מינימום-
 הכנסה: כדי להכניס איבר חדש, מגדילים את גודל הערימה ב-1, מכניסים את האיבר החדש בסוף הערימה, ולאחר מכן, כל עוד הוא קטן מאביו, מחליפים אותו עם אביו. סיבוכיות ריצה:  (הסבר על סימון זה). עם זאת, על פי ניתוח לשיעורין הסיבוכיות של בניית ערימה בת  איברים היא  בלבד.
 הוצאה: כדי להוציא איבר, מחליפים את האיבר המועד להוצאה באיבר האחרון במערך, מורידים את האיבר הנ"ל מסוף המערך, ומקטינים את גודל הערימה ב-1. לאחר מכן כל עוד האיבר שהוחלף גדול מבניו, מחליפים אותו בקטן שביניהם. סיבוכיות זמן ריצה: 
 מציאת המינימום (הצצה): מחזירים את האיבר הראשון. סיבוכיות זמן ריצה: .
 מחיקת המינימום (שליפה): מוחקים את האיבר המינימלי, מעבירים את האיבר האחרון להתחלה, ולאחר מכן, כל עוד הוא לא קטן משני בניו, מחליפים אותו עם הקטן מביניהם. זמן ריצה: .
 הקטנת ערך: מקטינים ערך, ולאחר מכן, כל עוד הוא קטן מאביו, מחליפים אותו עם אביו. סיבוכיות זמן ריצה: .
בניגוד לערימה בינומית, ערימה בינארית לא תומכת במיזוג ערימות.

ערימה d-ארית
במקום לממש את הערימה כעץ בינארי, אפשר לממש אותה כעץ מכל דרגה אחרת. בערימה d-ארית לכל קודקוד d ילדים, ושאר המימוש בדומה. אביו של איבר הנמצא במקום ה-i הוא  ובניו נמצאים במקומות ה-
. הכנסה והקטנת ערך יורדות ל-, ואילו מחיקת המינימום עולה ל- (משום שיש למצוא את הבן המינימלי).

שימושים
הערימה הבינארית משמשת למיון ערימה. במיון זה, בונים ערימה מהאיברים ולאחר מכן מוחקים אותם אחד אחד. יתרונו הוא שהוא לא דורש זיכרון נוסף, וזמן הריצה שלו הוא הטוב ביותר האפשרי:  במקרה הגרוע.

קישורים חיצוניים

הערות שוליים 

עצים (גרפים)
בינארית