【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]); }