poj 1275 Cashier Employment (差分约束)

/*
又是一道差分约束题，通过这道题让我更加理解了差分约束。
差分约束的关键是 要充分利用所给条件
建立数组的 逻辑意义 如此题的dis[]数组（s[]数组） 建立差分约束系统即（找出差分约束关系），



  
注：看了2006冯威的论文。整理如下： 
  
设num[ i ]为i时刻能够开始工作的人数，x[ i ]为实际雇佣的人数， 设r[ i ]为i时刻至少需要工作的人数, s[ I ]=x[ 1 ]+x[ 2 ]…+x[ I ]  
 
有如下关系：  
  
x[ I ]<=num[ I ]  
  
x[ I-7 ]+x[ I-6 ]+x[ I-5 ]+x[ I-4 ]+x[ I-3 ]+x[ I-2 ]+x[ I-1 ]+x[ I ]>=r[ I ]   
   
0<=s[ I ]-s[ I-1 ]<=num[ I ]， 1<=I<=24 
  s[I]-s[ I-8 ]>=r[ I ]， 8<=I<=24 
  s[ I ]-s[ I+16 ]>=r[ I ]-sum， 1<=I<=7   
 
s[0]=0
   
 
s[24]-s[0]>=sum(冯威的论文少了这个条件，看了别人的解题报告，才发现。想想也是，sum是枚举的当前最小值，s[24]是实际工作的工人，那么其一定大于sum)  
*/

#include<stdio.h>
#include<string.h>
#include<queue>
#include<iostream>
#define N 20000
#define max 0xfffffff
using namespace std;
struct node
{
    int y;
    int w;
    int next;
}p[N*20];
int next[N],num,vis[N],dis[N],time[N],n,a[N*3],t[N];
queue<int>q;
void insert(int x,int y,int w)
{
    p[num].y=y;
    p[num].w=w;
    p[num].next=next[x];
    next[x]=num;
    num++;
}
void buildgragh(int x)
{
    int i;
    num=0;
     memset(next,-1,sizeof(next));
       insert(0,24,x);
    for(i=1;i<=24;i++)
    {
        insert(i-1,i,0);
        insert(i,i-1,-t[i]);
    }
    for(i=1;i<=8;i++)insert(i+16,i,a[i]-x);
    for(i=9;i<=24;i++)insert(i-8,i,a[i]);



}
int  SPFA(int x)
{
    int i;
    memset(vis,0,sizeof(vis));
    memset(time,0,sizeof(time));

    for(i=0;i<=25;i++)dis[i]=-max;
    dis[0]=0;
    vis[0]=1;
    time[0]=1;
    while(!q.empty())q.pop();
    q.push(0);

    while(!q.empty())
    {

        int u=q.front();
           q.pop();
        vis[u]=0;
        for(i=next[u];i!=-1;i=p[i].next)
        {

            int v=p[i].y;

            if(dis[v]<dis[u]+p[i].w)
            {


                dis[v]=dis[u]+p[i].w;
                if(!vis[v])
                {
                    vis[v]=1;
                   q.push(v);

                    time[v]++;
                    if(time[v]>24)return -1;

                }

            }
        }

    }
    if(dis[24]==x)return 1;
    else
    return 0;
}
int main()
{
    int T,i,s;
    scanf("%d",&T);

    while(T--)
    {

        memset(t,0,sizeof(t));
        for(i=1;i<=24;i++)scanf("%d",&a[i]);
        scanf("%d",&n);

        for(i=0;i<n;i++)
        {
            scanf("%d",&s);
            t[s+1]++;

        }

       int f=0;
    for(i=0;i<=n;i++)
    {
        buildgragh(i);
        if(SPFA(i)>0)
        {
            f=1;
            printf("%d\n",i);
            break;
        }
    }

    if(!f)printf("No Solution\n");


    }
}