bzoj1044

好题

第一问不难，毕竟二分答案类的题目在USACO上都练了好多遍了

第二问充分的暴露了我dp渣的本性

一开始楞是没想出来

f[i,j]表示到第i根木棒切了j刀满足最长段小于等于ans的方案数

式子是这样的f[i,j]=sigma(f[k,j-1]) if sum[i]-sum[k]<=ans

然后发现我的优化水平还是不错的，

首先是空间上的问题，观察得知，切这刀的方案数只与切前一刀有关，于是我们滚动数组

再看时间，观察k的选取，与这是第几刀无关

再看，如果满足sum[i]-sum[k]<=ans 那么k~i-1一定都是符合的切法

于是我们预先处理一下即可

复杂度为O(nlogn+mn)

 const mo=;
 var f:array[..,..] of longint;
     sum,s,a,b:array[..] of longint;
     p,l,r,mid,n,m,i,j,t,ans:longint;

 function check(s:longint):boolean;
   var t,len,i:longint;
   begin
     t:=;
     len:=;
     p:=;
     for i:= to n do
       if len+a[i]>s then
       begin
         inc(t);
         if t>m then exit(false);
         if len>p then p:=len;
         len:=a[i];
       end
       else len:=len+a[i];
     if len>p then p:=len;
     exit(true);
   end;
 begin
   readln(n,m);
   for i:= to n do
   begin
     readln(a[i]);
     sum[i]:=sum[i-]+a[i];
     if l<a[i] then l:=a[i];
   end;
   r:=sum[i];
   while l<=r do     //二分答案
   begin
     mid:=(l+r) shr ;
     if check(mid) then
     begin
       ans:=p;
       r:=p-;
     end
     else l:=mid+;
   end;
   for i:= to n do
     if sum[i]<=ans then f[,i]:= else break;
   j:=;
   for i:= to n do  //预处理
   begin
     while sum[i]-sum[j]>ans do inc(j);
     b[i]:=j;
   end;
   p:=;
   t:=f[p,n];
   for i:= to m do
   begin
     p:=-p;
     fillchar(s,sizeof(s),);
     for j:= to n do
     begin
       if b[j]-> then r:=b[j]- else r:=; //小细节
       f[p,j]:=(s[j-]-s[r]+mo) mod mo;
       s[j]:=(s[j-]+f[-p,j]) mod mo;
     end;
     t:=(t+f[p,n]) mod mo;
   end;
   writeln(ans,' ',t);
 end.