#P10276. [USACO24OPEN] Farmer John's Favorite Permutation B

[USACO24OPEN] Farmer John's Favorite Permutation B

Description

Farmer John has a permutation pp of length NN (2N105)2 \leq N \leq 10^5), containing each positive integer from 11 to NN exactly once. However, Farmer Nhoj has broken into FJ's barn and disassembled pp. To not be too cruel, FN has written some hints that will help FJ reconstruct pp. While there is more than one element remaining in pp, FN does the following:

Let the remaining elements of pp be p1,p2,,pnp'_1, p'_2, \dots , p'_n,

  • If p1>pnp'_1 > p'_n, he writes down p2p'_2 and removes p1p'_1 from the permutation.
  • Otherwise, he writes down pn1p'_{n-1} and removes pnp'_n from the permutation.

At the end, Farmer Nhoj will have written down N1N - 1 integers h1,h2,,hN1h_1, h_2, \dots, h_{N-1}, in that order. Given hh, Farmer John wants to enlist your help to reconstruct the lexicographically minimum pp consistent with Farmer Nhoj's hints, or determine that Farmer Nhoj must have made a mistake. Recall that if you are given two permutations pp and pp', pp is lexicographically smaller than pp' if pi<pip_i < p'_i at the first position ii where the two differ.

Input Format

Each input consists of TT independent test cases (1T101\le T\le 10). Each test case is described as follows:

The first line contains NN.

The second line contains N1N - 1 integers h1,h2,,hN1h_1, h_2, \dots, h_{N-1} (1hiN1\le h_i\le N).

Output Format

Output TT lines, one for each test case.

If there is a permutation pp of 1N1\dots N consistent with hh, output the lexicographically smallest such pp. If no such pp exists, output 1-1.

5
2
1
2
2
4
1 1 1
4
2 1 1
4
3 2 1
1 2
-1
-1
3 1 2 4
1 2 3 4

Hint

For the fourth test case, if p=[3,1,2,4]p=[3,1,2,4] then FN will have written down h=[2,1,1]h=[2,1,1].

p' = [3,1,2,4]
p_1' < p_n' -> h_1 = 2
p' = [3,1,2]
p_1' > p_n' -> h_2 = 1
p' = [1,2]
p_1' < p_n' -> h_3 = 1
p' = [1]

Note that the permutation p=[4,2,1,3]p=[4,2,1,3] would also produce the same hh, but [3,1,2,4][3,1,2,4] is lexiocgraphically smaller.

For the second test case, there is no pp consistent with hh; both p=[1,2]p=[1,2] and p=[2,1]p=[2,1] would produce h=[1]h=[1], not h=[2]h=[2].

SCORING:

  • Input 2: N8N\le 8
  • Inputs 3-6: N100N\le 100
  • Inputs 7-11: No additional constraints.