מתוך ויקיספר, אוסף הספרים והמדריכים החופשי
[ עריכה ] קל לראות שהאלגוריתם עובד: כפי שראינו בבניית ערימה בינרית ממערך , Build-Heap מייצרת ערימה תקינה ממערך, והרי Delete-Min מוציאה ומחזירה את האיבר הקטן ביותר .
הסיבוכיות היא
Θ
(
n
⋅
log
(
n
)
)
{\displaystyle \displaystyle \Theta (n\cdot \log(n))}
Build-Heap שעובד בזמן
Θ
(
n
)
{\displaystyle \displaystyle \Theta (n)}
Delete-Min על ערימה בת
i
{\displaystyle \displaystyle i}
Θ
(
log
(
i
)
)
{\displaystyle \displaystyle \Theta (\log(i))}
∑
i
=
1
n
[
log
(
i
)
]
=
Θ
(
n
⋅
log
(
n
)
)
{\displaystyle \displaystyle \sum _{i=1}^{n}[\log(i)]=\Theta (n\cdot \log(n))}
טורים שימושיים בסדרי גדילה ). [ עריכה ] אין שינוי בנכונות, כי הלולאה 3-4 גם כן מייצרת ערימה תקינה מהמערך, ואין הבדל מנקודה זו.
אף הסיבוכיות אינה שונה, מפני שבמקום הביטוי
Θ
(
n
)
+
Θ
(
n
⋅
log
(
n
)
)
{\displaystyle \displaystyle \Theta (n)+\Theta (n\cdot \log(n))}
Θ
(
n
⋅
log
(
n
)
)
+
Θ
(
n
⋅
log
(
n
)
)
{\displaystyle \displaystyle \Theta (n\cdot \log(n))+\Theta (n\cdot \log(n))}
![{\displaystyle \displaystyle \sum _{i=1}^{n}[\log(i)]=\Theta (n\cdot \log(n))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0f116613809a87640ad4c06e60144f9545fa8ad6)
