int sift(JD r[],int k,int m) //已知r[k...m]中除k之外均滿足堆的定義，欲調整k后使r成為一個大頂堆
{  int i,j; 
   JD x;
   i=k;  x=r[i]; j=2*i;
   while(j<=m) 
   {  if((j<m)&&{r[j].key>r[j+1].key))  j++; //j為值較小的記錄的下標
      if(x.key>r[j].key) //x應插入在i位置上
      {  r[i]=r[j];  
         i=j;
         j*=2;  //沿值較小的孩子結點向下篩選
      }
      else   j=m+1;
   }
   r[i]=x;  //插入
}