解法：

堆是完全二叉树 用数组来存储

然后用定义判定

#include<iostream>
#include<vector>
using namespace std;
int main() {int n;cin >> n;vector<int> vec(n);for (int i = 0; i < n; i++) cin >> vec[i];for (int i = 0; i < n / 2 - 1; i++) {if (vec[i] >= vec[2 * i + 1] || vec[i] >= vec[2 * i + 2]) {cout << "No";return 0;}}cout << "Yes";return 0;
}