JZOJ P1817：[8.27]研究性学习作业

传送门

老师良心推荐的二分题。7月29号第一次写，想到了裸的DP，乱搞搞过了6组，欲优化，无解，弃疗。

然后今天老师给了题解，简单看了一下。

正解是二分答案+DP验证。

二分天数$day$，然后对于每次二分出的$day$，设$f[i][j]$表示对于前$i$个人，完成$j$份A工作时可以完成的最多的$B$工作。

这个的状态转移方程很好写出：

$f[i][j]=max \left\{f[i-1][j-d/a[i].first]+(day-d)/a[i].second \right\}$

$ 0\leq d \leq day$

具体实现：

 //OJ 1817
 //by Cydiater
 //2016.9.22
 #include <iostream>
 #include <cstdio>
 #include <cstring>
 #include <string>
 #include <algorithm>
 #include <queue>
 #include <map>
 #include <ctime>
 #include <cmath>
 #include <cstdlib>
 #include <iomanip>
 using namespace std;
 #define ll long long
 #define up(i,j,n)        for(int i=j;i<=n;i++)
 #define down(i,j,n)        for(int i=j;i>=n;i--)
 #define pii pair<int,int>
 ;
 const int oo=0x3f3f3f3f;
 inline int read(){
     ,f=;
     ;ch=getchar();}
     +ch-';ch=getchar();}
     return x*f;
 }
 pii a[MAXN];
 int N,M,leftt,rightt,mid,f[MAXN][MAXN];
 namespace solution{
     inline pii get(){
         int x,y;
         x=read();y=read();
         return make_pair(x,y);
     }
     void init(){
         N=read();M=read();
         up(i,,N)a[i]=get();
     }
     bool check(int day){
         memset(f,-,sizeof(f));
         f[][]=;
         up(i,,N)up(j,,M)up(d,,day)if(j*a[i].first>=d)
         f[i][j]=max(f[i][j],f[i-][j-d/a[i].first]+(day-d)/a[i].second);
         return f[N][M]>=M;
     }
     int slove(){
         leftt=;rightt=;
         <rightt){
             mid=(leftt+rightt)>>;
             if(check(mid))        rightt=mid;
             else                leftt=mid;
         }
         if(check(leftt))    return leftt;
         return rightt;
     }
 }
 int main(){
     //freopen("input.in","r",stdin);
     using namespace solution;
     init();
     printf("%d\n",slove());
     ;
 }