LeetCode 98. Validate Binary Search Tree

题意：给出头结点，让你判断这颗树是不是二叉搜索树。

思路：

• 很显然，对于一棵二叉搜索树，其左右子树肯定也是二叉搜索树；
• 因此，递归思路：如果左右子树都是BST，并且该根结点也符合规律（小于左子树的最小结点，小于右子树的最大结点）
• 递归边界：如果是空节点，那么返回true；

/**
 * Definition for a binary tree node.
 * struct TreeNode {
 *     int val;
 *     TreeNode *left;
 *     TreeNode *right;
 *     TreeNode(int x) : val(x), left(NULL), right(NULL) {}
 * };
 */
class Solution {
public:
    // 得到值最大的结点
    long long getMore(TreeNode* root){
        if(root==NULL){
            return -2333333333;
        }
        else{
            TreeNode* tmp=root;
            while(tmp->right!=NULL){
                tmp=tmp->right;
            }
            return tmp->val;
        }
    }
    // 得到值最小的结点
    long long getLess(TreeNode* root){
        if(root==NULL){
            return 2333333333;
        }
        else{
            TreeNode* tmp=root;
            while(tmp->left!=NULL){
                tmp=tmp->left;
            }
            return tmp->val;
        }
    }
    
    bool isValidBST(TreeNode* root) {
        if(root==NULL){
            return true;
        }
        long long v1=getMore(root->left);
        long long v2=getLess(root->right);
        return v1<root->val && v2>root->val && isValidBST(root->left) && isValidBST(root->right);
    }
}; 

• 我在实现的时候偷了一点懒；因为对于树结点val属性，在int的范围之内；因此我就使用long long和超过int范围的数来处理左右子树为空的情况（因为为空，肯定是符合二叉排序树的情况！）。

---

列出，在leetcode中，效率最高的代码：

思路很简单，BST的特点在于中序遍历是递增顺序的，因此使用非递归中序遍历，边遍历，边判断；如果中途发现不对，直接返回；

/**
 * Definition for a binary tree node.
 * struct TreeNode {
 *     int val;
 *     TreeNode *left;
 *     TreeNode *right;
 *     TreeNode(int x) : val(x), left(NULL), right(NULL) {}
 * };
 */
class Solution {
public:
    bool isValidBST(TreeNode* root) {
        stack<TreeNode*> s;
        int pre = INT_MAX;
        int f = 0;
        while(!s.empty() || root)
        {
            while(root)
            {
                s.push(root);
                root = root->left;
            }
            root = s.top();
            s.pop();
            if(f && root->val <= pre)
                return false;
            pre = root->val;
            f++;
            root = root->right;
        }
        return true;
    }
    
};