【POJ 3159】 Candies 差分约束系统

题目意思（题意摘抄自其它博客）：

flymouse是幼稚园班上的班长，一天老师给小朋友们买了一堆的糖果，由flymouse来分发，在班上，
flymouse和snoopy是死对头，两人势如水火，不能相容，因此fly希望自己分得的糖果数尽量多于
snoopy，而对于其他小朋友而言，则只希望自己得到的糖果不少于班上某某其他人就行了。

比如A小朋友强烈希望自己的糖果数不能少于B小朋友m个，即B- A<=m，A，B分别为
A、B小朋友的分得的糖果数。这样给出若干组这样的条件，要使fly最后分得的糖果数s1和snoopy
最后分得的糖果数s2差别取到最大！即s2-s1取最大.

 

比较裸的差分约束系统，不过数据有些BT,先用循环队列搞，无限TLE,加了SLF优化，继续TLE,后来听讨论区里说要用栈，于是把SLF优化退化成直接改成全放队首，就神奇的AC了，400+MS..

看来，这题的数据设计得很恶心，直接就是卡队列。

 

下图中的四行注释去掉就会TLE...

#include<iostream>#include<cstdio>#include<cstring>#include<algorithm>#include<climits>using namespace std;const int MAX=30010,MAXE=150010;const int INF=0x3fffffff;bool inq[MAX];int q[MAX];int heads[MAX];int tonum[MAXE];int nexts[MAXE];int lens[MAXE];int len[MAX];int top=0;void SPFA(int s,int n){fill(len,len+n,INF);len[s]=0;int head=-1,tail=-1,cur;q[++head]=s;while(tail != head){if(++tail>=MAX) tail-=MAX;cur=q[tail];for(int i=heads[cur];i!=-1;i=nexts[i]){if(len[cur]+lens[i]<len[tonum[i]]){len[tonum[i]]=len[cur]+lens[i];if(inq[tonum[i]]) continue;//if(tonum[i]<cur){q[tail]=tonum[i];if(--tail<0) tail+=MAX;}//else{//if(++head>=MAX) head-=MAX;//q[head]=tonum[i];}inq[tonum[i]]=true;}}inq[cur]=false;}}void add(int u,int v,int l){nexts[top]=heads[u];tonum[top]=v;lens[top]=l;heads[u]=top++;}int main(){int m,n,a,b,l;scanf("%d%d",&m,&n);memset(heads,-1,m*4);for(int i=0;i!=n;i++){scanf("%d%d%d",&a,&b,&l);add(a-1,b-1,l);}SPFA(0,m);printf("%d/n",len[m-1]);}