[LOJ500]ZQC的拼图

题目大意：
　　给你一个m*m的格子，让你往里面放给定的直角三角形，直角顶点必须放在右上角且不能翻转，但是可以把所有给定的三角形放大一个整数倍k，问至少放大几倍能使格子的左下角和右上角连起来？（可以超出边界）

思路：
　　二分答案+DP。
　　二分一个解m，然后用DP来检验。
　　用f[i][j]表示放到第i个三角形，横坐标到达j时纵坐标的最大值。
　　转移方程为f[i][j]=max{f[i-1][k]+(m-(j-k)*x[i])/y[i]}。
　　最后判断一下f[n][m]>=m即可。

 #include<cstdio>
 #include<cctype>
 #include<algorithm>
 inline int getint() {
     register char ch;
     while(!isdigit(ch=getchar()));
     register int x=ch^'';
     while(isdigit(ch=getchar())) x=(((x<<)+x)<<)+(ch^'');
     return x;
 }
 const int _inf=-0x80000000;
 const int N=,M=;
 std::pair<int,int> t[N];
 int n,m;
 int f[][M];
 inline bool check(const int &k) {
     f[][]=;std::fill(&f[][],&f[][m+],_inf);
     f[][]=;std::fill(&f[][],&f[][m+],_inf);
     for(register int i=;i<n;i++) {
         for(register int j=;j<=m&&j<=k/t[i].first;j++) {
             const int tmp=(k-j*t[i].first)/t[i].second;
             for(register int l=m-j;l>=;l--) {
                 f[i&][j+l]=std::max(f[i&][j+l],f[!(i&)][l]+tmp);
             }
         }
     }
     return f[!(n&)][m]>=m;
 }
 int main() {
     n=getint(),m=getint();
     for(register int i=;i<n;i++) {
         t[i]=std::make_pair(getint(),getint());
     }
     int l=,r=1e8;
     while(l<r) {
         const int mid=(l+r)>>;
         if(check(mid)) {
             r=mid;
         } else {
             l=mid+;
         }
     }
     printf("%d\n",(l+r)>>);
     return ;
 }