题目描述
在河上有一座独木桥，一只青蛙想沿着独木桥从河的一侧跳到另一侧。在桥上有一些石子，青蛙很讨厌踩在这些石子上。由于桥的长度和青蛙一次跳过的距离都是正整数，我们可以把独木桥上青蛙可能到达的点看成数轴上的一串整点：0，1，……，L（其中L是桥的长度）。坐标为0的点表示桥的起点，坐标为L的点表示桥的终点。青蛙从桥的起点开始，不停的向终点方向跳跃。一次跳跃的距离是S到T之间的任意正整数（包括S,T）。当青蛙跳到或跳过坐标为L的点时，就算青蛙已经跳出了独木桥。
题目给出独木桥的长度L，青蛙跳跃的距离范围S,T，桥上石子的位置。你的任务是确定青蛙要想过河，最少需要踩到的石子数。
输入输出格式
输入格式：
输入文件river.in的第一行有一个正整数L（1 <= L <= 10^9），表示独木桥的长度。第二行有三个正整数S，T，M，分别表示青蛙一次跳跃的最小距离，最大距离，及桥上石子的个数，其中1 <= S <= T <= 10，1 <= M <= 100。第三行有M个不同的正整数分别表示这M个石子在数轴上的位置（数据保证桥的起点和终点处没有石子）。所有相邻的整数之间用一个空格隔开。
输出格式：
输出文件river.out只包括一个整数，表示青蛙过河最少需要踩到的石子数。
输入输出样例
输入样例#1：
10
2 3 5
2 3 5 6 7
输出样例#1：
2
说明
对于30%的数据，L <= 10000；
对于全部的数据，L <= 109。
2005提高组第二题
解题思路
第一眼看到这个题材，我想到的自然是那种不断枚举的简单动归，方程如下
f[i]:=min(f[i-w]+a[i]) //w表示的是步数，a[i]表示格子上有没有石子，有的话为1，没有为0
当我写完去敲变量的时候我发现l<=10^9，这是分分钟爆内存和时间的节奏！！！
这时候就要引入状态压缩（由于这是我第一次接触这个算法，也不是很明白）
可以把中间那些没有石子又超级超级长的路用最大步数替换，严格的证明我写不出来，不过可以这样想
如果有一段超级长的路，跳xt之后才能到下一个点，路上没有任何一个点改变石子数，我们完全可以把这段路去掉。。。
代码如下
program flag;
var a,st:array[..] of longint;
f,w:array[..] of longint;
l,s,t,m,i,j,k,ans,min:Longint;
procedure sort(l,r: longint);
var
i,j,x,y: longint;
begin
i:=l;
j:=r;
x:=a[(l+r) div ];
repeat
while a[i]<x do
inc(i);
while x<a[j] do
dec(j);
if not(i>j) then
begin
y:=a[i];
a[i]:=a[j];
a[j]:=y;
inc(i);
j:=j-;
end;
until i>j;
if l<j then
sort(l,j);
if i<r then
sort(i,r);
end; begin
read(l);
read(s,t,m);
filldword(f,sizeof(f) div , maxint);
for i:= to m do
begin
read(a[i]);
end;
if s=t then //特判一下
begin
for i:= to m do
if a[i] mod t = then inc(ans);
writeln(ans);
halt;
end;
sort(,m); //这里没有说有序给出，排一下总归是好的
a[]:=; //注意初始化
a[m+]:=l;
l:=;
for i:= to m+ do
if a[i]-a[i-]>t then //如果比t大，就减少为t
begin
st[i]:=st[i-]+t;
inc(l,t);
w[st[i]]:=;
end
else
begin //否则就加上原来的路径
st[i]:=st[i-]+a[i]-a[i-];
w[st[i]]:=;
inc(l,a[i]-a[i-]);
end;
w[]:=; //起点终点的值为0，因为并不存在这样的石子
w[st[m+]]:=;
f[]:=;
for i:= to l+t do //超过l即可，所以保险循环到l+
begin
for k:=t downto s do
if (i-k>=)and(f[i]>f[i-k]+w[i]) then f[i]:=f[i-k]+w[i];
end;
ans:=maxint;
for i:=l to l+t do if ans>f[i] then ans:=f[i];
writeln(ans);
end.