CF1437E.Make It Increasing

You are given an array of $n$ integers $a_1$, $a_2$, ..., $a_n$, and a set $b$ of $k$ distinct integers from $1$ to $n$.

In one operation, you may choose two integers $i$ and $x$ ($1 \le i \le n$, $x$ can be any integer) and assign $a_i := x$. This operation can be done only if $i$ does not belong to the set $b$.

Calculate the minimum number of operations you should perform so the array $a$ is increasing (that is, $a_1 \lt a_2 \lt a_3 \lt \dots \lt a_n$), or report that it is impossible.

给你一个包含 $n$ 个整数的数组 $a_1$, $a_2$, ..., $a_n$，以及一个由 $k$ 个互不相同的整数构成的集合 $b$，其中每个元素均在 $1$ 到 $n$ 之间。

在一次操作中，你可以选择两个整数 $i$ 和 $x$（满足 $1 \le i \le n$，$x$ 可为任意整数），并令 $a_i := x$。但该操作仅在 $i$ 不属于集合 $b$ 时才允许执行。

请计算使数组 $a$ 严格递增（即满足 $a_1 \lt a_2 \lt a_3 \lt \dots \lt a_n$）所需的最少操作次数；若无法实现，则报告不可能。

The first line contains two integers $n$ and $k$ ($1 \le n \le 5 \cdot 10^5$, $0 \le k \le n$) — the size of the array $a$ and the set $b$, respectively.

The second line contains $n$ integers $a_1$, $a_2$, ..., $a_n$ ($1 \le a_i \le 10^9$).

Then, if $k \ne 0$, the third line follows, containing $k$ integers $b_1$, $b_2$, ..., $b_k$ ($1 \le b_1 \lt b_2 \lt \dots \lt b_k \le n$). If $k = 0$, this line is skipped.

第一行包含两个整数 $n$ 和 $k$（$1 \le n \le 5 \cdot 10^5$，$0 \le k \le n$）—— 分别表示数组 $a$ 的大小和集合 $b$ 的大小。

第二行包含 $n$ 个整数 $a_1$, $a_2$, ..., $a_n$（$1 \le a_i \le 10^9$）。

接着，若 $k \ne 0$，则第三行给出 $k$ 个整数 $b_1$, $b_2$, ..., $b_k$（$1 \le b_1 \lt b_2 \lt \dots \lt b_k \le n$）；若 $k = 0$，则跳过该行。

If it is impossible to make the array $a$ increasing using the given operations, print $-1$.

Otherwise, print one integer — the minimum number of operations you have to perform.

如果无法通过给定的操作使数组 $a$ 严格递增，则输出 $-1$。

否则，输出一个整数——你需要执行的最少操作次数。