《ybtoj高效进阶》第三部分第四章例题4 恒星的亮度

题目大意

给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