Проверка корректности двоичного дерева

#include <iostream>
#include <fstream>
struct BinarySearchTree
{
    int value;
    int left;
    int right;
};
bool isBST(BinarySearchTree *, int const &);
int main()
{
    std::ifstream fin("input.txt");
    std::ofstream fout("check.txt");
    int n;
    fin >> n;
    if (n == 0)
    {
        fout << "YES";
        fout.close();
        fin.close();
        return 0;
    }
    BinarySearchTree *tree;
    tree = new BinarySearchTree[n + 1];
    for (int i = 1; i <= n; i++)
        fin >> tree[i].value >> tree[i].left >> tree[i].right;
    if (isBST(tree, 1))
        fout << "YES";
    else
        fout << "NO";
    fin.close();
    fout.close();
    return 0;
}
bool check(BinarySearchTree *tree, int const &j, int const &k, int const &c)
{
    switch (k)
    {
    case 0:
        if (tree[j].value > c)
            return false;
        break;
    case 1:
        if (tree[j].value < c)
            return false;
        break;
    }
    if (tree[j].left != 0 && !check(tree, tree[j].left, k, c))
        return false;
    if (tree[j].right != 0 && !check(tree, tree[j].right, k, c))
        return false;
    return true;
}
bool isBST(BinarySearchTree *tree, int const &j)
{
    if (tree[j].left == 0 && tree[j].right == 0)
        return true;
    if (tree[j].left != 0 && tree[j].value < tree[tree[j].left].value)
        return false;
    if (tree[j].right != 0 && tree[j].value > tree[tree[j].right].value)
        return false;
    if (tree[j].left != 0 && !check(tree, tree[j].left, 0, tree[j].value))
        return false;
    if (tree[j].right != 0 && !check(tree, tree[j].right, 1, tree[j].value))
        return false;
    if (tree[j].left != 0 && isBST(tree, tree[j].left) == false)
        return false;
    if (tree[j].right != 0 && isBST(tree, tree[j].right) == false)
        return false;
    return true;
}