題目描述

傳送門

題解

差分約束系統，模型是很好建的，求最小值轉化成跑最長路。
把大於小於號都轉化為大於等於和小於等於。對於x=1的情況建立2個不等式就可以解決。
想著剛碼完資料結構就挑了一道看起來簡單一點的題，不過還是被一些奇怪的錯誤絆了一小會兒。= =第一次提交只有70分= =

程式碼

#include<iostream>
#include<cstring>
#include<cstdio>
#include<queue>
using namespace std;

const int max_n=1e5+5;
const
 
 int max_e=max_n*3;

int n,k,x,a,b;
bool pd;
long long ans;
int tot,point[max_n],next[max_e],v[max_e],c[max_e];
int dis[max_n],insert[max_n];
bool vis[max_n];
queue <int> q;

inline void addedge(int x,int y,int z){
    ++tot; next[tot]=point[x]; point[x]=tot; v[tot]=y; c[tot]=z;
}

inline bool
 
 spfa(){
    memset(dis,128,sizeof(dis));
    memset(vis,0,sizeof(vis));
    dis[0]=0;
    vis[0]=true;
    ++insert[0];
    while (!q.empty()) q.pop();
    q.push(0);

    while (!q.empty()){
        int now=q.front(); q.pop();
        vis[now]=false;
        for (int i=point[now];i;i=next[i])
          if
 
 (dis[v[i]]<dis[now]+c[i]){
            dis[v[i]]=dis[now]+c[i];
            if (!vis[v[i]]){
                vis[v[i]]=true;
                ++insert[v[i]];
                if (insert[v[i]]>n+2) return false;
                q.push(v[i]);
            }
          }
    }
    return true;
}

int main(){
    scanf("%d%d",&n,&k);

    for (int i=1;i<=k;++i){
        scanf("%d%d%d",&x,&a,&b);

        switch(x){
            case 1:{
                addedge(b,a,0);
                addedge(a,b,0);
                break;
            }
            case 2:{
                addedge(a,b,1);
                if (a==b){
                    printf("-1\n");
                    return 0;
                }
                break;
            }
            case 3:{
                addedge(b,a,0);
                break;
            }
            case 4:{
                addedge(b,a,1);
                if (a==b){
                    printf("-1\n");
                    return 0;
                }
                break;
            }
            case 5:{
                addedge(a,b,0);
                break;
            }
        }
    }

    for (int i=n;i>=1;--i)
      addedge(0,i,1);

    pd=spfa();
    if (!pd) printf("-1\n");
    else{
        for (int i=1;i<=n;++i)
          ans+=dis[i];
        printf("%lld\n",ans);
    }
}

總結

錯誤記錄：
shaB錯誤：陣列又開小了= =因為x=1的操作是要加兩條邊，所以邊集至少開三倍。而且沒有開LL。以後資料範圍一定要注意。
kengB錯誤：有一組特殊資料是1e5的一條鏈，最後加邊時要倒著加。網上說什麼目的是使按照1-n的順序進行spfa，以免時間退化為O(n^2)。我也不是很懂。難道以後都要這麼搞？