采用中序遍历，实时比较当前结点与前驱结点值。若出现非递增情况立即终止遍历，返回false

int n = tree.ElemNum;	// 辅助数组存储中序序列
int tmp[n];	//malloc写法
int k=0;	// 数组索引

void inorder(SqBiTree tree, int root){
    // 终止条件：越界或空结点
    if(root>=tree.ElemNum || tree.SqBiTreeNode[root] == -1){
        return; //链：if(root==NULL) return;
    }
    // 递归遍历左子树
    inorder(tree, 2*root+1);
    // 存储当前有效结点值（跳过-1）
    tmp[i++] = tree.SqBiTNode[root];
    // 递归遍历右子树
    inorder(tree, 2*root+2);
}

// 检查数组是否严格递增
bool judge(){
    for(int i=1; i<k; i++){
        if(tmp[i-1] >= tmp[i]){
            return false;
        }
    }
    return true;
}

时间复杂度O(n)，空间复杂度O(n)