判断序列是否为堆?为什么