проверить, является ли дерево двоичным деревом поиска - PullRequest
28 голосов
/ 01 января 2011

Я написал следующий код, чтобы проверить, является ли дерево бинарным деревом поиска. Пожалуйста, помогите мне проверить код:

Хорошо! Код редактируется сейчас. Это простое решение было предложено кем-то в сообщениях ниже:

IsValidBST(root,-infinity,infinity);

bool IsValidBST(BinaryNode node, int MIN, int MAX) 
{
     if(node == null)
         return true;
     if(node.element > MIN 
         && node.element < MAX
         && IsValidBST(node.left,MIN,node.element)
         && IsValidBST(node.right,node.element,MAX))
         return true;
     else 
         return false;
}

Ответы [ 9 ]

11 голосов
/ 31 июля 2012

верно, еще одно простое решение - это сделать визит по заказу

код Java здесь

5 голосов
/ 11 июля 2014
boolean bst = isBST(root, Integer.MIN_VALUE, Integer.MAX_VALUE);

public boolean isBST(Node root, int min, int max) {
    if(root == null) 
        return true;

    return (root.data > min &&
            root.data < max &&
            isBST(root.left, min, root.data) &&
            isBST(root.right, root.data, max));
    }
5 голосов
/ 02 января 2011

Метод должен делать только одну вещь за один раз. Кроме того, как вы делаете вещи, как правило, странно. Я дам вам почти Java псевдокод . Извините за это, но я некоторое время не трогал Java. Я надеюсь, что это помогает. Посмотрите на комментарии, которые я также сделал к Вопросу, и я надеюсь, что вы разберетесь с этим!

Назовите свой isBST так:

public boolean isBst(BNode node)
{
    return isBinarySearchTree(node , Integer.MIN_VALUE , Integer.MIN_VALUE);
}

Внутренне:

public boolean isBinarySearchTree(BNode node , int min , int max)
{
    if(node.data < min || node.data > max)
        return false;
    //Check this node!
    //This algorithm doesn't recurse with null Arguments.
    //When a null is found the method returns true;
    //Look and you will find out.
    /*
     * Checking for Left SubTree
     */
    boolean leftIsBst = false;
    //If the Left Node Exists
    if(node.left != null)
    {
        //and the Left Data are Smaller than the Node Data
        if(node.left.data < node.data)
        {
            //Check if the subtree is Valid as well
            leftIsBst = isBinarySearchTree(node.left , min , node.data);
        }else
        {
            //Else if the Left data are Bigger return false;
            leftIsBst = false;
        }
    }else //if the Left Node Doesn't Exist return true;
    {
        leftIsBst = true;
    }

    /*
     * Checking for Right SubTree - Similar Logic
     */
    boolean rightIsBst = false;
    //If the Right Node Exists
    if(node.right != null)
    {
        //and the Right Data are Bigger (or Equal) than the Node Data
        if(node.right.data >= node.data)
        {
            //Check if the subtree is Valid as well
            rightIsBst = isBinarySearchTree(node.right , node.data+1 , max);
        }else
        {
            //Else if the Right data are Smaller return false;
            rightIsBst = false;
        }
    }else //if the Right Node Doesn't Exist return true;
    {
        rightIsBst = true;
    }

    //if both are true then this means that subtrees are BST too
    return (leftIsBst && rightIsBst);
}

Теперь: если вы хотите найти значения Min и Max каждого поддерева, вы должны использовать контейнер (я использовал ArrayList) и хранить триплет Node, Min, Max, который представляет корневой узел и значения (очевидно).

например.

/*
 * A Class which is used when getting subTrees Values
 */
class TreeValues
{
    BNode root; //Which node those values apply for
    int Min;
    int Max;
    TreeValues(BNode _node , _min , _max)
    {
        root = _node;
        Min = _min;
        Max = _max;
    }
}

А:

/*
 * Use this as your container to store Min and Max of the whole
 */
ArrayList<TreeValues> myValues = new ArrayList<TreeValues>;

Теперь этот метод находит значения Min и Max данного узла:

/*
 * Method Used to get Values for one Subtree
 * Returns a TreeValues Object containing that (sub-)trees values
 */ 
