设计一个算法，判断一个数据序列R[1..n]是否构成一个大根堆

【问题描述】
设计一个算法，判断一个数据序列R[1..n]是否构成一个大根堆
【输入形式】
两行，第一行是数据个数，第二行是数据序列
【输出形式】
true 或者false,如果是大根堆，输出true,否则，输出false 【样例输入】
9
8 7 6 5 4 3 2 1 0
【样例输出】
true
【样例说明】 【评分标准】
#include
using namespace std;

template
void heap_adjust(T*& h, int s, int m)
{
h[0] = h[s];
int k = s;
int j = 2 * k;
while (j <= m) { if (h[j] > h[0]) {
if (jh[j]) {
h[k] = h[j + 1];
h[j + 1] = h[0];
k = j + 1;
}
else {
h[k] = h[j];

设计一个算法，判断一个数据序列R[1..n]是否构成一个大根堆最先出现在Python成神之路。