CF1764E Doremy's Number Line

Doremy 有两个长度为 $n$ 的整数数组 $a$ 和 $b$，以及一个整数 $k$。 起初，她有一条数轴，所有整数都未被染色。她选择 $[1,2,\ldots,n]$ 的一个排列 $p$，然后进行 $n$ 次操作。在第 $i$ 次操作时，她执行以下步骤： - 选择一个未被染色的整数 $x$，满足以下任一条件： - $x \leq a_{p_i}$；或者 - 存在一个已被染色的整数 $y$，使得 $y \leq a_{p_i}$ 且 $x \leq y + b_{p_i}$。 - 用颜色 $p_i$ 给整数 $x$ 染色。 请判断整数 $k$ 是否可以被染成颜色 $1$。

输入包含多组测试数据。第一行包含一个整数 $t$（$1 \le t \le 10^4$），表示测试数据的组数。接下来是每组测试数据的描述。 每组测试数据的第一行包含两个整数 $n$ 和 $k$（$1 \le n \le 10^5$，$1 \le k \le 10^9$）。 接下来的 $n$ 行，每行包含两个整数 $a_i$ 和 $b_i$（$1 \le a_i, b_i \le 10^9$）。 保证所有测试数据中 $n$ 的总和不超过 $10^5$。

对于每组测试数据，如果可以将点 $k$ 染成颜色 $1$，输出 "YES"（不带引号）；否则输出 "NO"（不带引号）。 你可以以任意大小写输出 "YES" 和 "NO"（例如 "yEs"、"yes" 和 "Yes" 都会被识别为肯定回答）。

对于第一个测试用例，不可能将点 $16$ 染成颜色 $1$。 对于第二个测试用例，$p=[2,1,3,4]$ 是一种可能的选择，具体如下： - 第一步，选择 $x=8$，用颜色 $2$ 染色，因为 $x=8$ 未被染色且 $x \leq a_2$。 - 第二步，选择 $x=16$，用颜色 $1$ 染色，因为存在已染色点 $y=8$，满足 $y \leq a_1$ 且 $x \leq y + b_1$。 - 第三步，选择 $x=0$，用颜色 $3$ 染色，因为 $x=0$ 未被染色且 $x \leq a_3$。 - 第四步，选择 $x=-2$，用颜色 $4$ 染色，因为 $x=-2$ 未被染色且 $x \leq a_4$。 - 最终，点 $-2,0,8,16$ 分别被染成颜色 $4,3,2,1$。 对于第三个测试用例，$p=[2,1,4,3]$ 是一种可能的选择。 对于第四个测试用例，$p=[2,3,4,1]$ 是一种可能的选择。 由 ChatGPT 4.1 翻译