POJ 3169 Layout （HDU 3592） 差分约束

http://poj.org/problem?id=3169
http://acm.hdu.edu.cn/showproblem.php?pid=3592
题目大意：

一些母牛按序号排成一条直线。有两种要求，A和B距离不得超过X，还有一种是C和D距离不得少于Y，问可能的最大距离。如果没有输出-1，如果可以随便排输出-2，否则输出最大的距离。

思路：

对于第一种

B - A <=X

第二种有

D - C >=Y也就是 C-D<=-Y

还有就是题目要求的是按照序号升序排。

然后又不等式3 ：　　S[ i ] - S[ i-1 ] >=0 也就是 S[ i-1 ] - S[ i ]<=0

还有就是要求最短路。

建完图后SPFA即可。（有负环说明无解输出-1 ， 1与n不连通说明可以随意摆放，没有约束嘛。输出-2，否则输出dis
）

PS:差分约束还剩两题，等下去刷完写个总结~

在PS:HDU的这题只是输入改一下而已。。。

#include<cstdio>
#include<cstring>
#include<queue>
using namespace std;
const int MAXN=1000+10;
const int MAXM=200000+1000;
const int INF=100000000;
struct edge
{
int to;
int val;
int next;
}e[MAXM];
int head[MAXN],dis[MAXN],len,n,ml,md;

void add(int from,int to,int val)
{
e[len].to=to;
e[len].val=val;
e[len].next=head[from];
head[from]=len++;
}

int spfa()
{
int start=1;
bool vis[MAXN]={0};
int cnt[MAXN]={0};
deque<int> q;
q.push_back(start);
vis[start]=1;
cnt[start]=1;
dis[start]=0;
while(!q.empty())
{
int cur=q.front();
q.pop_front();
vis[cur]=false;
for(int i=head[cur];i!=-1;i=e[i].next)
{
int id=e[i].to;
if(dis[id] > dis[cur] + e[i].val)
{
dis[id]=dis[cur] + e[i].val;
if(!vis[id])
{
if(++cnt[id] > n)
return -1;
vis[id]=true;
if(!q.empty() && dis[id] > dis[q.front()])
q.push_back(id);
else
q.push_front(id);
}
}
}
}

if(dis
==INF)
return -2;

return dis
;
}

int main()
{
while(~scanf("%d%d%d",&n,&ml,&md))
{
memset(head,-1,sizeof(head));
len=0;
for(int i=1;i<=n;i++)
{
dis[i]=INF;
add(i,i-1,0);
}

for(int i=0;i<ml;i++)
{
int from,to,val;
scanf("%d%d%d",&from,&to,&val);
add(from,to,val);
}

for(int i=0;i<md;i++)
{
int from,to,val;
scanf("%d%d%d",&from,&to,&val);
add(to,from,-val);
}

printf("%d\n",spfa());

}
return 0;
}