poj 3159 差分约束 最短路

题意：n个人和m个条件，每个条件有a,b,c三个数，表示第b个点的权值减去第a个点的权值不超过c。问第n个人最多比第1个人权值大多少。

题解：

1.这是差分约束模板题。差分约束:https://blog.csdn.net/consciousman/article/details/53812818

2.已知是差分约束后求第1个点到第n个点的最短路即可。

3.spfa+stack比spfa+queue快。（栈和队列中无重复点）dijkstra+heap也可以。（优先队列）

#include<iostream>
#include<cstring>
#include<math.h>
#include<algorithm>
#include<map>
#include<stdio.h>
#include<queue>
#include<stack>
#define inf 0x3f3f3f3f
using namespace std ;
int n , m ;
int head[30005] ;
int dis[30005] ;
struct node
{
	int to ;
	int next ;
	int val ;
}edge[150005] ;
void add(int num , int u , int v , int w)
{
	edge[num].to = v ;
	edge[num].next = head[u] ;
	head[u] = num ;
	edge[num].val = w ;
}
void spfa(int start)
{
	int i , j , k ;
	int a , b ;
	int ans = 0 ;
	bool vis[30005] ;
	memset(vis , 0 , sizeof(vis)) ;
	memset(dis , inf , sizeof(dis)) ;
	dis[start] = 0 ;
	stack <int> s ;
    s.push(start) ;
    while(!s.empty())
    {
    	a = s.top() ;
    	s.pop() ;
    	vis[a] = 0 ;
    	for(i = head[a] ; i != -1 ; i = edge[i].next)
    		if(dis[a] + edge[i].val < dis[edge[i].to])
    		{
    			dis[edge[i].to] = dis[a] + edge[i].val ;
    			if(!vis[edge[i].to])
    			{
    				vis[edge[i].to] = 1 ;
				    s.push(edge[i].to) ;
				}
			}
	}
}
int main()
{
	int i , j , k ;
	int u , v , w ;
	int ans ;
	memset(head , -1 , sizeof(head)) ;
	scanf("%d%d" , &n , &m) ;
	for(i = 1 ; i <= m ; i ++)
    {
    	scanf("%d%d%d" , &u , &v , &w) ;
    	add(i , u , v , w) ;
	}
	spfa(1) ;
    printf("%d\n" , dis[n]) ;
}