POJ 3159 Candies（最短路优先队列优化）

链接：http://poj.org/problem?id=3159 <最短路><差分约束>
题意：给出n个不等式，类似arr[a]-arr[b]<=c这样子的不等式，计算arr[1]和arr[n]之间所能达到的最大值。
题解：一道很明显的差分约束，关于差分约束转换成最短路的部分，可以直接看这个博客https://blog.csdn.net/my_sunshine26/article/details/72849441 将差分约束转换成最短路后，就将问题转换为了从1到n的最短距离了。不过这道题的时间卡的挺死的，如果用vector建邻接表会T,用朴素写法的迪杰斯特拉也会T，最后我选择了链式前向星+迪杰斯特拉（优先队列优化）PS：SPFA+手工栈 也可以过
错误情况：WA 2 TLE 5
WA：一开始的WA是用了vector邻接表+迪杰斯特拉的朴素写法，这种写法我从写最短路开始就尝试过，但好像如果不去重边就会出错，然而我逻辑上推了好几次不应该出错的，就很奇怪，然后和另外一个朋友一起研究这个问题，发现，应该是我朴素写法写丑了，细节没写好，但我还是没找到相应的细节，于是干脆去学习了迪杰斯特拉的队列优化，就可以不用去重了。
TLE：这个就是超时吧，改了队列优化迪杰斯特拉后，还是超时，于是去学习了链式前向星，写的比较丑，严格意义上来说都不算链式前向星，只能算是用数组表示的邻接表。然后还是T了，于是就陷入了僵局，后来翻了翻别人的代码，发现自己少写了一个bool来判断是否在队列里面的情况，加个判断，就成功AC了。
思路情况：一开始不知道怎么写，因为是第一次写差分约束，后来看了博客，转换成了最短路问题后，就开始一点点的研究最短路的各种知识了，在写这道题前，我也写了好几道最短路了，然后可以说在这道题上，把我学到的知识做了一个整合，所以我决定写一份解题报告出来。
另外说一句，next数组在有些IDE上会和库里面的东西重合报错的，如果运行不了，改个名字就OK了

#include<iostream>
#include<cstring>
#include<vector>
#include<queue>
#include<algorithm>
using namespace std;
const int maxn=30005;
const int inf=0x3f3f3f3f;
vector<pair<int, int> >vis[maxn];
int u1[150005];
in