NOIP模拟18 T2

不知道为什么很多人拒绝这题打搜索。。。其实搜索在充分剪枝后时间是非常优秀的，不管数据怎样基本都可跑出

　　首先一个显然结论：对于某种状态，他抓到的小精灵一定是一个连续的区间。

　　因此我们可以枚举这个区间的左右端点，进行搜索，但是这样显然会T，我们考虑剪枝：

　　1.可行性剪枝，当前时间大于最大时间直接return（废话）

　　2.最优性剪枝，对于每种状态，我们用两个数组来记录出现这种状态所需要的最短时间，以及最短时间下的最优答案，若时间长答案还小，直接return

　　3.确定枚举方向，如果上一步从左向右走，那么当前必然向左走。很显然，若继续向右走，与上一次枚举的有重复。

　　4.一个比较玄学但是非常有用的剪枝：对于当前左右端点l,r，在枚举右端点时，从m处开始枚举到r+1，而不是从r+1枚举到m，左端点同理。看上去比较玄学，实际上是有一定原理的：若我们枚举到的端点离当前端点很近，那么会重复走很多位置，在大多数情况下浪费时间，往往无法得到最优解，而较远端点更可能获得更优的答案，结合剪枝2,会将较近端点剪掉，除去很多不必要搜索。

　　综合以上，我们就可以得到一个时间碾压正解的搜索（欢迎造数据hack）

　　附代码：

 #include<bits/stdc++.h>
 #define cri const register int
 using namespace std;
 int n,k,m,maxt,ans,ys[],yx[],f[][],ff[][];
 char v[];
 inline int abs(int x){return x<?-x:x;}
 struct jing{
     int a,b,t;
     friend bool operator < (jing a,jing b){
         return a.a<b.a;
     }
 }c[];
 void dfs(cri ti,cri l,cri r,cri na,cri o){
     if(ti<maxt)ans=max(ans,na);
     if(ti>=maxt)return;
     if(ti>=f[l][r]&&na<=ff[l][r]){
         return;
     }
     if(f[l][r]>ti)f[l][r]=ti,ff[l][r]=na;
     if(o!=){
         int sum=;
         for(int i=m+;i>=r+;i--)
             if(ti+c[i].a-c[l].a<=c[i].t)
                 sum+=c[i].b;
         for(int i=m+;i>=r+;i--){
             if(ti+c[i].a-c[l].a<=c[i].t){
                 dfs(ti+c[i].a-c[l].a,l,i,na+sum,);
                 sum-=c[i].b;
             }
         }
     }
     if(o!=){
         int sum=;
         for(int i=l-;i>=;i--){
             if(ti+c[r].a-c[i].a<=c[i].t){
                 sum+=c[i].b;
             }
         }
         for(int i=;i<=l-;i++){
             if(ti+c[r].a-c[i].a<=c[i].t){
                 dfs(ti+c[r].a-c[i].a,i,r,na+sum,);
                 sum-=c[i].b;
             }
         }
     }
 }
 inline int read(){
     int x=;
     char ch=getchar();
     while(ch<''||ch>'')ch=getchar();
     while(ch>=''&&ch<='')x=(x<<)+(x<<)+ch-,ch=getchar();
     return x;
 }
 int main(){
     memset(f,0x3f,sizeof(f));
     scanf("%d%d%d",&n,&k,&m);
     for(int i=;i<=m;i++)
         c[i].a=read(),c[i].b=read(),c[i].t=read(),maxt=max(maxt,c[i].t);
     c[m+].a=k;c[m+].b=,c[m+].t=;
     maxt++;
     sort(c+,c+m+);
     for(int i=;i<=m+;i++)
         ys[c[i].a]+=c[i].b,yx[c[i].a]=i;
     dfs(,yx[k],yx[k],ys[k],-);
     printf("%d",ans);
     return ;
 }