银河 Gin

银河

(gin.pas/c/cpp/in/out,1s,64MB)

题目描述

银河中的恒星浩如烟海，但是我们只关注那些最亮的恒星。我们用一个正整数来表示恒星的亮度，数值越大则恒星就越亮，恒星的亮度最暗是1。现在对于N 颗我们关注的恒星，有M 对亮度之间的相对关系已经判明。你的任务就是求出这N 颗恒星的亮度值总和至少有多大。

输入格式

第一行给出两个整数N 和M。
之后 M 行，每行三个整数T, A, B，表示一对恒星(A, B)之间的亮度关系。恒星的编号从1 开始。
如果 T = 1，说明A 和B 亮度相等。
如果 T = 2，说明A 的亮度小于B 的亮度。
如果 T = 3，说明A 的亮度不小于B 的亮度。
如果 T = 4，说明A 的亮度大于B 的亮度。
如果 T = 5，说明A 的亮度不大于B 的亮度。

输出格式

输出一个整数表示答案。

样例输入

5 7
1 1 2
2 3 2
4 4 1
3 4 5
5 4 5
2 3 5
4 5 1

样例输出

11

数据范围与约定

对于30% 的数据，N≤100。
对于 100% 的数据，N≤100 000，M≤100 000。

---

差分约束裸题，然而我并没有学过。

主要思想：将大小关系转换为边建图，遍历每个点bfs更新出最小值。
手写循环队列要靠大一点，我因为这个原因爆了无数回还不知道为啥。

---

#include<iostream>#include<algorithm>#include<cstdio>#include<cstring>#include<queue>using namespace std;const int MAXN=100010;struct node{int to,next,w;}e[MAXN*2];int head[MAXN],ecnt;void add(int u,int v,int w){ecnt++;e[ecnt].to=v;e[ecnt].w=w;e[ecnt].next=head[u];head[u]=ecnt;}long long minv[MAXN];bool vis[MAXN];int que[10*MAXN+5];long long ans=0;int N,M;int main(){    freopen("gin.in","r",stdin);    freopen("gin.out","w",stdout);    cin>>N>>M;    for(int i=1;i<=M;++i)    {        int T,A,B;        scanf("%d%d%d",&T,&A,&B);        if(A==B&&(T%2==0)){cout<<-1<<endl;return 0;}        if(T==1){add(A,B,0);add(B,A,0);}        if(T==2) add(A,B,1);        if(T==3) add(B,A,0);        if(T==4) add(B,A,1);        if(T==5) add(A,B,0);    }    for(int i=1;i<=N;++i)    {        minv[i]=1;        que[i]=i;    }    int h=0,t=N;    while(h<t)    {        h=(h+1)%(10*MAXN+5);        int x=que[h];        vis[x]=true;        for(int tmp=head[x];tmp;tmp=e[tmp].next)            if(minv[e[tmp].to]<minv[x]+e[tmp].w)            {                minv[e[tmp].to]=minv[x]+e[tmp].w;                if(minv[e[tmp].to]>N){cout<<-1<<endl;return 0;}                if(vis[e[tmp].to]==true)                {                    t=(t+1)%(10*MAXN+5);                    que[t]=e[tmp].to;                }            }    }    for(int i=1;i<=N;++i)        ans+=minv[i];    cout<<ans<<endl;    return 0;}