差分约束

①：对于差分不等式，a - b <= c ，建一条 b 到 a 的权值为 c 的边，求的是最短路，得到的是最大值 
②：对于不等式 a - b >= c ，建一条 b 到 a 的权值为 c 的边，求的是最长路，得到的是最小值 
③：存在负环的话是无解 

④：求不出最短路（dist[ ]没有得到更新）的话是任意解

超级源点的建立很重要，是为了保证每个点都可以入队列判断负环，也可以一开始使得所有的点都进入队列的！

建图时注意是带等于号的

struct node
{
	int y,w,pre;
};
node a[N];
int len,pre[N];
int n,m;
bool vis[N];
int dp[N];
void init()
{
	len=1;
	memset(pre,-1,sizeof(pre));
	repf(i,1,n)
		dp[i]=inf;
}
void addpage(int x,int y,int z)
{
	a[len].w=z;
	a[len].y=y;
	a[len].pre=pre[x];
	pre[x]=len++;
}
void solve()
{
	stack<int>q;
	q.push(1);
	dp[1]=0;
	vis[1]=true;
	while(!q.empty())
	{
		int x=q.top(); q.pop(); vis[x]=false;
		for(int i=pre[x]; i!=-1; i=a[i].pre)
		{
			int y=a[i].y;
			if(dp[y]>dp[x]+a[i].w)
			{
				dp[y]=dp[x]+a[i].w;
				if(vis[y]==false)
				{
					q.push(y);
					vis[y]=true;
				}
			}
		}
	}
}