poj2392

首先按限制高度排序，然后按多重背包做dp

这里的背包只用知道每种状态是否可行，所以

这里的多重背包可以变成O(nm) 

const max=30000001;
var f:array[0..1,0..1010,0..4] of longint;
    a,b:array[0..1010] of longint;
    i,j,k1,k2,n,k,m,w,ans,t:longint;
function findmin(t:longint):longint;
  var p,k:longint;
  begin
    p:=max;
    for k:=1 to 4 do
      p:=min(p,f[k1,j-t,k]);
    exit(p);
  end;
procedure sort(l,r: longint); //按列排序，上下都有牛时1在前2在后，这样处理dp的时候方便多
  var i,j,x,y: longint;
  begin
    i:=l;
    j:=r;
    x:=a[(l+r) div 2];
    y:=b[(l+r) div 2];
    repeat
      while (a[i]<x) or (a[i]=x) and (b[i]<y) do inc(i);
      while (x<a[j]) or (a[j]=x) and (b[j]>y) do dec(j);
      if not(i>j) then
      begin
        swap(a[i],a[j]);
        swap(b[i],b[j]);
        inc(i);
        j:=j-1;
      end;
    until i>j;
    if l<j then sort(l,j);
    if i<r then sort(i,r);
  end;

procedure doit1;
  begin
    f[k2,j,1]:=min(f[k2,j,1],f[k1,j,1]+2*(a[i]-a[i-1]));
    f[k2,j,1]:=min(findmin(1)+2,f[k2,j,1]);
  end;

procedure doit2;
  var p:longint;
  begin
    f[k2,j,2]:=min(f[k1,j,2]+2*(a[i]-a[i-1]),f[k2,j,2]);
    p:=min(min(f[k1,j-1,2],f[k1,j-1,3]),f[k1,j-1,4]);
    f[k2,j,2]:=min(f[k2,j,2],p+a[i]-a[i-1]+1);
    if j-2>=0 then
      f[k2,j,2]:=min(f[k2,j,2],findmin(2)+2);
  end;

procedure doit(x:longint);
  var p:longint;
  begin
    p:=min(f[k1,j,x],f[k1,j,2]);
    f[k2,j,x]:=min(f[k2,j,x],p+a[i]-a[i-1]);
    f[k2,j,x]:=min(f[k2,j,x],findmin(1)+1);
  end;

begin
  readln(n,k,m);
  for i:=1 to n do
    readln(b[i],a[i]);
  sort(1,n);
  for i:=0 to k do  //初始化
    for j:=1 to 4 do
    begin
      f[0,i,j]:=max;
      f[1,i,j]:=max;
    end;
  i:=1;
  f[0,1,1]:=2;
  if a[i]=a[i+1] then
  begin
    i:=3;
    f[0,2,2]:=2;
  end
  else begin
    i:=2;
    if b[1]=1 then f[0,1,3]:=1
    else f[0,1,4]:=1;
  end;
  k1:=1;
  k2:=0;
  while i<=n do
  begin
    k1:=k1 xor 1; //滚动数组
    k2:=k2 xor 1;
    if a[i]=a[i+1] then w:=2 else w:=1;
    for j:=1 to k do
    begin
      for t:=1 to 4 do
        f[k2,j,t]:=max;
      doit1;  //做4个状态，方程式自己动手比划一下就明白了
      doit2;
      if w=1 then
      begin
        if b[i]=1 then
          doit(3)
        else doit(4);
      end;
    end;
    i:=i+w;
  end;
  ans:=max;
  for i:=1 to 4 do
    ans:=min(ans,f[k2,k,i]);
  writeln(ans);
end.

注意：一般的多重背包复杂度到O(nm)必须使用单调队列，这里是特殊情况