0
我需要您的幫助,試圖找出/獲取簡單證明的方法。堆 - 在未知輸入上執行DeleteMax操作 - 實現
假設您給出了一個包含n個不同元素的最大堆,而x是深D堆中的一個元素(代表堆中的樹)。現在假設我們正在執行一系列DeleteMax操作。
需要預先執行DeleteMax操作的最大數量是多少,直到x將從堆中提取出來。
需要預先執行DeleteMax操作的最小數量是多少,直到x將從堆中提取出來爲止。
注:
我相信我還是設法通過specifing,在情況下,x和他的父母都在堆那麼x將d後提取的最大元素,證明第二個+1 DeleteMax操作(其中的D是專門提取父母的)。
我剛剛發現第一個這樣做不太好,我不確定我需要使用什麼方法才能正確地證明它。
非常感謝! – SyndicatorBBB