P5590 赛车游戏

P5590 赛车游戏
自由给有向边赋值，每个边为1-9，并且点1到点n每条路径长度都一样。
首先应该从1跑一遍正图，将可以到达的点标记，然后再在n跑一遍反图，并且标记，然后两次都标记的点才在比赛的路径上，即满足1到其中的点所有路径长度都一样。然后如果在比赛的路径中有环的话一定不符合，所以-1，如果无环就直接可以拓扑了。
注意求在比赛上的路径要两次都标记才行，因为如果仅仅从1可以到，而从n到不了不可以也不是比赛路径。
这个题判是否有解还可以用差分约束，在比赛路径建一个9的正边，-1的反边，spfa或BF跑是否有负环即可。
差分约束系统学习笔记

#include<iostream>
#include<cstdio>
#include<vector>
#include<queue>
using namespace std;
const int MAX_N=1010;
const int MAX_M=2010;
vector<int>v[MAX_N],sv[MAX_N],dv[MAX_N];
queue<int>q;
int qz[MAX_N];
int sum[MAX_N];
void topo(){
    int i;
    while(!q.empty()){
        int now=q.front();
        q.pop();
        for(i=0;i<v[now].size();i++){
            int to=v[now][i];
            sum[to]--;
            qz[to]=max(qz[now]+1,qz[to]);
            if(sum[to]==0){
                q.push(to);
            }
        }
    }
}
bool have1[MAX_N],have2[MAX_N],have[MAX_N];
void dfs1(int now){
    int i;
    have1[now]=true;
    for(i=0;i<sv[now].size();i++){
        int to=sv[now][i];
        if(have1[to])
            continue;
        have1[to]=true;
        dfs1(to);
    }
}
void dfs2(int now){
    int i;
    have2[now]=true;
    for(i=0;i<dv[now].size();i++){
        int to=dv[now][i];
        if(have2[to])
            continue;
        have2[to]=true;
        dfs2(to);
    }
}
int a[MAX_M],b[MAX_M];
int main(void){
    int n,m,i;
    scanf("%d%d",&n,&m);
    for(i=0;i<m;i++){
        scanf("%d%d",&a[i],&b[i]);
        sv[b[i]].push_back(a[i]);
        dv[a[i]].push_back(b[i]);
    }
    dfs1(n);
    dfs2(1);
    if(!have1[1]||!have2[n]){
        printf("-1\n");
        return 0;
    }
    for(i=1;i<=n;i++){
        if(have1[i]&&have2[i])
            have[i]=true;
    }
    for(i=0;i<m;i++){
        if(have[a[i]]&&have[b[i]]){
            v[a[i]].push_back(b[i]);
            sum[b[i]]++;
        }
    }
    q.push(1);
    topo();
    int flag=0;
    for(i=0;i<m;i++){
        if(!have[a[i]]||!have[b[i]])
        continue;
        if(qz[b[i]]-qz[a[i]]<=0||qz[b[i]]-qz[a[i]]>9){
            flag=1;
            break;
        }
    }
    if(flag){
        printf("-1\n");
    }
    else{
        printf("%d %d\n",n,m);
        for(i=0;i<m;i++){
            if(have[a[i]]&&have[b[i]])
                printf("%d %d %d\n",a[i],b[i],qz[b[i]]-qz[a[i]]);
            else
                printf("%d %d 1\n",a[i],b[i],1);
        }
    }
    return 0;
}