用C语言编写一个算法（函数），判断一棵二叉树是否为二叉排序树

以下是用C语言编写的判断一棵二叉树是否为二叉排序树的算法：

#include <stdio.h>
#include <stdlib.h>
#include <stdbool.h>

// 二叉树结点
typedef struct TreeNode {
    int val;
    struct TreeNode* left;
    struct TreeNode* right;
} TreeNode;

// 判断一棵二叉树是否为二叉排序树（BST）
bool isBST(TreeNode* root, int minVal, int maxVal) {
    if (root == NULL) {
        return true;
    }
    if (root->val <= minVal || root->val >= maxVal) {
        return false;
    }
    return isBST(root->left, minVal, root->val) && isBST(root->right, root->val, maxVal);
}

int main() {
    // 创建一棵二叉树
    TreeNode* root = (TreeNode*)malloc(sizeof(TreeNode));
    root->val = 5;
    root->left = (TreeNode*)malloc(sizeof(TreeNode));
    root->left->val = 3;
    root->left->left = (TreeNode*)malloc(sizeof(TreeNode));
    root->left->left->val = 1;
    root->left->left->left = NULL;
    root->left->left->right = NULL;
    root->left->right = (TreeNode*)malloc(sizeof(TreeNode));
    root->left->right->val = 4;
    root->left->right->left = NULL;
    root->left->right->right = NULL;
    root->right = (TreeNode*)malloc(sizeof(TreeNode));
    root->right->val = 7;
    root->right->left = (TreeNode*)malloc(sizeof(TreeNode));
    root->right->left->val = 6;
    root->right->left->left = NULL;
    root->right->left->right = NULL;
    root->right->right = (TreeNode*)malloc(sizeof(TreeNode));
    root->right->right->val = 8;
    root->right->right->left = NULL;
    root->right->right->right = NULL;

    // 判断是否为二叉排序树
    if (isBST(root, INT_MIN, INT_MAX)) {
        printf("是二叉排序树\n");
    } else {
        printf("不是二叉排序树\n");
    }

    // 释放二叉树的空间
    free(root->left->left);
    free(root->left->right);
    free(root->left);
    free(root->right->left);
    free(root->right->right);
    free(root->right);
    free(root);

    return 0;
}

其中，`isBST`函数用于判断一棵二叉树是否为二叉排序树。它的参数包括二叉树的根结点指针、最小值和最大值。在函数内部，首先判断根结点是否为空，如果是，则返回true；然后判断根结点的值是否在最小值和最大值之间，如果不是，则返回false；最后递归判断左子树和右子树是否也满足二叉排序树的条件，如果都满足，则返回true，否则返回false。

在主函数中，我们创建了一棵二叉树，并调用`isBST`函数判断是否为二叉排序树。注意，在本例中，我们假设二叉树的结点值都是不重复的。如果结点值可以重复，则可以将判断条件改为`root->val < maxVal`和`root->val > minVal`。最后，记得释放二叉树的空间。