题目描述

几年前，Hitagi 遇到了一只巨大的螃蟹，这只螃蟹夺走了她全部的体重。从那以后，她尽量避免与他人接触，担心这个秘密会被发现。

为了摆脱这种异常现象并恢复体重，需要一个特殊的整数序列。Hitagi 的序列已经损坏很久了，但现在 Kaiki 提供了一个机会。

Hitagi 的序列 $a$ 长度为 $n$。其中丢失的元素用 $0$ 表示。Kaiki 提供了另一个序列 $b$，该序列长度 $k$ 恰好等于 $a$ 中丢失元素的数量（即 $0$ 的个数）。Hitagi 需要将 $a$ 中的每个 $0$ 替换为 $b$ 中的一个元素，且 $b$ 中的每个元素只能用一次。除此之外，Hitagi 知道，除了 $0$ 以外，$a$ 和 $b$ 中的每个整数在所有元素中至多出现一次。

如果替换后的序列不是严格递增的，那么它就具有治愈 Hitagi 异常的能力。你需要判断能否实现这一目标，还是 Kaiki 的序列只是另一个骗局。换句话说，你需要判断是否存在一种方法，将 $a$ 中的每个 $0$ 替换为 $b$ 中一个元素，且每个 $b$ 中的整数只使用一次，使得最终序列不是严格递增的。

输入格式

第一行包含两个正整数 $n$（$2\leq n \leq 100$）和 $k$（$1\leq k\leq n$）——分别表示序列 $a$ 和 $b$ 的长度。

第二行包含 $n$ 个用空格分隔的整数 $a_1, a_2, ..., a_n$（$0\leq a_i \leq 200$）——Hitagi 损坏的序列，其中恰好有 $k$ 个元素为 $0$。

第三行包含 $k$ 个用空格分隔的整数 $b_1, b_2, ..., b_k$（$1\leq b_i \leq 200$）——用于填补 Hitagi 序列的元素。

保证除了 $0$ 以外，$a$ 和 $b$ 中的每个整数在全部元素中最多出现一次。

输出格式

如果存在一种可能的替换方案，使得最终序列不是严格递增的，输出 "Yes"；否则输出 "No"。

说明/提示

在第一个样例中：

• 序列 $a$ 是 $11,0,0,14$。
• 有两个丢失的元素，$b$ 为 $5$ 和 $4$。
• 可以得到两种替换结果：$11,5,4,14$ 和 $11,4,5,14$，它们都满足不是严格递增的条件。因此答案为 "Yes"。

在第二个样例中，唯一可能的结果是 $2,3,5,8,9,10$，它是严格递增的，因此不满足条件。

由 ChatGPT 5 翻译

样例

4 2
11 0 0 14
5 4

Yes

6 1
2 3 0 8 9 10
5

No

4 1
8 94 0 4
89

Yes

7 7
0 0 0 0 0 0 0
1 2 3 4 5 6 7

Yes