农夫约翰正在一个新的销售区域对他的牛奶销售方案进行调查。
他想把牛奶送到 T 个城镇,编号为 1∼T。
这些城镇之间通过 R 条道路 (编号为 1 到 R) 和 P 条航线 (编号为 1 到 P) 连接。
每条道路 i 或者航线 i 连接城镇 Ai 到 Bi,花费为 Ci。
对于道路,0≤Ci≤10,000;然而航线的花费很神奇,花费 Ci 可能是负数(−10,000≤Ci≤10,000)。
道路是双向的,可以从 Ai 到 Bi,也可以从 Bi 到 Ai,花费都是 Ci。
然而航线与之不同,只可以从 Ai 到 Bi。
事实上,由于最近恐怖主义太嚣张,为了社会和谐,出台了一些政策:保证如果有一条航线可以从 Ai 到 Bi,那么保证不可能通过一些道路和航线从 Bi 回到 Ai。
由于约翰的奶牛世界公认十分给力,他需要运送奶牛到每一个城镇。
他想找到从发送中心城镇 S 把奶牛送到每个城镇的最便宜的方案。
输入格式
第一行包含四个整数 T,R,P,S。
接下来 R 行,每行包含三个整数(表示一个道路)Ai,Bi,Ci。
接下来 P 行,每行包含三个整数(表示一条航线)Ai,Bi,Ci。
输出格式
第 1..T 行:第 i 行输出从 S 到达城镇 i 的最小花费,如果不存在,则输出 NO PATH
。
数据范围
1≤T≤25000,
1≤R,P≤50000,
1≤Ai,Bi,S≤T
输入样例:
6 3 3 4
1 2 5
3 4 5
5 6 10
3 5 -100
4 6 -100
1 3 -10
输出样例:
NO PATH
NO PATH
5
0
-95
-100
使用条件存在限制:道路可以有环,但航线必须有拓扑性,也就是无环。
存在拓扑性的最短路就按拓扑顺序跑就行了,所以可以不用spfa,而且这题spfa也被卡了。
每一块由路连通的小点看成一个大点,航线必然存在在大点与大点之间:
反证法:如果大点内部有航线,而大点内部又是连通的,所以走航线a到b,必然存在b到a的路,与题意不符。
就是在跑拓扑的时候对每一个大点内部跑dijkstra,跑的时候把这个大点里的所有小点放进堆里去就行。
id[x]表示x点属于哪个大点
block[y]表示y这个大点内部的小点集合
cpp
#include<bits/stdc++.h>
#define IOS ios::sync_with_stdio(0);cin.tie(0);cout.tie(0);
#define endl '\n'
using namespace std;
typedef pair<int, int> PII;
typedef long long ll;
const int N = 25010, M = 150010;
int n, mr, mp, S;
int h[N], e[M], w[M], ne[M], idx;
int id[N], din[N];
int bid;
vector<int> block[N];
queue<int> q;
int dist[N];
bool st[N];
void add(int a, int b, int c)
{
e[idx] = b, w[idx] = c, ne[idx] = h[a], h[a] = idx ++;
}
void dfs(int u, int bid)
{
id[u] = bid;
block[bid].push_back(u);
for(int i = h[u]; ~i; i = ne[i])
{
int j = e[i];
if(!id[j])
{
dfs(j, bid);
}
}
}
void dijkstra(int bid)
{
priority_queue<PII, vector<PII>, greater<PII>> heap;
for(int ver : block[bid])heap.push({dist[ver], ver});
while(heap.size())
{
int ver = heap.top().second;
heap.pop();
if(st[ver])continue;
st[ver] = true;
for(int i = h[ver]; ~i; i = ne[i])
{
int j = e[i];
if(dist[j] > dist[ver] + w[i])
{
dist[j] = dist[ver] + w[i];
if(id[j] == id[ver])heap.push({dist[j], j});
}
if(id[j] != id[ver])
{
din[id[j]] --;
if(!din[id[j]])q.push(id[j]);
}
}
}
}
void topsort()
{
memset(dist, 0x3f, sizeof dist);
dist[S] = 0;
for(int i = 1; i <= bid; i ++)
{
if(!din[i])q.push(i);
}
while(q.size())
{
int t = q.front();
q.pop();
dijkstra(t);
}
}
int main()
{
IOS
cin >> n >> mr >> mp >> S;
memset(h, -1, sizeof h);
while(mr --)
{
int a, b, c;
cin >> a >> b >> c;
add(a, b, c), add(b, a, c);
}
for(int i = 1; i <= n; i ++)
{
if(!id[i])
{
dfs(i, ++ bid);
}
}
while(mp --)
{
int a, b, c;
cin >> a >> b >> c;
add(a, b, c);
din[id[b]] ++;
}
topsort();
for(int i = 1; i <= n; i ++)
{
if(dist[i] > 0x3f3f3f3f / 2)cout << "NO PATH" << endl;
else cout << dist[i] << endl;
}
return 0;
}