迪杰斯特拉的vis数组是不是不必要的呢

void dij(int s,int k){
	priority_queue<pair<double,pii> > q;
	while(q.size())q.pop();
	q.push({0,{s,0}});
	dis[s][0]=0;
	while(q.size()){
		int u=q.top().se.fi,ci=q.top().se.se;
		q.pop();
//		if(vis[u][ci])
//			continue;
//		vis[u][ci]=1;
		for(auto x:g[u]){
			int v=x.fi,w=x.se;
			if(v==s)
				continue;
			int cc=ci+sp[v];
			cc=min(cc,k);
			if(dis[v][cc]>dis[u][ci]+cl(w,ci)){
				dis[v][cc]=dis[u][ci]+cl(w,ci);
				q.push({-dis[v][cc],{v,cc}});
			}
		}
	}
}