【YBTOJ】恒星的亮度

思路：

把比……大转换成小，然后跑一遍tarjan
如果发现一个环里不是全部都相等，那么就无解
然后直接一个拓扑DP求亮度就行了

$code$

#include<iostream>
#include<cstdio>
#include<queue>

using namespace std;

struct node
{
	long long from, to, next, w;
}b[1000010], b1[1000010];
long long n, m, cnt, tmp, top;
long long head[100100], tot;
long long head1[100100], tot1;
long long dfn[100100], low[100100], stack[100100], d[100100], c[100100];
long long dis[100100], ru[100100];
bool v[100100];

void add(long long x, long long y, long long w)
{
	b[++tot]=(node){x, y, head[x], w};
	head[x]=tot;
}

void add1(long long x, long long y, long long w)
{
	b1[++tot1]=(node){x, y, head1[x], w};
	head1[x]=tot1;
}

void tarjan(long long x)
{
	low[x]=dfn[x]=++cnt;
	stack[++top]=x;
	v[x]=1;
	for(long long i=head[x]; i; i=b[i].next)
	{
		long long y=b[i].to;
		if(!dfn[y])
		{
			tarjan(y);
			low[x]=min(low[x], low[y]);
		}
		else if(v[y])
			low[x]=min(low[x], dfn[y]);
	}
	if(low[x]==dfn[x])
	{
		tmp++;
		do
		{
			v[stack[top]]=0;
			c[stack[top]]=tmp;
			d[tmp]++;
			top--;
		}
		while(stack[top+1]!=x);
	}
	return;
}

int main()
{
	scanf("%lld%lld", &n, &m);
	for(long long i=1; i<=m; i++)
	{
		long long x, y, t;
		scanf("%lld%lld%lld", &t, &x, &y);
		if(t==1)
			add(x, y, 0), add(y, x, 0);
		if(t==2)
			add(x, y, 1);
		if(t==3)
			add(y, x, 0);
		if(t==4)
			add(y, x, 1);
		if(t==5)
			add(x, y, 0);
	}
	for(long long i=1; i<=n; i++)
		if(!dfn[i])
			tarjan(i);
	for(long long i=1; i<=tot; i++)
	{
		if(c[b[i].from]!=c[b[i].to])
			add1(c[b[i].from], c[b[i].to], b[i].w), ru[c[b[i].to]]++;
		else if(b[i].w==1)
		{
			printf("-1");
			return 0;
		}
	}
	queue<int> q;
	for(long long i=1; i<=tmp; i++)
	{
		dis[i]=1;
		if(!ru[i])
			q.push(i);
	}
	long long ans=0;
	while(!q.empty())
	{
		long long x=q.front();
		q.pop();
		ans+=dis[x]*d[x];
		for(long long i=head1[x]; i; i=b1[i].next)
		{
			long long y=b1[i].to;
			ru[y]--;
			dis[y]=max(dis[y], dis[x]+b1[i].w);
			if(ru[y]==0)
				q.push(y);
		}
	}
	printf("%lld", ans);
	return 0;
}