P9671 [ICPC 2022 Jinan R] Identical Parity

题目描述

定义一个序列的 **权值** 等于这个序列所有的元素之和。 试判断:是否存在一个长度为 $n$ 的 **排列**,满足以下约束条件? - 其所有长度为 $k$ 的 **子区间** 的权值具有相同的奇偶性。

输入格式

第一行一个整数 $T$ $(1\leqslant T\leqslant 10^5)$,表示测试数据组数。 每组测试数据共一行,包含两个整数 $n,k$ $(1 \le k \le n \le 10^9)$。

输出格式

对于每组测试数据,输出一行一个字符串。若存在符合题意的排列,输出 $\texttt{Yes}$;否则,输出 $\texttt{No}$。 你可以以任意的大小写输出 $\texttt{Yes}$ 和 $\texttt{No}$(例如,$\texttt{YES}$,$\texttt{yEs}$ 和 $\texttt{yes}$ 都会被视作合法的输出)。 ### 样例解释 对于第一组测试数据,能够证明不存在任何符合题意的排列。 对于第二组测试数据,$[1,2,3,4]$ 是一个符合题意的排列。其所有长度为 $2$ 的子区间分别为 $[1,2],[2,3],[3,4]$,它们的权值分别为 $3,5,7$,具有相同的奇偶性。 对于第三组测试数据,$[1,2,3,5,4]$ 是一个符合题意的排列。其所有长度为 $3$ 的子区间分别为 $[1,2,3],[2,3,5],[3,5,4]$,它们的权值分别为 $6,10,12$,具有相同的奇偶性。

说明/提示

In the first test case, it can be shown that there does not exist any valid permutation. In the second test case, $[1,2,3,4]$ is one of the valid permutations. Its subsegments of length $2$ are $[1,2],[2,3],[3,4]$. Their values are $3,5,7$, respectively. They share the same parity. In the third test case, $[1,2,3,5,4]$ is one of the valid permutations. Its subsegments of length $3$ are $[1,2,3],[2,3,5],[3,5,4]$. Their values are $6,10,12$, respectively. They share the same parity.