(1)依次通历,若SqBiTNode[2i+1]<SqBiTNode[i]且SqBiTNode[2i+2]>SqBiTNode[i],则继续遍历，否则返回false,若SqBiTNode[i]=-1,则直接下一循环，直到i=T.ElemNum循环结束，返回true。

(2）bool f(SqBiTNode t)
{
    for(i=0; i<t.ElemNuMlm; i++) {
        if(t.SqBiTNode[i]!=-1) {
            if(t.SqBiTNode[i]<t.SqBiTNode[2i+1]||t.SqBiTNode[i]>t.SqBiTNode[2i+2]) {
                return false;
            }
        }else continue;
    }
    return true;
}