题目大意
给n个点,点权为>=1的整数,给m个关系,形如c x y,表示点x与点y的关系(c=1为相等,c=2为>,c=3为<=,c=4为<,c=5为>=),求最小点和
思路
差分约束系统建图:
for (long long i=1;i<=m;i++)
{
cin>>yyyyy>>x>>y;
if (yyyyy==1) add(x,y,0),add(y,x,0);
if (yyyyy==2) add(x,y,1);
if (yyyyy==3) add(y,x,0);
if (yyyyy==4) add(y,x,1);
if (yyyyy==5) add(x,y,0);
}
1表示无=。
然后tarjian缩点+拓扑dp(见代码),若同一强连通分量里的2个点之间关系带1,则无解(同一强连通分量里应该是相等的点权)
code:
#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cstring>
#include<map>
#include<queue>
#include<string>
#include<vector>
#include<cmath>
using namespace std;
long long n,m,head[100001],rd[100001],headx[100001