将一系列给定数字顺序插入一个初始为空的最小堆。随后判断一系列相关命题是否为真。命题分下列几种:
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 <cstring>
#include <unordered_map>
using namespace std;
int a[10100];
int n, m;
unordered_map<int, int>h;
int main() {
memset(a, -0x3f, sizeof a);
cin >> n >> m;
cin >> a[1];
for (int i = 2; i <= n; i ++ ) {
cin >> a[i];
for (int j = i; a[j] < a[j / 2]; j /= 2) {
int tmp = a[j];
a[j] = a[j / 2];
a[j / 2] = tmp;
}
}
for (int i = 1; i <= n; i ++ ) h[a[i]] = i;
while (m -- ) {
int a, b;
string op;
cin >> a >> op;
if (op == "and") {
cin >> b >> op >> op;
if (h[a] && h[b] && h[a] >> 1 == h[b] >> 1) puts("T");
else puts("F");
} else {
cin >> op >> op;
if (op == "root") {
if (h[a] == 1) puts("T");
else puts("F");
}
else if (op == "parent") {
cin >> op >> b;
if (h[a] && h[b] && h[a] == h[b] >> 1) puts("T");
else puts("F");
} else {
cin >> op >> b;
if (h[a] && h[b] && h[a] >> 1 == h[b]) puts("T");
else puts("F");
}
}
}
}