多重背包的优化 二进制/单调队列解析

由于做题的时候老被这玩意儿卡住的我很不爽，决定写个blog来加深自己的印象以及不用到处找资料回忆。
多重背包的问题的具体描述如下：
给出一个体积为v的背包，有n个物品，每个物品可以选c[i]次，问最多能得到多大的代价。
直接做DP的复杂度是n*v*max(c[i])，这显然无法承受正常难度的数据范围。
然后我们考虑优化。
首先来看稍微简单一点的二进制优化。
很久以前打的就不要纠结是不是c艹了。

uses math;
const mo=1000000007;
var
        i,j,k,n,m:longint;
        dp,c,w,num:array[0..100000]of longint;
procedure zpack(cost,weight,n:longint);
var
        i:longint;
begin
        for i:=n downto cost do
        dp[i]:=max(dp[i],dp[i-cost]+weight);
end;
procedure cpack(cost,weight,n:longint);
var
        i:longint;
begin
        for i:=cost to n do
        dp[i]:=max(dp[i],dp[i-cost]+weight);
end;
function multipack(n,m:longint):longint;
var
        i,j,k:longint;
begin
        fillchar(dp,sizeof(dp),0);
        for i:=1 to n do
        begin
                if num[i]*c[i]>m then cpack(c[i],w[i],m)
                else
                begin
                        k:=1;
                        while k<num[i] do
                        begin
                                zpack(k*c[i],k*w[i],m);
                                num[i]:=num[i]-k;
                                k:=k*2;
                        end;
                        zpack(num[i]*c[i],num[i]*w[i],m);
                end;
        end;
        exit(dp[m]);
end;
begin
        readln(n,m);
        for i:=1