public TreeValues GetSubTreeValues(BNode node)
{
    //Keep information on the data of the Subtree's Startnode
    //We gonna need it later
    BNode SubtreeRoot = node;

    //The Min value of a BST Tree exists in the leftmost child
    //and the Max in the RightMost child

    int MinValue = 0;

    //If there is not a Left Child
    if(node.left == null)
    {
        //The Min Value is this node's data
        MinValue = node.data;
    }else
    {
        //Get me the Leftmost Child
        while(node.left != null)
        {
            node = node.left;
        }
        MinValue = node.data;
    }
    //Reset the node to original value
    node = SubtreeRoot; //Edit - fix
    //Similarly for the Right Child.
    if(node.right == null)
    {
        MaxValue = node.data;
    }else
    {
        int MaxValue = 0;
        //Similarly
        while(node.right != null)
        {
            node = node.right;
        }
        MaxValue = node.data;
    }
    //Return the info.
    return new TreeValues(SubtreeRoot , MinValue , MaxValue);   
}

Но это возвращает значения только для одного узла, поэтому мы будем использовать это, чтобы найти для всего дерева:

public void GetTreeValues(BNode node)
{
    //Add this node to the Container with Tree Data 
    myValues.add(GetSubTreeValues(node));

    //Get Left Child Values, if it exists ...
    if(node.left != null)
        GetTreeValues(node.left);
    //Similarly.
    if(node.right != null)
        GetTreeValues(node.right);
    //Nothing is returned, we put everything to the myValues container
    return; 
}

При использовании этих методов ваш вызов должен выглядеть так:

if(isBinarySearchTree(root))
    GetTreeValues(root);
//else ... Do Something

Это почти Java. Он должен работать с некоторыми изменениями и исправлениями. Найдите хорошую ОО книгу, она вам поможет. Обратите внимание, что это решение можно разбить на несколько методов.

4 голосов
/ 30 августа 2014

ОБНОВЛЕНИЕ: Я только что увидел, что это решение было предложено ранее.Извините за это, ребята, может быть, кто-то все еще находит мою версию полезной

Вот решение, которое использует Обход в порядке , чтобы проверить свойство BST.Прежде чем предоставить решение, я использую определение BST, которое не допускает дублирование.Это означает, что каждое значение в BST уникально (это просто для простоты).

Код для рекурсивной печати inorder:

void printInorder(Node root) {
    if(root == null) {                 // base case
        return;
    }
    printInorder(root.left);           // go left
    System.out.print(root.data + " "); // process (print) data
    printInorder(root.right);          // go right
}

После этого обхода inorder в BST все данныедолжен быть напечатан в отсортированном порядке возрастания.Например, дерево:

   5
 3   7
1 2 6 9

будет иметь распечатку по порядку:

1 2 3 5 6 7 9

Теперь, вместо печати узла, мы можем отслеживать предыдущее значение в последовательности заказа.и сравните его со значением текущего узла.Если значение текущего узла меньше предыдущего значения, это означает, что последовательность не в порядке возрастания сортировки и что свойство BST нарушено.

Например, дерево:

   5
 3   7
1 8 6 9

Имеет нарушение.Правильный дочерний элемент 3 равен 8 , и это было бы нормально, если бы 3 был корневым узлом.Тем не менее, в BST 8 окажется левым потомком 9 , а не правым потомком 3 .Следовательно, это дерево не BST.Итак, код, который следует за этой идеей:

/* wrapper that keeps track of the previous value */
class PrevWrapper {
    int data = Integer.MIN_VALUE;
}

boolean isBST(Node root, PrevWrapper prev) {
    /* base case: we reached null*/
    if (root == null) {
        return true;
    }

    if(!isBST(root.left, prev)) {
        return false;
    }
    /* If previous in-order node's data is larger than
     * current node's data, BST property is violated */
    if (prev.data > root.data) {
        return false;
    }

    /* set the previous in-order data to the current node's data*/
    prev.data = root.data;

    return isBST(root.right, prev);
}

boolean isBST(Node root) {
    return isBST(root, new PrevWrapper());
}

Обход в порядке по дереву образца не прошел бы проверку для узла 5 , так как предыдущий порядок в 5 равно 8 , что больше, поэтому свойство BST нарушается.

2 голосов
/ 04 февраля 2014
    boolean isBST(TreeNode root, int max, int min) {
        if (root == null) {
            return true;
        } else if (root.val >= max || root.val <= min) {
            return false;
        } else {
            return isBST(root.left, root.val, min) && isBST(root.right, max, root.val);
        }

    }

