遍历每个元素及其孩子结点，若左右孩子均存在，则比较根该结点及其孩子结点值的大小，不满足左孩子值 < 根结点值 < 右孩子值，则直接返回 false；若左孩子存在或右孩子，重复上述判断。

bool function (SqBiTree T) {
for (int i = 0; i < T.ElemNum; ++i) {
if (T.SqBiTnode[2 * i + 1] != -1 && T.SqBiTnode[2 * i + 2] != -1) {
if (T.SqBiTnode[2 * i + 1] > T.SqBiTnode[i] || T.SqBiTnode[i] > T.SqBiTnode[2 * i + 2])
return false;
}
else if (T.SqBiTnode[2 * i + 1] == -1 && T.SqBiTnode[2 * i + 2] != -1) {
if (T.SqBiTnode[i] > T.SqBiTnode[2 * i + 2])
return false;
}
else if (T.SqBiTnode[2 * i + 2] == -1 && T.SqBiTnode[2 * i + 1] != -1) {
if (T.SqBiTnode[2 * i + 2] < T.SqBiTnode[i])
return false;
}
}
return true;
}