AT_arc125_c [ARC125C] LIS to Original Sequence
Description
[problemUrl]: https://atcoder.jp/contests/arc125/tasks/arc125_c
整数 $ N $ と,長さ $ K $ の単調増加な整数列 $ A=(A_1,A_2,\cdots,A_K) $ が与えられます. 次の条件を満たす $ (1,2,\cdots,N) $ の順列 $ P $ の中で,**辞書順最小**のものを求めてください.
- $ A $ は $ P $ の最長増加部分列(単調増加な部分列であって,長さが最大のもの)である. なお,$ P $ は複数の最長増加部分列を持つことがあるが,そのうちの一つが $ A $ に一致していればよい.
なお,問題の制約から,条件を満たす $ P $ が必ず存在することが証明できます.
Input Format
入力は以下の形式で標準入力から与えられる.
> $ N $ $ K $ $ A_1 $ $ A_2 $ $ \cdots $ $ A_K $
Output Format
答えを出力せよ.
Explanation/Hint
### 制約
- $ 1\ \leq\ K\ \leq\ N\ \leq\ 2\ \times\ 10^5 $
- $ 1\ \leq\ A_1\