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大的值独自分在一组，但事实上这种情况是不合法的，当有这样的数出现时，就行该判断出而分出的答案小了。