Это простая версия задачи. Отличие между версиями заключается в том, что в этой версии массив $$$a$$$ гарантированно является перестановкой. Вы можете делать взломы только в том случае, если решили все версии этой задачи.
Дан массив $$$a$$$ размера $$$n$$$ и параметр $$$k$$$. Массив $$$b$$$ называется хорошим, если выполняется следующее условие:
Вам даны два массива $$$a$$$ и $$$b$$$ размера $$$n$$$, а также целое число $$$k$$$. Массив $$$a$$$ гарантированно является перестановкой$$$^{\text{∗}}$$$. Массив $$$b$$$ содержит только целые числа от $$$1$$$ до $$$n$$$ и $$$-1$$$.
Определите, можно ли заменить все $$$-1$$$ в $$$b$$$ на целые числа от $$$1$$$ до $$$n$$$ так, чтобы массив $$$b$$$ был хорошим относительно $$$k$$$.
$$$^{\text{∗}}$$$Перестановкой длины $$$n$$$ является массив, состоящий из $$$n$$$ различных целых чисел от $$$1$$$ до $$$n$$$ в произвольном порядке. Например, $$$[2,3,1,5,4]$$$ — перестановка, но $$$[1,2,2]$$$ не перестановка ($$$2$$$ встречается в массиве дважды) и $$$[1,3,4]$$$ тоже не перестановка ($$$n=3$$$, но в массиве встречается $$$4$$$).
Каждый тест состоит из нескольких наборов входных данных. В первой строке находится одно целое число $$$t$$$ ($$$1 \le t \le 10^4$$$) — количество наборов входных данных. Далее следует описание наборов входных данных.
Первая строка каждого набора входных данных содержит два целых числа $$$n$$$ и $$$k$$$ ($$$1 \leq k \leq n \leq 2\cdot 10^5$$$).
Вторая строка каждого набора входных данных содержит $$$n$$$ целых чисел $$$a_1,a_2,\ldots,a_n$$$ ($$$1 \le a_i \le n$$$). В этой версии гарантируется, что каждое число от $$$1$$$ до $$$n$$$ встречается ровно один раз.
Третья строка каждого набора входных данных содержит $$$n$$$ целых чисел $$$b_1,b_2,\ldots,b_n$$$ ($$$1 \leq b_i \leq n$$$ или $$$b_i=-1$$$).
Гарантируется, что сумма $$$n$$$ по всем наборам входных данных не превосходит $$$2\cdot 10^5$$$.
Для каждого набора входных данных выведите YES, если это возможно, и NO в противном случае. Буквы можно выводить в любом регистре.
45 51 2 3 4 53 1 5 2 45 44 1 2 5 32 -1 -1 -1 -16 41 2 4 3 5 6-1 -1 3 -1 -1 -16 41 2 4 3 5 6-1 -1 3 3 -1 -1
YESNOYESNO
В первом наборе входных данных $$$k=5$$$. Единственный подмассив размера $$$5$$$ — это $$$[1,5]$$$. Можно видеть, что $$$b$$$ является перестановкой массива $$$a$$$, поэтому ответ равен YES.
Во втором наборе входных данных можно показать, что невозможно заменить все $$$-1$$$ в $$$b$$$ так, чтобы все подмассивы размера $$$k=4$$$ были перестановками друг друга.
