hpu--1707（差分约束）

                                                              1707: 求解不等式
时间限制: 1 Sec 内存限制: 128 MB
提交: 4 解决: 2
[提交][状态][讨论版]
题目描述
给你X1,X2,X3,X4...Xn一共N个未知量和M个不等式。问你该不等式组有没有解。

输入
输入有多组测试数据，第一行有两个数N和M，分别表示未知量个数和不等式数目。
接下来M行，每行有四个数a,b,c,d，若d为0表示一个不等式a - b <= c，若d为1表示一个不等式a - b >= c。

输出
若无解输出-1，反之输出每个未知量的值。输出格式如i:ans。具体看输出。
我不喜欢过大的数，所以我的标准是——若存在解，那么x1的值就为0.

样例输入
5 8
1 2 0 0
1 5 -1 0
2 5 1 0
3 1 5 0
4 1 4 0
4 3 -1 0
5 3 -3 0
5 4 -3 0
样例输出
1:0
2:2
3:5
4:4
5:1

在网上找了关于差分约束的问题，感觉好厉害，竟然可以和最短连接在一起，太神奇了。提供一个连接，个人感觉这个人的差分约束简绍写的不错。http://blog.youkuaiyun.com/xuezhongfenfei/article/details/8685313

这道题的代码如下：

#include<stdio.h>
#include<string.h>
#include<queue>
#define M 0x3f3f3f3f
using namespace std;
int n,m;
int vist[1010];
int head[1010];
int dx[1010];
struct stu
{
	int from,to,w,next;
};
int num;
int count[1010];
stu edge[1000100];
void inin()
{
	num=0;
	memset(head,-1,sizeof(head));
}
void addedge(int a,int b,int c)
{
	stu E={a,b,c,head[a]};
	edge[num]=E;
	head[a]=num++;
}
bool SPFA(int sx)
{
	memset(vist,0,sizeof(vist));
	memset(dx,0x3f,sizeof(dx));
	memset(count,0,sizeof(count));
	dx[sx]=0;vist[sx]=1;count[sx]=1;
	queue<int>q;
	q.push(sx);
	while(!q.empty())
	{
		sx=q.front();
		q.pop();
		vist[sx]=0;
		for(int i=head[sx];i!=-1;i=edge[i].next)
        {
        	int v=edge[i].to;
        	if(dx[v]>dx[sx]+edge[i].w)
        	{
        		dx[v]=dx[sx]+edge[i].w;
        		if(!vist[v])
               {
               	vist[v]=1;
               	count[v]++;
               	if(count[v]>=n+1)
               	{
               		return false;
               	}
               	q.push(v);
               }        	
			}
        }   

	}
	return true;
}
int main()
{
	int a,b,c,d;
	while(scanf("%d%d",&n,&m)!=EOF)
	{
		inin();
		for(int i=0;i<m;i++)
		{
			scanf("%d%d%d%d",&a,&b,&c,&d);
		     if(d==0)
		     addedge(b,a,c);
		     else if(d==1)
		     addedge(a,b,-1*c);		
		}
		for(int i=1;i<=n;i++)
		{
			addedge(0,i,0);
		}
		if(SPFA(0))
		{
			int z=dx[1]-0;
			for(int i=1;i<=n;i++)
			{
				printf("%d:%d\n",i,dx[i]-z);
			}
		}
		else printf("-1\n");
	}
	return 0;
}