关于st[N]数组 冗余部分的一些看法
话不多说 先上图
- 1号点入堆 然后出堆拓展2号点和3号点
- 2号点入堆 然后出堆拓展4号点 此时dist[4]=4
- 3号点入堆 然后出堆拓展4号点 (dist[3]+[i]=3)<dist[4]=4
冗余推导: 此时需要注意 堆中有两个四号点 但是距离不一样 因为小根堆的性质 堆中肯定先出来dist[4]=3
的那一个来更新4号点的所有邻边 然后堆中另一个dist[4]=4的那一个点就没有必要出来更新邻边了
道理是dist[4]=4更新的肯定要比dist[4]=3更新的值要大 即使出堆更新 下面的if条件判断就会直接将它判掉
出堆是没有意义的 更新不了任何值
//易错点: 小根堆先first 为距离 second 为编号
#include<bits/stdc++.h>
using namespace std;
typedef pair<int,int> PII;
const int N=1e6;
int e[N],ne[N],h[N],w[N],idx;
int n,m;
int d[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 dijskra()
{
memset(d,0x3f,sizeof d);
priority_queue<PII,vector<PII>,greater<PII>> heap;
d[1]=0;
heap.push({0,1});//first 为距离 second 为下标
while(heap.size())
{
auto t=heap.top();
heap.pop();
int ver=t.second,dist=t.first;
if(st[ver]) continue;
st[ver]=true;
for(int i=h[ver];~i;i=ne[i])
{
int j=e[i];
if(d[j]>dist+w[i])
{
d[j]=dist+w[i];
heap.push({d[j],j});
}
}
}
if(d[n]==0x3f3f3f3f) puts("-1");
else cout<<d[n]<<endl;
}
int main()
{
memset(h,-1,sizeof h);
cin>>n>>m;
while(m--)
{
int a,b,c;
cin>>a>>b>>c;
add(a,b,c);
}
dijskra();
return 0;
}
谢谢,拓展的两个点都是一样的,所以再继续拓展这个点后面也是一样的,懂了懂了
看一遍就明白了,orz
翻了半天评论区,你这是真的讲明白了!
谢谢 哈哈
强啊
hh 我是真菜鸡