思路:
把比……大转换成小,然后跑一遍tarjan
如果发现一个环里不是全部都相等,那么就无解
然后直接一个拓扑DP求亮度就行了
c o d e code 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;
}