void HeapAdjust(HeapType &H, int s, int m) {  // 算法10.10
  // 已知H.r[s..m]中記錄的關鍵字除H.r[s].key之外均滿足堆的定義，
  // 本函數調整H.r[s]的關鍵字，使H.r[s..m]成為一個大頂堆
  // （對其中記錄的關鍵字而言）
  int j;
  RedType rc;
  rc = H.r[s];
  for (j=2*s; j<=m; j*=2) {   // 沿key較大的孩子結點向下篩選
    if (j<m && H.r[j].key<H.r[j+1].key) ++j; // j為key較大的記錄的下標
    if (rc.key >= H.r[j].key) break;         // rc應插入在位置s上
    H.r[s] = H.r[j];  s = j;
  }
  H.r[s] = rc;  // 插入
} // HeapAdjust