题意:输入N,ML,MD表示N个人编号为1-N,有ML+MD行,每行三个数字A,b,C。前ML行表示,A和B的距离不能大于C,接下来MD行表示,A和B的距离不能小于C。这些人必须都在一条线上,且两个人位置不能重合。如果这样的排列存在,输出1-N这两个人的最长可能距离,如果不存在,输出-1,如果无限长输出-2。
思路:差分约束。三个式子:,求1-N的最长可能距离(即最大值),即最短路,所以把三个式子都化为
的形式,然后建一条B-A的权值为C边。求出1~N的最短路,就是答案。
//#include<bits/stdc++.h>
#include<iostream>
#include<cstdio>
#include<cstring>
#include<queue>
using namespace std;
const int MAXN = 1e6 + 5;
const int INF = 0x3f3f3f3f;
struct Edge
{
int from, to, dist; //起点,终点,距离
Edge(int u, int v, int w):from(u), to(v), dist(w) {}
};
struct BellmanFord
{
int n, m; //结点数,边数(包括反向弧)
vector<Edge> edges; //边表。edges[e]和edges[e^1]互为反向弧
vector<int> G[MAXN]; //邻接表,G[i][j]表示结点i的第j条边在edges数组中的序号
bool vis[MAXN]; //是否在队列中
int d[MAXN]; //Bellman-Ford
int p[MAXN]; //上一条弧
int cnt[MAXN]; //进队次数
void init(int n)
{
this->n = n;
edges.clear();
for (int i = 0; i <= n; i++) G[i].clear();
}
void add_edge(int from, int to, int dist)
{
edges.push_back(Edge(from, to, dist));
//edges.push_back((Edge){from, to, dist}); G++编译通过,C++可能会编译错误
m = edges.size();
G[from].push_back(m - 1);
}
bool bellman_ford(int s)
{
for (int i = 0; i <= n; i++) d[i] = INF;
memset(vis, 0, sizeof(vis));
memset(cnt, 0, sizeof(cnt));
d[s] = 0; vis[s] = true;
queue<int> Q;
Q.push(s);
while (!Q.empty())
{
int u = Q.front(); Q.pop();
vis[u] = false;
for (int i = 0; i < G[u].size(); i++)
{
Edge& e = edges[G[u][i]];
if (d[u] < INF && d[e.to] > d[u] + e.dist)
{
d[e.to] = d[u] + e.dist;
p[e.to] = G[u][i];
if (!vis[e.to])
{
Q.push(e.to); vis[e.to] = true;
if (++cnt[e.to] > n) return false;//有负环
}
}
}
}
return true;//没有负环
}
};
BellmanFord solve;
int main()
{
int N, ML, MD;
while(~scanf("%d%d%d", &N, &ML, &MD))
{
solve.init(N);
while(ML--)
{
int u, v, t;
scanf("%d%d%d", &u, &v, &t);
solve.add_edge(u, v, t);
}
while (MD--)
{
int u, v, t;
scanf("%d%d%d", &u, &v, &t);
solve.add_edge(v, u, -t);
}
for (int i = 2; i <= N; i++) solve.add_edge(i, i - 1, -1);
if (solve.bellman_ford(1))
{
if (solve.d[N] == INF) printf("-2\n");
else printf("%d\n", solve.d[N]);
}
else printf("-1\n");
}
return 0;
}
/*
4 2 1
1 3 10
2 4 20
2 3 3
*/