一种卡掉SPFA的简单方法

搬运自知乎问题如何看待 SPFA 算法已死这种说法?下用户 @immortalCO 的回答(侵删)
该方法同时适用于有向图和无向图

① 生成一颗以起点为根的树,树高尽量高 ( 如:起点为1的树,每个点 i 的父亲可以在 max(i-5,1) 到 i-1 随机),边权随机,同时还需计算出每个点的深度d[i]。

② 对于剩下的边,两端点随机,边权在 |d[b]-d[a]| 到 |d[b]-d[a]|+5 随机(如果是有向图则去掉绝对值符号,5 可以换成其他较小的正数)

这样生成的图中,次短路的条数非常的多,而 SPFA 一旦错误地进入了次短路的分支,就会使得一整棵子树被赋错误的距离,从而在后期不得不重新更新。而由于边权接近,剪枝的效果会受到很大影响。

Code_Example:

const int maxn = 2e5;
const int maxm = 2e5;
set<pair<int,int>>s;
int d[maxn];
void generate(){
    int n,m,T;
    n = Randint(maxn);
    m = Randint(maxm);m = max(m,n * (n - 1) / 2);
    printf("%d %d\n", n,m);
    d[1] = 0;
    for(int i = 2;i <= n;++i){
    	int u = i;
    	int l = max(i - 5,1), r = i - 1;
    	int v = (Randint(n) % (r - l + 1)) + l;
    	d[u] = d[v] + 1;
    	int t = Randint(maxt);
    	s.insert(make_pair(u,v));
    	s.insert(make_pair(v,u));
    	printf("%d %d %d\n", u,v,t);
   	}
    for(int i = 1;i <= m - (n - 1);++i){
    	int u = Randint(n);
    	int v = Randint(n);
    	if((s.find(make_pair(u,v)) != s.end() )|| (u == v)) {i--;continue;}
    	s.insert(make_pair(u,v));
    	s.insert(make_pair(v,u));
    	int l = abs(d[u] - d[v]), r = l + 5;
    	int t = (Randint(n) % (r - l + 1)) + l;
    	printf("%d %d %d\n", u,v,t);
    } 
}
  • 3
    点赞
  • 7
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
好的,以下是一个简单SPFA模板: ``` const int INF = 0x3f3f3f3f; const int MAXN = 1005; vector<pair<int, int>> g[MAXN]; // 存储有向图,pair 中第一个数表示终点,第二个数表示边权 int dist[MAXN]; // 存储源点到每个点的最短距离 bool in_queue[MAXN]; // 标记每个点是否在队列中 void spfa(int s) { // s 表示源点编号 memset(dist, INF, sizeof(dist)); // 初始化 dist 数组为 INF,表示距离无限远 memset(in_queue, 0, sizeof(in_queue)); // 初始化 in_queue 数组为 false,表示所有点都不在队列中 queue<int> q; q.push(s); dist[s] = 0; in_queue[s] = true; while (!q.empty()) { int u = q.front(); q.pop(); // 取出队首元素 in_queue[u] = false; // 标记 u 不在队列中 for (auto v : g[u]) { // 枚举 u 的出边 if (dist[v.first] > dist[u] + v.second) { // 更新 dist[v] dist[v.first] = dist[u] + v.second; if (!in_queue[v.first]) { // 如果 v 不在队列中,则将 v 加入队列 q.push(v.first); in_queue[v.first] = true; } } } } } ``` 解释一下每个部分的作用: 1. 常量 INF 表示距离无限远,MAXN 表示最大点数。 2. g 数组存储有向图,pair 中第一个数表示终点,第二个数表示边权。 3. dist 数组存储源点到每个点的最短距离。 4. in_queue 数组标记每个点是否在队列中。 5. spfa 函数实现 SPFA 算法,s 表示源点编号。 6. 首先将 dist 数组初始化为 INF,表示距离无限远;将 in_queue 数组初始化为 false,表示所有点都不在队列中;将源点 s 加入队列并标记在队列中,并将 dist[s] 初始化为 0。 7. 进行队列操作:取出队首元素 u,枚举 u 的出边,如果可以通过 u 更新 dist[v] 的值,则更新 dist[v] 并将 v 加入队列。当队列为空时,SPFA 算法结束。
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值