#6090. 「Codeforces Round #418」尘封思绪

内存限制:256 MiB 时间限制:1000 ms 标准输入输出
题目类型:传统 评测方式:Special Judge
上传者: cyand1317

题目描述

理由さえも 忘れてた 淚で
哭泣的理由早已遗忘,泪水却依旧不止
凍りついた 想い出は 綺麗で
回忆早已冻结,但仍然美丽

给定两个整数序列 a b ,其中 b 的长度等于 a 0 出现的次数。另外,任意一个非零元素在 a b 中出现次数总和不超过 1

判断是否可以将 a 中为零的元素与 b 中的元素一一对应并替换,使得得到的序列 a' 不是一个递增序列。序列 a' 是递增序列当且仅当 a'_i < a'_{i+1} 对所有有意义的 i 成立。

输入格式

输入的第一行包含两个空格分隔的正整数 n k —— 分别为序列 a b 的长度。

第二行包含 n 个空格分隔的整数 a_1, a_2, \ldots, a_n —— 包含恰好 k 0 的序列 a

第三行包含 k 个空格分隔的整数 b_1, b_2, \ldots, b_k —— 用以替换 a 中为零元素的序列 b

输入保证任意一个非零元素在 a b 中出现次数总和不超过 1

输出格式

如果可以将 a 中等于零的元素与 b 中的元素一一对应并替换,使得得到的序列 a' 不是一个递增序列,输出 Yes;否则输出 No

样例

样例输入 1

4 2
11 0 0 14
5 4

样例输出 1

Yes

样例解释 1

在样例 1 中,通过将两个 0 以任意方式替换,得到的序列 11, 5, 4, 14 11, 4, 5, 14 都不是递增序列,因此答案为 Yes

样例输入 2

6 1
2 3 0 8 9 10
5

样例输出 2

No

样例解释 2

在样例 2 中,惟一能得到的序列 2, 3, 5, 8, 9, 10 是递增序列,因此答案为 No

样例输入 3

4 1
8 94 0 4
89

样例输出 3

Yes

样例输入 4

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

样例输出 4

Yes

数据范围与提示

2 \leq n \leq 100 1 \leq k \leq n
0 \leq a_i \leq 200
1 \leq b_i \leq 200

もう一度 もう二度と 云えない言葉は
一次也好,两次也罢,将说不出口的话语
幼いまま 優しいまま 悴んだ記憶
以最初的状态、以最温柔的状态,存入冻结了的记忆
                  ——「木枯らしセンティメント」