AT_arc231_c [ARC231C] One Sky, Many Stars

对于长度为 $N$ 的非负整数序列 $x=(x_1,x_2,\cdots,x_N)$、$d=(d_1,d_2,\cdots,d_N)$，考虑如下问题 **观星**。这里，$x_1 < x_2 < \cdots < x_N$。 > **观星** > 数轴上有 $N$ 个人，编号为 $1$ 到 $N$。第 $i$ 个人位于坐标 $x_i$。此外，数轴上有一颗或多颗星星，可以将它们视为点。 > 关于星星的排列，第 $i$ 个人作证说：“离我最近的星星到我的距离为 $d_i$。” 距离该人最近的星星可能有多颗。 > 判断是否存在一种星星的排列方式，使得它与这 $N$ 个人的证词都不矛盾；若存在输出 `Yes`，否则输出 `No`。 给定长度为 $N$ 的非负整数序列 $A=(A_1,A_2,\cdots,A_N)$、$B=(B_1,B_2,\cdots,B_N)$。这里 $A_1 < A_2 < \cdots < A_N$。处理 $Q$ 个查询。第 $j$ 个查询（$1 \leq j \leq Q$）如下： - 给定一个 $1$ 到 $N$ 之间的整数 $P_j$ 和非负整数 $S_j$。将 $B_{P_j}$ 改为 $S_j$。然后以 $x,d$ 分别为 $A,B$ 解决 **观星**。$B_{P_j}$ 的修改会延续到之后的查询。 每个输入文件包含 $T$ 组测试数据。

输入从标准输入给出，格式如下。这里 $\mathrm{case}_i$（$1 \leq i \leq T$）表示第 $i$ 组测试数据。 > $T$ > $\mathrm{case}_1$ > $\mathrm{case}_2$ > $\vdots$ > $\mathrm{case}_T$ 每组测试数据格式如下： > $N$ > $A_1$ $A_2$ $\cdots$ $A_N$ > $B_1$ $B_2$ $\cdots$ $B_N$ > $Q$ > $P_1$ $S_1$ > $P_2$ $S_2$ > $\vdots$ > $P_Q$ $S_Q$

按 $\mathrm{case}_1,\mathrm{case}_2,\cdots,\mathrm{case}_T$ 的顺序输出答案。对于每组测试数据，输出第 $1,2,\cdots,Q$ 个查询的 **观星** 答案，用换行分隔。

### 样例解释 1 对于第一个测试用例，每个查询如下。 - 第一次查询修改后，$A=(2,4,8)$，$B=(3,3,0)$。以 $x,d$ 分别为 $A,B$ 进行 **观星** 的答案是 `Yes`。例如，如果星星位于坐标 $-1,7,8$，如下图所示，则条件满足。 - 第二次查询修改后，$A=(2,4,8)$，$B=(7,3,0)$。答案是 `No`。因为可以证明不存在满足条件的星星排列。  ### 数据范围 - $1 \leq T \leq 10$ - $1 \leq N \leq 150\,000$ - $0 \leq A_1 < A_2 < \cdots < A_N \leq 10^9$ - $0 \leq B_i \leq 10^9$（$1 \leq i \leq N$） - $1 \leq Q \leq 150\,000$ - $1 \leq P_j \leq N$（$1 \leq j \leq Q$） - $0 \leq S_j \leq 10^9$（$1 \leq j \leq Q$） - 所有测试用例的 $N$ 之和不超过 $200\,000$。 - 所有测试用例的 $Q$ 之和不超过 $200\,000$。 - 所有输入值均为整数。 翻译由 DeepSeek 提供。