1155 Heap Paths (30 分)个人理解

**

1155 Heap Paths (30 分)

**
题目就不写啦
注释有些乱，有错评论区请指正，感谢观看！

include <bits/stdc++.h>
using namespace std;
int m;
vector<int> v;
bool isMaxheap = 0, isMinheap = 0, notHeap = 0;
void dfs(int a[], int k)
{
    //DFS
    //（因为本题所给是完全二叉树，所以不存在有右子树无左子树的情况）
    //分三种情况去看,本题的递归出口也就是这三个切入点
    //1.当前节点同时具有左右孩子
    //2.当前节点只有左孩子
    //3.当前节点为叶子节点

    //因为k是从位置为1的节点开始深搜，所以本函数在递归过程中不会出现k>m的情况
    //出现这种情况之前（当k为叶子节点时）及时退出了递归，并且选择了另一条路

    //判断堆的属性 分以下几种情况
    //大顶堆：树中根节点的值是整棵树中最大的   左右子树同理
    //小顶堆：树中根节点的值是树中最小的 左右子树同理
    //1.树中即出现了大顶堆又出现了小顶堆 这显然是冲突的 所以不满足堆的定义  综上所述  其不为堆
    //2.若已经证明子树不为堆  则树不满足堆的定义

    if (2 * k > m) //当前节点为叶子节点
    {
        v.push_back(a[k]); //当前节点符合条件压入vector
        cout << v[0];
        for (int i = 1; i < v.size(); i++)
        { //打印输出
            cout << " " << v[i];
        }
        cout << endl;
        return;
    }
    v.push_back(a[k]);
     if (2 * k + 1 <= m) //当前节点有左右子树
    {
        if (a[k] < a[2 * k + 1] && !notHeap) //出现了小顶堆的特性    并且不确定这个树是否为堆
        {
            if (!isMaxheap) //大顶堆为未确定值
            {
                isMinheap = 1;
            }
            else //冲突
            {
                notHeap = 1;
            }
        }
        else if (a[k] > a[2 * k + 1] && !notHeap) //出现了大顶堆的特性  并且不确定这个树是否为堆
        {
            if (!isMinheap) //小顶堆为未确定值
            {
                isMaxheap = 1;
            }
            else //冲突
            {
                notHeap = 1;
            }
        }
        dfs(a, 2 * k + 1);
        v.pop_back();
    }
    if(2 * k <= m) //当前节点只有左子树
    {
        if (a[k] < a[2 * k] && !notHeap) //出现了小顶堆的特性    并且不确定这个树是否为堆
        {
            if (!isMaxheap) //大顶堆为未确定值
            {
                isMinheap = 1;
            }
            else //冲突
            {
                notHeap = 1;
            }
        }
        else if (a[k] > a[2 * k] && !notHeap) //出现了大顶堆的特性  并且不确定这个树是否为堆
        {
            if (!isMinheap) //小顶堆为未确定值
            {
                isMaxheap = 1;
            }
            else //冲突
            {
                notHeap = 1;
            }
        }
        dfs(a, 2 * k);
        v.pop_back();
    }
}
int main()
{
    cin >> m;
    int a[m + 1];
    for (int i = 1; i <= m; i++)
    {
        cin >> a[i];
    }
    dfs(a, 1);
    if (notHeap)
        cout << "Not Heap";
    else
    {
        if (isMaxheap)
            cout << "Max Heap";
        else
            cout << "Min Heap";
    }
    return 0;
}