POJ-1505&&UVA-714 抄书（贪心+二分）

题目传送门：http://poj.org/problem?id=1505
https://uva.onlinejudge.org/index.php?option=com_onlinejudge&Itemid=8&page=show_problem&problem=655
题目大意：
有k个本书，m个人，第i本书有ai页，m个人想把书抄完，但是谁都不想让其中一个人偷懒，让你在不改变书的顺序的情况下把书分成m份，使得所有人中分到的书的页数的最小值尽量的大，测试数据有多组。
输入
第一行输入一个整数n，表示有n组测试数据；每组测试数据包含行，第一行有两个整数k,m(1 <= k <= m <= 500).第二行有k个整数，第i个表是第i本书的页数。
输出
输出k个整数，并用 ‘/’ 把分书的方式表示出来，如果有多组，则让第一人的书尽量少，如果还有多组，让第二人的书尽量少，以此类推
Sample Input
2
9 3
100 200 300 400 500 600 700 800 900
5 4
100 100 100 100 100
Sample Output

100 200 300 400 500 / 600 700 / 800 900
100 / 100 / 100 / 100 100

困扰我6个小时的小bug，第一次发，纪念一下。
解题思路： 套路1：求解最小值的最大值，一般二分答案来进行。
二分模板

int check(int mid){    if(***) return 1;    return 0;}int solve(int l,int r){    while(l<=r)    {        int mid=l+(r-l)>>1;        if(check(mid)) r=mid-1;        else l=mid+1;    }    return l-1;}

贪心原则：尽量满组最右边的人，让他拿到的页数尽量的多。

#include<cstdio>#include<cstring>#include<algorithm>#include<iostream>using namespace std;int a[550];int vis[550];int k,m;int check(int x){    int sum=0;    int c=1;    for(int i=k-1;i>=0;i--)    {        if(a[i]+sum > x)        {            c++;            sum=a[i];            if(c > m) return 0;        }        else sum += a[i];    }    return 1;}void print(int x){    int sum=0;    int co=1;    for(int i=k-1;i>=0;i--)    {        if(sum+a[i] > x)        {            sum=a[i];            co++;            vis[i]=1;        }        else sum += a[i];        if(m-co == i+1)        {            for(int j=0 ; j <= i ;j++)                vis[j] = 1;            break;        }    }    for(int i=0;i<k-1;i++)    {        printf("%d ",a[i]);        if(vis[i]) printf("/ ");    }    printf("%d\n",a[k-1]);}int main(){    int n;    scanf("%d",&n);    while(n--)    {        memset(vis,0,sizeof(vis));        scanf("%d%d",&k,&m);        long long sum=0;        long long l=-1,r=0;        for(int i=0;i<k;i++)        {            scanf("%d",&a[i]);            if(l < a[i]) l = a[i];            r += a[i];        }        while(l<=r)        {            long long mid=(l+r)/2;            if(check(mid)) r=mid-1;            else l=mid+1;        }        print(l);    }    return 0;}

题目不是很复杂，但是我提交了自我以为正确了，提交了20+次，全部WA。最后看了一整个下午才看出来。这里是贪心法的判断与二分之间的一个小小的冲突，就是对于二分的下界要求一定要是所有数据中的最大值，因为如果比其小的话，有可能在某个二分值判断的时候刚刚好加上某个本身就大于mid的值，这样在划分的时候就会有这个大比mid大的值独自分在一组，但事实上这种情况是不合法的，当有这样的数出现时，就行该判断出而分出的答案小了。