银河 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;
}