Description

小F的学校在城市的一个偏僻角落,所有学生都只好在学校吃饭。学校有一个食堂,虽然简陋,但食堂大厨总能做出让同学们满意的菜肴。当然,不同的人口味也不一定相同,但每个人的口味都可以用一个非负整数表示。 
由于人手不够,食堂每次只能为一个人做菜。做每道菜所需的时间是和前一道菜有关的,若前一道菜的对应的口味是a,这一道为b,则做这道菜所需的时间为(a or b)-(a and b),而做第一道菜是不需要计算时间的。其中,or和and表示整数逐位或运算及逐位与运算,C语言中对应的运算符为”|”和”&”。 
学生数目相对于这个学校还是比较多的,吃饭做菜往往就会花去不少时间。因此,学校食堂偶尔会不按照大家的排队顺序做菜,以缩短总的进餐时间。 
虽然同学们能够理解学校食堂的这种做法,不过每个同学还是有一定容忍度的。也就是说,队伍中的第i个同学,最多允许紧跟他身后的Bi个人先拿到饭菜。一旦在此之后的任意同学比当前同学先拿到饭,当前同学将会十分愤怒。因此,食堂做菜还得照顾到同学们的情绪。 
现在,小F想知道在满足所有人的容忍度这一前提下,自己的学校食堂做完所有菜最少需要多少时间。

Input

第一行包含一个正整数C,表示测试点的数据组数。 
每组数据的第一行包含一个正整数N,表示同学数。 
每组数据的第二行起共N行,每行包含两个用空格分隔的非负整数Ti和Bi,表示按队伍顺序从前往后的每个同学所需的菜的口味和这个同学的忍受度。 
每组数据之间没有多余空行。

Output

输出包含C行,每行一个整数,表示对应数据中食堂完成所有菜所需的最少时间。

Sample Input



5 2 
4 1 
12 0 
3 3 
2 2 

5 0 
4 0

Sample Output

16 
1

Hint

数据规模和约定: 
对于30%的数据,满足1 ≤ N ≤ 20。 
对于100%的数据,满足1 ≤ N ≤ 1,000,0 ≤ Ti ≤ 1,000,0 ≤ Bi ≤ 7,1 ≤ C ≤ 5。 
存在30%的数据,满足0 ≤ Bi ≤ 1。 
存在65%的数据,满足0 ≤ Bi ≤ 5。 
存在45%的数据,满足0 ≤ Ti ≤ 130。

 
 
题解:
这题状态定义的很诡,明确i只跟i-b[i] 和 i+b[i] 一段能扯上关系,所以我们就处理这一段
定义F[i][j][k] i为当前的菜的位置,j为前一个的位置与i的差(abs<=7),k为i到i+b[i] 这一段的状态
值得注意的是枚举顺序 k要写在j前面 .... k满足递增顺序,j可以无序的
 #include <algorithm>
#include <iostream>
#include <cstdlib>
#include <cstring>
#include <cstdio>
#include <cmath>
using namespace std;
const int N=;
int t[N],b[N],f[N][][(<<)+],INF;
int pd(int i,int j){
if(!i)return i;
return (t[i]|t[j])-(t[i]&t[j]);
}
void work(){
int n,lim,to,mov=;
scanf("%d",&n);
memset(f,/,sizeof(f));INF=f[][][];
for(int i=;i<=n;i++)scanf("%d%d",&t[i],&b[i]);
f[][-+mov][]=;
for(int i=;i<=n;i++){
for(int k=,tmp=(<<)-;k<=tmp;k++){
for(int j=-;j<=;j++){
if(f[i][j+mov][k]==INF)continue;
if(k&)f[i+][j-+mov][k>>]=min(f[i+][j-+mov][k>>],f[i][j+mov][k]);
lim=INF;
for(int g=;g<=;g++){
if((<<g)&k)continue;
if(i+g>lim)break;
lim=min(lim,i+g+b[i+g]);
to=(k|(<<g));
f[i][g+mov][to]=min(f[i][g+mov][to],f[i][j+mov][k]+pd(i+j,i+g));
}
}
}
}
int ans=INF;
for(int i=;i<=;i++)ans=min(ans,f[n][i][]);
printf("%d\n",ans);
}
int main()
{
freopen("dining.in","r",stdin);
freopen("dining.out","w",stdout);
int T;
scanf("%d",&T);
while(T--)
work();
return ;
}
05-11 16:03