Question

我有这些程序

#include <iostream>
using namespace std;

int parent(int i ){
    return  i/2;
}

int left(int i ){
    return  2*i;
}

int right(int i){
    return 2*i+1;    
}

int a[]={ 27,17,3,16,10,1,5,7,12,4,8,9,10};
int n=sizeof(a)/sizeof(int);

void max_Heapify(int i){
    int largest=0;
    int l=left(i);
    int r=right(i);
    if(l<=n && a[l]>a[i]){
        largest=l;
    }
    else{
        largest=i;
    }
    if(r< n && a[r]>a[largest]){
        largest=r;
    }
    if (largest!=i){
        int t=a[i];
        a[i]=a[largest];
        a[largest]=t;
    }
    max_Heapify(largest);
}

int main(){
     max_Heapify(2);
     for (int i=0;i<n;i++){
         cout<<a[i]<<"  ";
     }    
return 0;
}

当我运行它编译好但运行后停止ubnormaly它正在运行为什么？请帮忙看看这段代码

Max-Heapify[2](A, i):
 left ← 2i
 right ← 2i + 1
 largest ← i
 if left ≤ heap-length[A] and A[left] > A[i] then:
 largest ← left
 if right ≤ heap-length[A] and A[right] > A[largest] then:
 largest ← right
 if largest ≠ i then:
 swap A[i] ↔ A[largest]
 Max-Heapify(A, largest)

来自Wikipedia。

Answer 1

您将维基百科文章中的伪代码转换为C ++代码，但您不小心改变了逻辑。在维基百科文章中，您会注意到递归只发生有条件地：即if largest ≠ i

if largest ≠ i then:
    swap A[i] ↔ A[largest]
    Max-Heapify(A, largest)

翻译成C ++，这应该是这样的：

if (largest != i) {
  swap(a[i], a[largest]);
  Max_Heapify(largest);
}

再次注意，Max_Heapify的递归调用仅在largest != i时发生有条件。在您的代码中，您无条件地递归调用Max_Heapify ，这意味着无论如何都会继续递归。显然你的程序会因堆栈溢出而崩溃。与迭代不同，您无法无限递归，因为您很快就会耗尽堆栈空间。

Answer 2

你没有基本情况来终止递归，所以我想你最终会得到一个堆栈溢出。想想你什么时候可以告诉你已经完成了所以你可以优雅地脱离这个功能。

Answer 3

也许你不应该总是以递归的方式调用max_Heapify，而是在你达到排序堆的底部大小时返回...你的程序会发生什么？耗尽了堆栈。

另外，请查看std::swap。

Answer 4

函数max_Heapify总是无限地递归。你看到堆栈溢出（小s，小o）。

如果你在调试器中单步执行代码，这种事情很快就会显而易见。

Answer 5

这是我写的版本，你可以看看。

http://code.google.com/p/clibutils/source/browse/src/c_heap.c

堆上的max_heapify过程

5 个答案: