题目描述

有一个长度为 $n$ 的数组 $a$ 和一个参数 $k$。

如果一个数组 $b$ 满足：对于每一个从 $k$ 到 $n$ 的下标 $i$，数组 $a$ 中从 $i-k+1$ 到 $i$ 的一段，和数组 $b$ 中从 $i-k+1$ 到 $i$ 的一段，是重新排列后完全一样的，那么数组 $b$ 就叫合格数组。

现在给你数组 $a$、数组 $b$ 和整数 $k$。数组 $a$ 里只有 $1 \sim n$ 的数。数组 $b$ 里只有 $1 \sim n$ 的数和 $-1$。

请你判断：能不能把 $b$ 里所有的 $-1$ 替换成 $1 \sim n$ 里的数，让 $b$ 变成合格数组。

输入格式

第一行一个整数 $t$，表示测试用例个数。

每个测试用例：

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

第二行 $n$ 个整数，表示数组 $a_1,a_2,\dots,a_n$。

第三行 $n$ 个整数，表示数组 $b_1,b_2,\dots,b_n$。

输出格式

对于每个测试用例，输出一行 YES 或 NO。

5
5 5
1 2 3 4 5
3 1 5 2 4
5 2
1 2 1 2 1
2 -1 -1 -1 -1
6 1
5 6 2 2 4 3
5 -1 -1 2 -1 3
2 1
1 2
2 -1
6 4
1 2 3 4 1 2
2 -1 3 -1 4 -1

YES
YES
YES
NO
NO

数据规模与约定

$1 \le t \le 10^4$

$1 \le k \le n \le 2 \times 10^5$

所有测试用例的 $n$ 之和不超过 $2 \times 10^5$。

数组 $a$ 中的元素是 $1 \sim n$ 的整数。

数组 $b$ 中的元素是 $-1$ 或 $1 \sim n$ 的整数。

来源：Codeforces Round 1088 (Div. 1 + Div. 2)

题目网址：https://codeforces.com/contest/2211/problem/C2