From d251dcea25d59d6bd8dc6c08076cfc20c8b3c091 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E5=94=90=E6=A0=91=E6=A3=AE?= <tangshusen@pku.edu.cn>
Date: Mon, 22 Apr 2019 00:11:37 +0800
Subject: [PATCH] Create 98. Validate Binary Search Tree.md

---
 solutions/98. Validate Binary Search Tree.md | 63 ++++++++++++++++++++
 1 file changed, 63 insertions(+)
 create mode 100644 solutions/98. Validate Binary Search Tree.md

diff --git a/solutions/98. Validate Binary Search Tree.md b/solutions/98. Validate Binary Search Tree.md
new file mode 100644
index 0000000..39c0579
--- /dev/null
+++ b/solutions/98. Validate Binary Search Tree.md	
@@ -0,0 +1,63 @@
+# [98. Validate Binary Search Tree](https://leetcode.com/problems/validate-binary-search-tree/)
+# 思路
+## 思路一
+根据BST的定义。二叉搜索树或者是一棵空树，或者是具有下列性质的二叉树：
+* 若它的左子树不空，则左子树上**所有**结点的值均小于它的根结点的值；
+* 若它的右子树不空，则右子树上**所有**结点的值均大于它的根结点的值；
+* 它的左、右子树也分别为二叉排序树。
+
+> 注意“所有”。
+
+
+实现过程中，为了检查左子树（已经是一个二叉搜索树）上**所有**结点的值是否均小于它的根结点的值，我们可以检查左子树上的最大值（一直沿右路下降即可）小于它的根结点的值即可。右子树亦然。
+
+## 思路二
+还可以检验中序遍历序列是否是严格递增的来判断是否是BST。       
+我们可以用一个全局变量pre记录上一个中序遍历节点值，当前节点值必须大于pre才行。所以pre的初始值为`INT_MIN-1`（所以为了防止溢出，pre应该是long long型）。
+
+
+# C++
+## 思路一
+``` C++
+class Solution {
+public:
+    bool isValidBST(TreeNode* root) {
+        if(root == NULL) return true;
+        if(root -> left != NULL){
+            if(!isValidBST(root -> left)) return false;
+            TreeNode* p = root -> left;
+            while(p -> right) p = p -> right; // 沿右路下降
+            if(root -> val <= p -> val) return false;
+        }
+        if(root -> right != NULL){
+            if(!isValidBST(root -> right)) return false;
+            TreeNode* p = root -> right;
+            while(p -> left) p = p -> left; // 沿左路下降
+            if(root -> val >= p -> val ) return false;
+            
+        }
+        return true;
+    }
+};
+```
+
+## 思路二
+``` C++
+class Solution {
+private:
+    long long pre = (long long)INT_MIN - 1;
+    bool inorder(TreeNode *root){
+        if(root == NULL) return true;
+        if(!inorder(root -> left)) return false;
+        if(root -> val <= pre) return false;
+        pre = root -> val;
+        if(!inorder(root -> right)) return false;
+        return true;
+    }
+public:
+    bool isValidBST(TreeNode* root) {
+        pre = (long long)INT_MIN - 1;
+        return inorder(root);
+    }
+};
+```