p177：_adjust_heap的下溯算法为什么不使用交换？

_adjust_heap的下溯算法和一般下溯算法的区别在于，它的父节点不参加比较，而只是将两个孩子节点中比较大的那个复制到父节点；而别人所说的下溯算法，父节点要参加比较，它是通过交换，把父亲和左右孩子这三个节点中的最大的那个放到父节点的位置。

由于这种区别，_adjust_heap中下溯算法后，还必须接一个上溯算法，把原来的根节点填到合适的位置。而别人的下溯算法后，原来的根节点已经在正确的位置了，不需要再跟一个上溯算法。

为什么标准库里面使用这种下溯算法？不确定。我猜测是因为交换算法在每次交换的时候需要一个临时量，并且因此要复制两次，当元素类型占据空间很大的时候，多复制的这一次会浪费很多时间。虽然标准库中这种做法还需要一次上溯，但是假设一次下溯需要的复制次数是$i$，那么利用交换实现的下溯内含的复制次数是