LeetCode 235. Lowest Common Ancestor of a Binary Search Tree

LeetCode 235. Lowest Common Ancestor of a Binary Search Tree

因为是二叉搜索树,所以可以根据值的大小判定是属于根节点的左子树还是右子树。
如果都是在左子树部分,那么最低公共祖先一定属于当前节点的左子树;
如果都是在右子树部分,那么最低公共祖先一定属于当前节点的右子树;
否则当前节点一定是最低公共祖先(为什么?)

因为这种情况下无论假设最低公共祖先是属于当前节点左子树还是右子树,最低公共祖先一定不是属于另外一棵树的节点的祖先,不满足祖先条件,假设证伪。
或者假设最低公共祖先是当前节点的父节点,那么不满足最低条件,假设证伪。

package tree.No235;
class TreeNode {
    int val;
    TreeNode left;
    TreeNode right;
    TreeNode(int x) { val = x; }
}

class Solution {
    public TreeNode lowestCommonAncestor(TreeNode root, TreeNode p, TreeNode q) {
        if(p.val < root.val && q.val < root.val)
            return lowestCommonAncestor(root.left,p,q);
        if(p.val > root.val && q.val > root.val)
            return lowestCommonAncestor(root.right,p,q);
        return root;
    }
}