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<map>
using namespace std;
int main(){
	int n,m,x,a[10000]={0},cnt=0,y;
	string s;
	map<int,int> mp;
	cin>>n>>m;
	for(int i=0;i<n;i++){
		cin>>x;
		a[++cnt]=x;
		int t=cnt;
		while(t>1&&a[t]<a[t/2]){
			swap(a[t],a[t/2]);
			t/=2;
		}
	}
	for(int i=1;i<=n;i++)mp[a[i]]=i;
	for(int i=0;i<m;i++){
		cin>>x>>s;
		if(s[0]=='a'){
			cin>>y>>s>>s;
			if(mp[x]/2==mp[y]/2)cout<<'T'<<endl;
			else cout<<'F'<<endl;
		}else{
			cin>>s>>s;
			if(s[0]=='r'){
				if(mp[x]==1)cout<<'T'<<endl;
				else cout<<'F'<<endl;
			}else if(s[0]=='p'){
				cin>>s>>y;
				if(mp[x]==mp[y]/2)cout<<'T'<<endl;
				else cout<<'F'<<endl;
			}else if(s[0]=='c'){
				cin>>s>>y;
				if(mp[x]/2==mp[y])cout<<'T'<<endl;
				else cout<<'F'<<endl;
			}
		}
	}
	return 0;
}