一个关于SG的博弈游戏，对于某个堆有$M_i$和$L_i$,那么这个堆的SG值为

$$SG_i = M_i \%(L_i+1)$$

为什么这道题的$SG$函数就是这样子的呢？四个字：手算打表！！

$Let's \quad Review \quad The \quad Defination \quad Of \quad \quad SG \quad Function!!$

定义$SG(x)=mex(S)$,其中$S$是$x$的后继状态的$SG$函数值集合，$mex(S)$表示不在$S$内的最小非负的整数。

我们先取$L=5$来看一下

当$M=1$时,由于$1$的后继状态只有$0$，由sg定义可得$sg[1] =mex\{sg[0]\}=1$

,当$M=2$时，$2$的后继状态有$0,1$得到$sg[2]= mex\{sg[0],sg[1]\}=2$

当$M=3$时，$3$的后继状态有$0,1,2$有$sg[3] = mex\{sg[0],sg[1],sg[2]\}= mex\{0,1,2\}=3$

$……$

当$M=5$时，$5$的后继状态有$0,1,2,3,4$,有$sg[5]=5$

当$M=6$时，$6$的后继状态有$1,2,3,4,5$有$sg[6]=mex\{sg[1],sg[2]……sg[5]\}=0$

当$M=7$时，$7$的后继状态有$2,3,4,5,6$有$sg[7]=mex\{sg[2],sg[3],sg[4]……sg[6]\}=1$

如此一来 规律就好明显的有木有><.

最后贴上AC代码：

#include
#include
using namespace std;

int main() {
int m,l,n,sg,cas;
cin>>cas;
while(cas--){
sg = 0;
cin>>n;
while(n--) {
cin>>m>>l;
sg ^= m%(l+1);
}
if(!sg) puts("Yes");
else puts("No");
}
return 0;
}