[luogu]P1800 software_NOI导刊2010提高（06）[DP][二分答案]

[luogu]P1800

software_NOI导刊2010提高（06）

题目描述

一个软件开发公司同时要开发两个软件，并且要同时交付给用户，现在公司为了尽快完成这一任务，将每个软件划分成m个模块，由公司里的技术人员分工完成，每个技术人员完成同一软件的不同模块的所用的天数是相同的，并且是已知的，但完成不同软件的一个模块的时间是不同的，每个技术人员在同一时刻只能做一个模块，一个模块只能由一个人独立完成而不能由多人协同完成。一个技术人员在整个开发期内完成一个模块以后可以接着做任一软件的任一模块。写一个程序，求出公司最早能在什么时候交付软件。

输入输出格式

输入格式：

输入文件第一行包含两个由空格隔开的整数n和m，其中1<=n<=100，1<=m<=100，接下来的n行每行包含两个用空格隔开的整数d1和d2，d1表示该技术人员完成第一个软件中的一个模块所需的天数，d2表示该技术人员完成第二个软件中的一个模块所需的天数，其中1<= d1,d2<=100。

输出格式：

输出文件仅有一行包含一个整数d，表示公司最早能于d天后交付软件。

输入输出样例

输入样例1#：

3 20
1 1
2 4
1 6

输出样例1#：

18

说明

【样例】

最快的方案是第一个技术人员完成第二个软件的18个模块，用时18天，第三个技术人员完成第一个软件的18个模块，用时18天，其余的模块由第二个技术人员完成，用时12天，做完所有模块需要18天。如果第一个技术人员完成第二个软件的17个模块，第三个技术人员完成第一个软件的17个模块，其余的模块由第二个技术人员完成，需要用时18天，做完所有模块仍然需要18天，所以少于18天不可能做完所有模块。

---

一道神奇的题目，容易想到答案是单调的，考虑二分答案。

但是检验...一开始要贪心的，想想完全不行啊啊啊！！！

可恶，偷看一下神犇的题解，真的牛！

每个人其实相互独立，各干各的，最后求他们的最大值，最小化最大值。

所以我们只需要让n个人第一个做满，最大化第二个，如果>=m，则可以。

所以我们用f[i][j]表示前i个人第一个软件做了j个，可以最多做的第二个软件。

转移:
f[i][j]=Max{f[i-1][j-k]+（mid-d1[i]*k）/d2[i]} 【如果第i个选择了k个，只剩下（mid-d1[i]）/d2[i]个可以做（将每个决策独立出来，好方法，NB。）】

还有就是可恶的边界，不存在的状态要初始化一个很小的数。f[0][0]=0；

代码：

 #include<iostream>
 #include<cstdio>
 #include<cstring>
 using namespace std;
 inline int read();
 int Max(int x,int y){return x>y?x:y;}
 int Min(int x,int y){return x<y?x:y;}
 namespace lys{
      ;
     int dp[N][N],d1[N],d2[N];
     int n,m;
     bool chk(int mid){
         int i,j,k;
         memset(dp,-,sizeof dp);
         dp[][]=;
         ;i<=n;i++)
             ;j<=m;j++)
                 ;k<=Min(j,mid/d1[i]);k++) dp[i][j]=Max(dp[i][j],dp[i-][j-k]+(mid-d1[i]*k)/d2[i]);
         return (dp[n][m]>=m);
     }
     int main(){
         int i;
         n=read(); m=read();
         ;i<=n;i++) d1[i]=read(),d2[i]=read();
         ,r=,mid;
         while(l<r){
             mid=(l+r)>>;
             if(chk(mid)) r=mid;
             ;
         }
         printf("%d\n",l);
         ;
     }
 }
 int main(){
     lys::main();
     ;
 }
 inline int read(){
     ,ff=;
     char c=getchar();
     '){
         ;
         c=getchar();
     }
     +c-',c=getchar();
     return kk*ff;
 }