实际上是一道非常水的dp(怪不得那年分数线上了500),当时写的急了直接用dp[i][j][0]表示上一次下降和dp[i][j][1]表示上升结果WA。。没办法了只能认真分析。实际上
f[i][j]=min(min{f[i-1][j-x[i]*k]}+1,f[i-1][j+y[i]]),发现大括号内的实际上是完全背包。从而f[i][j]=min(f[i-1][j-x[i]]+1,f[i][j-x[i]]+1,f[i-1][j+y[i]]),但是这里是有先决条件的,就是f[i][j-x[i]]不能是上一次降下来得到的,否则会出错。所以先处理上升再处理下降就行了。滚一滚更健康。。>_<。
AC代码如下:
#include<iostream>
#include<cstdio>
#define N 20005
#define inf 1000000000
using namespace std;
int n,m,cnt,x[N],y[N],l[N],r[N],f[2][N]; bool bo[N];
int main(){
scanf("%d%d%d",&n,&m,&cnt); int i;
for (i=1; i<=n; i++) scanf("%d%d",&x[i],&y[i]);
for (i=1; i<=n; i++){ l[i]=0; r[i]=m+1; }
for (i=1; i<=cnt; i++){
int t,u,v; scanf("%d%d%d",&t,&u,&v);
l[t]=u; r[t]=v; bo[t]=1;
}
int last=0,now=0,j,tmp=0;
for (i=1; i<=n; i++){
last=now; now^=1;
for (j=1; j<=m; j++) f[now][j]=inf;
for (j=x[i]+1; j<=m; j++) f[now][j]=min(f[last][j-x[i]],f[now][j-x[i]])+1;
for (j=m-x[i]; j<=m; j++) f[now][m]=min(f[now][m],min(f[last][j],f[now][j])+1);
for (j=m-y[i]; j; j--) f[now][j]=min(f[now][j],f[last][j+y[i]]);
for (j=1; j<=l[i]; j++) f[now][j]=inf; for (j=r[i]; j<=m; j++) f[now][j]=inf;
for (j=1; j<=m; j++) if (f[now][j]<inf){
if (bo[i]) tmp++; break;
}
if (j>m){ printf("0\n%d\n",tmp); return 0; }
}
int ans=inf;
for (i=1; i<=m; i++) ans=min(ans,f[now][i]);
printf("1\n%d\n",ans);
return 0;
}
by lych
2015.12.22