二叉查找树

要判断一个树是否是二叉搜索树（Binary Search Tree, BST），需要满足以下条件：

1. 对于树中的每个节点，其左子树中的所有节点的值都小于该节点的值，而右子树中的所有节点的值都大于该节点的值。
2. 树中没有重复的节点值。

可以通过递归地检查每个节点及其子树来判断是否满足这些条件。具体步骤如下：

1. 对于空树，认为是二叉搜索树。
2. 对于非空树，检查当前节点的值是否满足其左子树中的所有节点的值都小于它，右子树中的所有节点的值都大于它。
3. 递归地检查当前节点的左子树和右子树是否也是二叉搜索树。

以下是一个示例的递归函数来判断是否是二叉搜索树：

def is_bst(root):
    return is_bst_helper(root, float('-inf'), float('inf'))

def is_bst_helper(node, min_val, max_val):
    if node is None:
        return True
    
    if node.val <= min_val or node.val >= max_val:
        return False
    
    return (is_bst_helper(node.left, min_val, node.val) and
            is_bst_helper(node.right, node.val, max_val))

在这个示例中，is_bst()函数是入口函数，它调用is_bst_helper()函数来进行递归检查。is_bst_helper()函数接收当前节点、该节点的最小值和最大值作为参数。如果当前节点满足二叉搜索树的条件，并且它的左子树和右子树也是二叉搜索树，则返回True，否则返回False。

需要注意的是，这只是一种判断二叉搜索树的方法之一。还有其他方法，如中序遍历树并检查遍历结果是否按升序排列。但递归检查是最常见和直观的方法之一。