第一行有一个数T,表示数据组数,对于每组数据:
接下来T组数据:
第一行一个整数n,表示菜市场长度;
第二行n个数,表示对菜市场的描述;
对于50%的数据,有:
1  < =  n  < =  1000,1  < =  T  < =  100;
对于另外50%的数据,有:
1  < =  n  < =  2  *  105;1  < =  T  < =  10;
每组数据只有一行,两个数p、q,表示|S|  =  p,且|S|的最早可能的起始位置为q(无解时q  =  0)