מערך - מיון

מיון מערך יעיל יהיה HEAP SORT , שעולה (O(N*LogN, לצורך Heap Sort, אין צורך בהקצאת זיכרון חדשה. וזאת בשל כך שה- heap בנוי כך שכל K האיברים שלו נמצאים ב K המקומות הראשונים, וה- heap מיושם כמערך בכל מקרה (ראה בניית heap). ולכן ניתן פשוט להתייחס ל K המקומות השמאליים במערך כאיברים ב- heap, ולכל השאר כאיברים במערך. בכל פעם שנבצע הכנסת איבר ל- heap, נעשה זאת על האיבר השמאלי ביותר, שאינו "ב- heap", וזה כמובן האיבר ב- [ARR[K + 1 אם הכנסנו עד כה K איברים. כשנבצע מחיקת מקסימלי (או מינימלי) נבצע אותה על האיבר הימני ביותר בheap.