luogu P2865 [USACO06NOV]路障Roadblocks

背景：

好久之前的题目了$...$

题目传送门：

https://www.luogu.org/problemnew/show/P2865

题意：

求严格次短路。

思路：

本来是一道$spfa$傻逼题。
仔细一想发现好像之前的思路有问题，那就来细讲一下吧。
$di{s}_{i,0}$表示最短路，$di{s}_{i,1}$表示次短路。
考虑当前能否更新最短路。若可以则更新当前次短路和最短路；否则，考虑更新次短路。
如何更新次短路，我原来一直以为用上一次的最短路更新即可，但只有$50pts$，细想一下发现要还用上次的次短路更新。
见图：

如果我们假设最短路是$A->B->C->E->F$且$3\cdot (|\overrightarrow{BC}|+|\overrightarrow{CE}|)<|\overrightarrow{BD}|+|\overrightarrow{DE}|$，那么次短路就是$A->B->D->E->F$。
假设且一开始更新了$A->B->C->E->F$，那么对于$E$点而言，我们的次短路就不能通过$C$或$D$点的最短路来更新，而是用$D$点的次短路更新。
改了一下之前的代码~~（原来的太丑）~~ 。

代码：

#include<cstdio>
#include<cstring>
#include<queue>
#define LL long long
using namespace std;
queue <int> f; 
	struct node{int x,y,next;LL z;} a[300010];
	bool bz[10010];
	int last[10010];
	LL dis1[10010],dis2[10010];
	int n,m,len=0;
void ins(int x,int y,LL z)
{
	a[++len]=(node){x,y,last[x],z}; last[x]=len;
}
void PUSH(int x)
{
	if(bz[x]) bz[x]=false,f.push(x);
}
void spfa()
{
	memset(bz,true,sizeof(bz));
	memset(dis1,63,sizeof(dis1));
	memset(dis2,63,sizeof(dis2));
	dis1[1]=0;
	bz[1]=false;
	f.push(1);
	while(!f.empty())
	{
		int x=f.front();
		for(int i=last[x];i;i=a[i].next)
		{
			int y=a[i].y;
			if(dis1[x]+a[i].z<dis1[y])
			{
				if(dis2[y]>dis1[y]) dis2[y]=dis1[y];
				dis1[y]=dis1[x]+a[i].z;
				PUSH(y);
			}
			if(dis1[x]+a[i].z>dis1[y]&&dis1[x]+a[i].z<dis2[y]) dis2[y]=dis1[x]+a[i].z,PUSH(y);
			if(dis2[x]+a[i].z<dis2[y]) dis2[y]=dis2[x]+a[i].z,PUSH(y);
		}
		bz[x]=true;
		f.pop();
	}
}
int main()
{
	int x,y;
	LL z;
	scanf("%d %d",&n,&m);
	for(int i=1;i<=m;i++)
	{
		scanf("%d %d %lld",&x,&y,&z);
		ins(x,y,z),ins(y,x,z);
	}
	spfa();
	printf("%lld",dis2[n]<(1ll<<60)?dis2[n]:-1);
}