1000ms 131072K
虽然蒜头君并没有多少钱，但是蒜头君办了很多张银行卡，共有 nn 张，以至于他自己都忘记了每张银行卡里有多少钱了。
他只记得一些含糊的信息，这些信息主要以下列三种形式描述：
银行卡 aa 比银行卡 bb 至少多 cc 元。
银行卡 aa 比银行卡 bb 至多多 cc 元。
银行卡 aa 和银行卡 cc 里的存款一样多。
但是由于蒜头君的记忆有些差，他想知道是否存在一种情况，使得银行卡的存款情况和他记忆中的所有信息吻合。
输入格式
第一行输入两个整数 nn 和 mm，分别表示银行卡数目和蒜头君记忆中的信息的数目。(1\leq n,m\leq 10000)(1≤n,m≤10000)
接下来 mm 行：
如果每行第一个数是 11，接下来有三个整数 a, b, ca,b,c，表示银行卡 aa 比银行卡 bb 至少多 cc 元。
如果每行第一个数是 22，接下来有三个整数 a, b, ca,b,c，表示银行卡 aa 比银行卡 bb 至多多 cc 元。
如果每行第一个数是 33，接下来有两个整数 a, ba,b，表示银行卡 aa 和 bb 里的存款一样多。(1\leq n,m,a,b,c\leq 10000)(1≤n,m,a,b,c≤10000)
输出格式
如果存在某种情况与蒜头君的记忆吻合，输出Yes，否则输出No。
样例输入
3 3
3 1 2
1 1 3 1
2 2 3 2
样例输出
Yes
差分约束系统，
1.a比b的银行卡至少多c元，及a-b>=c,所以b<=a+(-c),建立一条由a到b的单向路径，权为-c.
2.a比b的银行卡至多多c元，及a-b<=c,所以a<=b+c,建立一条由b到a的单向路径，权为c
3.a与b相等，及建立一条a与b的双向路径，权为0.
由此建图后，b+w(a,b)得到的是b从a可推得的最大值，用spfa跑最短路，若依旧出现负环，则说明存在错误，若无负环，则说明可行。
为保证spfa能跑玩所有环，建立一个超级源点s，超级源点与每个顶点都有一条权值为0的单向路径，从超级源点开始spfa即可。
#include<bits/stdc++.h>
using namespace std;
const int nmax=10005,emax=10005;
struct pp
{
int v, w, next;
}edge[2*emax]; // 超级源点需n条边
bool vis[nmax];
int head[nmax],num[nmax],n,m,cnt=0;
long long dist[nmax];
void add(int t1,int t2,int t3)
{
edge[++cnt].v=t2;
edge[cnt].w=t3;
edge[cnt].next=head[t1];
head[t1]=cnt;
}
int spfa(int start)
{
long long sum=0;
int cnt_q=1; //统计队列中的数量
memset(vis,0,sizeof(vis));
memset(dist,0x3f3f3f3f3f3f3f3f,sizeof(dist));//int 0x3f3f3f3f
deque<int> q;//STL中的双端队列 可在两端实现入队出队
vis[start]=1;
dist[start]=0;
num[start]++;
q.push_back(start);
while(!q.empty())
{
int temp= q.front();q.pop_front();//每次从前端取出
//LLL,不加if这一段也行
if(dist[temp]*cnt_q>sum)//注意dist[temp]*cnt_q不要超范围
{
q.push_back(temp);
continue;
}
sum -=dist[temp];cnt_q--;
vis[temp]=0;
for(int i=head[temp];i;i=edge[i].next)
{
int v=edge[i].v;
if(dist[temp]+edge[i].w<dist[v])
{
dist[v]=dist[temp]+edge[i].w;
if(!vis[v])
{
vis[v]=1;
num[v]++;
if(num[v]==n)return 0;//判断是否有负环存在
if(!q.empty())
{
if(dist[v]>dist[q.front()])//距离大的往后端放
q.push_back(v);
else q.push_front(v);//小的放前端
}
else q.push_back(v);
sum +=dist[v];cnt_q++;
}
}
}
}
return 1;
}
int main()
{
int t1,t2,t3,tt;
cin>>n>>m;
for(int i=1;i<=n;i++)
add(0,i,0);
while(m--)
{
scanf("%d",&tt);
if(tt==3)
{
scanf("%d%d",&t1,&t2);
add(t2,t1,0);
add(t1,t2,0);
}
else
{
scanf("%d%d%d",&t1,&t2,&t3);
if(tt==1)
add(t1,t2,-t3);
else
add(t2,t1,t3);
}
}
if(spfa(0))
cout<<"Yes"<<endl;
else
cout<<"No"<<endl;
return 0;
}