AT_utpc2013_04.壊れかけのヒープ

也就是说，给定输入 $A_0...A_{N−1}$，请你求出满足以下条件的数组 $H_0...H_{M−1}$，并输出其长度 $M$ 作为答案。

• 所有 $H_i$ 都是大于等于 $0$ 的整数。
• 数组中的元素互不相同。也就是说，如果 $i\neq j$，则 $H_i\neq H_j$。
• 该数组表示一个二叉堆。也就是说，始终有 $H_i < H_{2i+1}$ 且 $H_i < H_{2i+2}$。
• $A$ 是 $H$ 的后缀。也就是说，对于所有 $0\leq k<N$，都有 $A_k=H_{M−N+k}$。

如果有多种可能，请输出最小的 $M$。如果不存在满足条件的 $H$，请输出 $-1$。

输入按以下格式给出。

$N$ $A_0$ $A_1\cdots A_{N-1}$

请将问题的解输出为一行。

输入中的各个变量满足以下约束条件。

• $1\leq N\leq 100$
• $0 \leq A_{i} \leq 10^9$
• $A_i$ 是互不相同的非负整数。

由 ChatGPT 4.1 翻译