альтернативный способ решения этой проблемы .. аналогично вашему коду

1 голос
/ 10 января 2015

Двоичное дерево поиска имеет следующие свойства, где ключ для левого узла должен быть <= ключ корневого узла, а ключ правого узла должен быть больше, чем корень. </p>

Итак, проблема в том, что если ключи в дереве не уникальны и был выполнен обход по порядку, мы могли бы получить ситуацию двух обходов по порядку, производящих одинаковую последовательность, где 1 будет правильным bst, а другой не будет, это произошло бы, если бы у нас было дерево, где левый узел = корень (действительный bst) и правый узел = корень (недействительный не bst).

Чтобы обойти это, нам нужно поддерживать допустимый минимальный / максимальный диапазон, между которым должен находиться «посещаемый» ключ, и мы передаем этот диапазон, когда возвращаемся к другим узлам.

#include <limits>

int min = numeric_limits<int>::min();
int max = numeric_limits<int>::max();

The calling function will pass the above min and max values initially to isBst(...)

bool isBst(node* root, int min, int max)
{
    //base case
    if(root == NULL)
        return true;

    if(root->val <= max && root->val >= min)
    {
        bool b1 = isBst(root->left, min, root->val);
        bool b2 = isBst(root->right, root->val, max);
        if(!b1 || !b2)
            return false;
        return true;
    }
    return false;
}
0 голосов
/ 15 февраля 2016

Мы проводим первую глубинную прогулку по дереву, проверяя правильность каждого узла на ходу.Данный узел действителен, если он больше, чем все наследственные узлы, в котором он находится в правом поддереве, и меньше, чем все наследственные узлы, в которых он находится в левом поддереве.Вместо того чтобы отслеживать каждого предка для проверки этих неравенств, мы просто проверяем наибольшее число, которое должно быть больше (его нижняя граница), и наименьшее число, которое должно быть меньше (его верхняя граница).

 import java.util.Stack;

final int MIN_INT = Integer.MIN_VALUE;
final int MAX_INT = Integer.MAX_VALUE;

public class NodeBounds {

BinaryTreeNode node;
int lowerBound;
int upperBound;

public NodeBounds(BinaryTreeNode node, int lowerBound, int upperBound) {
    this.node = node;
    this.lowerBound = lowerBound;
    this.upperBound = upperBound;
}
}

public boolean bstChecker(BinaryTreeNode root) {

// start at the root, with an arbitrarily low lower bound
// and an arbitrarily high upper bound
Stack<NodeBounds> stack = new Stack<NodeBounds>();
stack.push(new NodeBounds(root, MIN_INT, MAX_INT));

// depth-first traversal
while (!stack.empty()) {
    NodeBounds nb = stack.pop();
    BinaryTreeNode node = nb.node;
    int lowerBound = nb.lowerBound;
    int upperBound = nb.upperBound;

    // if this node is invalid, we return false right away
    if ((node.value < lowerBound) || (node.value > upperBound)) {
        return false;
    }

    if (node.left != null) {
        // this node must be less than the current node
        stack.push(new NodeBounds(node.left, lowerBound, node.value));
    }
    if (node.right != null) {
        // this node must be greater than the current node
        stack.push(new NodeBounds(node.right, node.value, upperBound));
    }
}

// if none of the nodes were invalid, return true
// (at this point we have checked all nodes)
return true;
}
0 голосов
/ 16 июня 2014
public void inorder()
     {
         min=min(root);
         //System.out.println(min);
         inorder(root);

     }

     private int min(BSTNode r)
         {

             while (r.left != null)
             {
                r=r.left;
             }
          return r.data;


     }


     private void inorder(BSTNode r)
     {

         if (r != null)
         {
             inorder(r.getLeft());
             System.out.println(r.getData());
             if(min<=r.getData())
             {
                 System.out.println(min+"<="+r.getData());
                 min=r.getData();
             }
             else
             System.out.println("nananan");
             //System.out.print(r.getData() +" ");
             inorder(r.getRight());
             return;
         }
     }
0 голосов
/ 01 января 2011

Нет смысла возвращать INTEGER.MIN, INTEGER.MAX в качестве значений для пустого дерева. Возможно, используйте Integer и верните null вместо этого.

...