[NOIP2005]过河----简单DP+数学公式+离散化处理

[NOIP2005]过河

题目链接

状态表示：f[i]表示前i步且在i这个位置所跳过的最小石子个数
状态转移方程：
如果i位置有石子
f[i]=min(f[i-j]+1,f[i])
否则
f[i]=min(f[i-j],f[i])
这题状态转移方程很简单，关键是路程范围1e9太大了，必须离散化
离散化之前需要知道一个数学定理：
对于本题来说就是：当两个石子距离超过st时 st后的任意距离都可以到达

证明：

这个数学定理有什么用呢，就是说当两个石子距离超过st时，之前的所有状态都可以转移到i的位置，所以走了很多无用的路径，只需要把两个石子距离缩小为st就好了，满足状态转移条件

#include <iostream>
#include <cstring>
#include <algorithm>
using namespace std;
const int N = 10010;
int n;
int a[N],b[N],f[N];
bool st[N];
int main()
{
   int L;
   int s,t,m;
    cin>>L>>s>>t>>m;
    for(int i=1;i<=m;i++)cin>>a[i];
    sort(a+1,a+1+m);
    
    if(s==t)
    {
        int res=0;
        for(int i=1;i<=m;i++)if(a[i]%s==0)res++;
        cout<<res<<endl;
        return 0;
    }
    for(int i=1;i<=m;i++)
    {
        int dis=a[i]-a[i-1];
        if(dis>=s*t)dis=s*t;
        b[i]=b[i-1]+dis;
        st[b[i]]=true;
    }
    L=b[m]+s*t;
    memset(f,0x3f,sizeof f);
    f[0]=0;
    for(int i=1;i<=L;i++)
    {
        for(int j=s;j<=t;j++)
        {
            if(i-j>=0)
            {
                if(st[i])f[i]=min(f[i-j]+1,f[i]);
                else f[i]=min(f[i-j],f[i]);
            }
        }
    }
    int res=0x3f3f3f3f;
    for(int i=b[m];i<=L;i++)res=min(res,f[i]);
    cout<<res<<endl;
}