c语言判断一个排列是否是FILO序列

在C语言中，判断一个数组表示的元素是否形成一个堆（FILO，即First In Last Out，先进后出）序列通常是指二叉堆（Max Heap）。对于最大堆，每个节点的值都大于或等于其子节点的值。这意味着根节点是最大的元素，并且从根到叶子节点的路径上，数值逐渐减小。

你可以通过遍历数组并检查是否满足以下条件来确定它是否构成一个最大堆：

1. 父节点（i / 2）的值总是大于或等于子节点（i * 2 和 i * 2 + 1）的值（如果是非叶子节点）。
2. 根节点（数组的第一个元素）是最大值。

以下是一个简单的函数示例，用于检测一个数组是否形成最大堆：

#include <stdbool.h>

bool isFIFOSequence(int arr[], int n) {
    for (int i = n / 2 - 1; i >= 0; i--) { // 从最后一个非叶子节点开始向上检查
        if (arr[i] < arr[2 * i + 1] || arr[i] < arr[2 * i]) { // 检查左孩子和右孩子的值是否大于父节点
            return false;
        }
    }
    return true;
}

// 示例
int main() {
    int arr[] = {50, 40, 90, 70, 60};
    int n = sizeof(arr) / sizeof(arr[0]);
    if (isFIFOSequence(arr, n)) {
        printf("给定数组是最大堆顺序\n");
    } else {
        printf("给定数组不是最大堆顺序\n");
    }
    return 0;
}