poj 1275 差分约束

与intervals那题不同的是这题的点围成了一个圆0、1、2、3、4.。。。23、0

一个巧妙地想法是增加一个点24，其他就和intervals那题差不多了，根据约束条件来建图

#include<stdio.h>
#include<queue>
#include<string.h>
using namespace std;
const int INF = 9999999;
struct NODE{
    int v,w;
    int next;
}list[10000];
int tot;
int head[30];
int dis[30];
int vis[30];
int cnt[30];
queue<int> Q;
int n,m;
void init()
{
    tot=0;
    memset(head,-1,sizeof(head));
}
void add(int s,int t,int w)
{
    list[tot].v=t;
    list[tot].w=w;
    list[tot].next=head[s];
    head[s]=tot++;
}
bool spfa(int src)
{
    int i,j,u;
    while(!Q.empty())  Q.pop();
    memset(vis,0,sizeof(vis));
    for(i=0;i<=24;i++)
        dis[i]=INF;
    Q.push(src);
    vis[src]=1;
    dis[src]=0;
    memset(cnt,0,sizeof(cnt));cnt[src]=1;
    while(!Q.empty())
    {
        u=Q.front();
        Q.pop();
        vis[u]=0;
        for(j=head[u];j!=-1;j=list[j].next)
        {
            int e=list[j].v;
            if(dis[e]>list[j].w+dis[u])
            {
                dis[e]=list[j].w+dis[u];
                if(!vis[e])
                {
                    Q.push(e);
                    vis[e]=1;
                    if(++cnt[e]>24)
                        return false;
                }
            }
        }
    }
    return true;
}
int need[50],a[50];
int main()
{
    int t;
    int num,i,j;
    scanf("%d",&t);
    while(t--)
    {
        for(i=1;i<=24;i++)
            scanf("%d",&need[i]);
        scanf("%d",&m);
        memset(a,0,sizeof(a));
        for(i=0;i<m;i++)
        {
            scanf("%d",&num);
            a[num+1]++;
        }
        int l=1,r=m;
        int ans=-1;
        while(l<=r)
        {
            int mid=(l+r)/2;
            init();
            for(i=1;i<=24;i++)
            {
                add(i-1,i,a[i]);
                add(i,i-1,0);
                if(i>=8)  add(i,i-8,-need[i]);
                else add(i,i+16,mid-need[i]);
            }
            add(24,0,-mid);
            if(spfa(24))
            {
                r=mid-1;
                ans=mid;
            }
            else l=mid+1;
        }
        if(ans!=-1) printf("%d\n",ans);
        else printf("No Solution\n");
    }
    return 0;
}