HDU 1529 Cashier Employment 差分约束+二分

我是这么做错的，统计了每个区间里可以开始干活的人，以及每个小时里需要的人，然后从0到24建了一堆边。这么一来，一旦一天过去第二天开始，本来应该由用一个人完成的工作就会算成两个人。就算是把能够循环的一天展开成两天，这个问题还是有。

所以应该采取正确的做法，用不等式表达是这样的：

s[ l ] - s[ l - 1 ] >= 0 ( 0 <= l <= 23 )

s[ l ] - s[ l - 1 ] >= -people[ l ] ( 0 <= l <= 23 )

s[ l ] - s[ l - 8 ] >= r[ l ] ( 8 <= l <= 23 )

 s[ l ] - s[ l + 16 ] >= r[ l ]-s[ 23 ] ( 0 <= l <= 7 )

为啥要把s[23]放在左边，因为它和l没有关系。这正是我们要用二分法进行枚举的量。而且，由于要使用二分法做这样一个枚举，必须要存在的条件是s[23] ==mid。也就是s[23]>=mid且-s[23]>=-mid。建图跑spfa。有环，就是安排不了。

#include<iostream>
#include<cstdio>
#include<string.h>
#include<algorithm>
#include<queue>
using namespace std;

int dis[30],e,head[30],t,n,in[30],num[30],r[30];
bool vis[30];

struct Edge
{
    int to,cost,nex;
}edge[150];

void addedge(int a,int b,int c)
{
    edge[e].to=b;
    edge[e].cost=c;
    edge[e].nex=head[a];
    head[a]=e++;
}

bool spfa(int s,int n)
{
    memset(dis,-1,sizeof(dis));
    memset(vis,false,sizeof(vis));
    memset(in,0,sizeof(in));
    dis[s]=0;
    vis[s]=true; in[s]++;
    queue<int> q;
    q.push(s);
    while (!q.empty())
    {
        s=q.front();
        q.pop();
        vis[s]=false;
        for (int i=head[s]; i!=-1; i=edge[i].nex)
        {
            int v=edge[i].to;
            if (dis[v]<dis[s]+edge[i].cost)
            {
                dis[v]=dis[s]+edge[i].cost;
                if (!vis[v])
                {
                    vis[v]=true;
                    if (++in[v]>n) return false;
                    q.push(v);
                }
            }
        }
    }
    return true;
}

bool check(int mid)
{
    e=0;
    memset(head,-1,sizeof(head));
    for (int i=1; i<=24; i++)
    {
        addedge(i-1,i,0);
        addedge(i,i-1,-num[i]);
        if (i>=8) addedge(i-8,i,r[i]);
        else addedge(i+16,i,r[i]-mid);
    }
    addedge(0,24,mid);
    addedge(24,0,-mid);
    return spfa(0,24);
}

int main()
{
    scanf("%d",&t);
    while (t--)
    {
        for (int i=1; i<=24; i++)
        {
            scanf("%d",&r[i]);
        }
        scanf("%d",&n);
        for (int i=1; i<=n; i++)
        {
            int x;
            scanf("%d",&x);
            x++;
            num[x]++;
        }
        int l=0; int r=n; int mid; int ans=-1;
        while (l<=r)
        {
            mid=l+r>>1;
            if (check(mid))
            {
                ans=mid;
                r=mid-1;
            }else
            {
                l=mid+1;
            }
        }
        if (ans==-1) printf("No Solution\n");
        else printf("%d\n",ans);
    }
    return 0;
}