AT_arc198_b [ARC198B] Rivalry
题目描述
[problemUrl]: https://atcoder.jp/contests/arc198/tasks/arc198_b
给定由 $ X $ 个 $ 0 $、$ Y $ 个 $ 1 $ 和 $ Z $ 个 $ 2 $ 构成的长为 $ X + Y + Z $ 的非负整数序列 $ A = (A_1, A_2, \dots, A_{X+Y+Z}) $。请判断是否存在满足以下条件的序列:
- 对于所有 $ i $($ 1 \le i \le X + Y + Z $),$ A_{i-1} $ 和 $ A_{i+1} $ 中严格小于 $ A_i $ 的数的个数恰好为 $ A_i $ 个。
其中,定义 $ A_0 = A_{X+Y+Z} $,$ A_{X+Y+Z+1} = A_1 $。
给定 $ T $ 个测试用例,请对每个用例判断是否存在满足条件的序列。
输入格式
输入通过标准输入给出,格式如下:
> $ T $
> $ \mathrm{case}_1 $
> $ \mathrm{case}_2 $
> $ \vdots $
> $ \mathrm{case}_T $
每个测试用例的格式为:
> $ X $ $ Y $ $ Z $
输出格式
输出 $ T $ 行。第 $ i $ 行($ 1 \le i \le T $)应输出对应测试用例的结果:若存在满足条件的序列,输出 `Yes`,否则输出 `No`。
说明/提示
### 约束条件
- $ 1 \le T \le 2 \times 10^5 $
- $ 0 \le X, Y, Z \le 10^9 $
- $ 3 \le X + Y + Z $
### 样例解释 1
对于第一个测试用例,序列 $ A = (2, 0, 0, 1) $ 满足条件。
对于第二个测试用例,不存在满足条件的序列。
翻译由 DeepSeek V3 完成