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

「Codeforces Round #418」尘封思绪

题目描述

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

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

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

输入格式

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

第二行包含 nn 个空格分隔的整数 a1,a2,,ana_1, a_2, \ldots, a_n —— 包含恰好 kk00 的序列 aa

第三行包含 kk 个空格分隔的整数 b1,b2,,bkb_1, b_2, \ldots, b_k —— 用以替换 aa 中为零元素的序列 bb

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

输出格式

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

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

数据范围与提示

2n1002 \leq n \leq 1001kn1 \leq k \leq n
0ai2000 \leq a_i \leq 200
1bi2001 \leq b_i \leq 200

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