使其递增

• 时间限制：2 秒
• 内存限制：512 MiB

题目描述

给定长度为 $n$ 的整数数组 $a$，以及 $k$ 个互不相同的固定位置 $b_1,b_2,\ldots,b_k$。

一次操作可以选择一个不在固定位置集合中的下标 $i$，把 $a_i$ 改成任意整数。求使数组严格递增所需的最少操作次数；若无法做到，输出 $-1$。

输入格式

第一行两个整数 $n,k$。

第二行 $n$ 个整数 $a_1,a_2,\ldots,a_n$。

若 $k>0$，第三行包含严格递增的 $k$ 个整数 $b_1,b_2,\ldots,b_k$。

输出格式

若无法使数组严格递增，输出 $-1$；否则输出最少操作次数。

样例输入 1

7 2
1 2 1 1 3 5 1
3 5

样例输出 1

4

样例输入 2

3 3
1 3 2
1 2 3

样例输出 2

-1

样例输入 3

5 0
4 3 1 2 3

样例输出 3

2

样例输入 4

10 3
1 3 5 6 12 9 8 10 13 15
2 4 9

样例输出 4

3

数据范围

$1\le n\le 5\times 10^5$，$0\le k\le n$，$1\le a_i\le 10^9$，$1\le b_1<\cdots<b_k\le n$。