7-12 关于堆的判断 (25 分)

将一系列给定数字顺序插入一个初始为空的小顶堆H[]。随后判断一系列相关命题是否为真。命题分下列几种：

x is the root：x是根结点；
x and y are siblings：x和y是兄弟结点；
x is the parent of y：x是y的父结点；
x is a child of y：x是y的一个子结点。

输入格式：

每组测试第1行包含2个正整数N（≤ 1000）和M（≤ 20），分别是插入元素的个数、以及需要判断的命题数。下一行给出区间[−10000,10000]内的N个要被插入一个初始为空的小顶堆的整数。之后M行，每行给出一个命题。题目保证命题中的结点键值都是存在的。

输出格式：

对输入的每个命题，如果其为真，则在一行中输出T，否则输出F。

输入样例：

5 4
46 23 26 24 10
24 is the root
26 and 23 are siblings
46 is the parent of 23
23 is a child of 10

输出样例：

F
T
F
T

具体详解见代码

#include <iostream>
#include <string>
#include<algorithm>
#include<bits/stdc++.h>
#include<stack>
#include<set>
#include <vector>
#include <map>
#include<queue>
#include<deque>
#include<cctype>
#include<unordered_set>
using namespace std;
const int MAX=1001;
int a[MAX];
int m,n;
int find(int x){//查找，返回在数组的下标值
	for(int i=1;i<=n;i++){
		if(a[i]==x) return i;
	}
	return 0;
}
int main(){
	cin>>n>>m;
	for(int i=1;i<=n;i++){
		 int k=i;
		 cin>>a[i];
		 while(k>1&&a[k]<a[k/2]){//建立小顶堆
		 	swap(a[k],a[k/2]);
		 	k/=2;
		 }
	}
	while(m--){//下面就是分情况了，一共四种情况都包含
		int x;
		cin>>x;
		string s;
		cin>>s;
		if(s=="is"){
			string ss;
			cin>>ss;
			if(ss=="the"){
				string sss;
				cin>>sss;
				if(sss=="root"){
					if(a[1]==x) cout<<"T"<<endl;//如果x是堆顶（数组第一个）
					else cout<<"F"<<endl;
				}
				else{
					string s1;
					int y;
					cin>>s1>>y;
					if(find(y)/2==find(x)) cout<<"T"<<endl;//如果x是y的父亲节点，那么x的下标就是y的两倍
					else cout<<"F"<<endl;
				}
			}
			else if(ss=="a"){
				string s1,s2;
				int y;
				cin>>s1>>s2>>y;
				if(find(x)/2==find(y)) cout<<"T"<<endl;//同理
				else cout<<"F"<<endl;
			}
		}
		else if(s=="and"){
			int y;
			cin>>y;
			string ss;
			getline(cin,ss);
			if(find(x)/2==find(y)/2) cout<<"T"<<endl;//如果他俩的父节点相同，说明是兄弟结点
			else cout<<"F"<<endl; 
		}
	}
	return 0;
}