CF1717C.Madoka and Formal Statement

Given an array of integer $a_1, a_2, \ldots, a_n$. In one operation you can make $a_i := a_i + 1$ if $i \lt n$ and $a_i \leq a_{i + 1}$, or $i = n$ and $a_i \leq a_1$.

You need to check whether the array $a_1, a_2, \ldots, a_n$ can become equal to the array $b_1, b_2, \ldots, b_n$ in some number of operations (possibly, zero). Two arrays $a$ and $b$ of length $n$ are called equal if $a_i = b_i$ for all integers $i$ from $1$ to $n$.

给定一个整数数组 $a_1, a_2, \ldots, a_n$。在一次操作中，你可以执行 $a_i := a_i + 1$，当且仅当以下条件之一成立：

• $i < n$ 且 $a_i \leq a_{i + 1}$；
• 或 $i = n$ 且 $a_i \leq a_1$。

你需要判断：是否存在若干次（可能为零次）操作，使得数组 $a_1, a_2, \ldots, a_n$ 变为数组 $b_1, b_2, \ldots, b_n$。
长度为 $n$ 的两个数组 $a$ 和 $b$ 被称为相等，当且仅当对所有从 $1$ 到 $n$ 的整数 $i$，均有 $a_i = b_i$。

The input consists of multiple test cases. The first line contains a single integer $t$ ($1 \le t \le 4 \cdot 10^4$) — the number of test cases. Description of the test cases follows.

The first line of each test case contains a single integer $n$ ($2 \le n \le 2 \cdot 10^5$) – the length of the array.

The second line of each test case contains $n$ integers $a_1, \ldots, a_n$ ($1 \le a_i \le 10^9$) – the elements of the array $a$.

The third line of each test case contains $n$ integers $b_1, \ldots, b_n$ ($1 \le b_i \le 10^9$) – the elements of the array $b$.

It is guaranteed that the sum of $n$ over all test cases does not exceed $2 \cdot 10^5$.

输入包含多个测试用例。第一行包含一个整数 $t$（$1 \le t \le 4 \cdot 10^4$），表示测试用例的数量。随后是各测试用例的描述。

每个测试用例的第一行包含一个整数 $n$（$2 \le n \le 2 \cdot 10^5$），表示数组的长度。

每个测试用例的第二行包含 $n$ 个整数 $a_1, \ldots, a_n$（$1 \le a_i \le 10^9$），表示数组 $a$ 的元素。

每个测试用例的第三行包含 $n$ 个整数 $b_1, \ldots, b_n$（$1 \le b_i \le 10^9$），表示数组 $b$ 的元素。

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

For each test case, output "YES" if you can get the array $b$, otherwise output "NO".

You may print each letter in any case (for example, "YES", "Yes", "yes", "yEs" will all be recognized as positive answer).

对于每个测试用例，如果可以得到数组 $b$，则输出 “YES”，否则输出 “NO”。

您可以以任意大小写形式输出每个字母（例如，“YES”、“Yes”、“yes”、“yEs” 均会被识别为肯定回答）。

In the first test case, the array $a$ is already equal to the array $b$.

In the second test case, we can't get the array $b$, because to do this we need to decrease $a_1$.

In the fifth test case, we can apply operations in order to the elements with indices $4, 3, 3,2,2,2,1,1,1,1$, and then get the array $[5,5,5,5,5]$. After that, you can apply operations in order to elements with indices $5,4,4,3,1$ and already get an array $[6,5,6,7,6]$.

在第一个测试用例中，数组 $a$ 已经等于数组 $b$。

在第二个测试用例中，我们无法得到数组 $b$，因为要实现这一点，我们需要减小 $a_1$。

在第五个测试用例中，我们可以按顺序对下标为 $4, 3, 3, 2, 2, 2, 1, 1, 1, 1$ 的元素执行操作，从而得到数组 $[5,5,5,5,5]$。之后，再按顺序对下标为 $5, 4, 4, 3, 1$ 的元素执行操作，即可得到数组 $[6,5,6,7,6]$。