社区
数据结构与算法
帖子详情
双向DJ的可行性和理论论证
hbuzzd
2009-10-19 08:27:05
最近在搞一个最短路径的算法、因为数据设计的原因,使得我们必须吝啬的使用内存,同时时间要求也比较高。前辈的算法采用的是双向的DJ探索,但是并没有对这个算法做出一个理论上的论证,从结果来看,基本上还没发现什么问题。(发现的问题都是数据本身引起的。)我想问的问题是,双向的DJ算法在首次探索结束后即退出探索循环,可不可以确定这个解就是最有解。有没有可以证明的?谢谢!希望各位可以不吝赐教,万分感谢。
...全文
152
9
打赏
收藏
双向DJ的可行性和理论论证
最近在搞一个最短路径的算法、因为数据设计的原因,使得我们必须吝啬的使用内存,同时时间要求也比较高。前辈的算法采用的是双向的DJ探索,但是并没有对这个算法做出一个理论上的论证,从结果来看,基本上还没发现什么问题。(发现的问题都是数据本身引起的。)我想问的问题是,双向的DJ算法在首次探索结束后即退出探索循环,可不可以确定这个解就是最有解。有没有可以证明的?谢谢!希望各位可以不吝赐教,万分感谢。
复制链接
扫一扫
分享
转发到动态
举报
写回复
配置赞助广告
用AI写文章
9 条
回复
切换为时间正序
请发表友善的回复…
发表回复
打赏红包
oooccc1
2009-10-26
打赏
举报
回复
Dijkstra算法, 本质上是一个优先搜索..
双向, 无非就是从两端同时搜索, 相当于两边分别做Dijkstra.
现在先只考虑一边的Dijkstra.
在Dijkstra中需要一个优先队列, 优先队列头上的元素永远是最优的(根据优先队列的性质决定).
所以: "每次从优先队列(堆)里出来的状态都是最优的状态"(它是当前队列中, 距离原点最短的点).
入优先队列时,这个状态不一定最优; 但是出队列时它必然最优.
hbuzzd
2009-10-26
打赏
举报
回复
你要注意每次拿出来的是递加代价后的最短的。
可否说得更加详细一点?谢谢!
oooccc1
2009-10-26
打赏
举报
回复
可以利用反证法, 分情况讨论.
若左边有更短.如何如何...
若右边有跟短.如何如何...
若两边都有跟短..则如何如何...
最后得出你得到的最短路径的确最短...
你要清楚一点, 每次从优先队列(堆)里出来的都是最短的...
hbuzzd
2009-10-24
打赏
举报
回复
有没有人发表个意见啊。等好几天了,只是说有人证明过,完全没有找到任何相关资料。
oooccc1
2009-10-22
打赏
举报
回复
[Quote=引用 3 楼 oooccc1 的回复:]
MARK 好奇双向DJ是何算法
[/Quote]
刚一看..终于明白过来..原来是双向优先搜索
DJ = Dijkstra
hbuzzd
2009-10-22
打赏
举报
回复
很简单,就是两个定点之后同时使用DJ算法探索。在满足适当相遇条件即认为相遇。探索结束。
oooccc1
2009-10-21
打赏
举报
回复
MARK 好奇双向DJ是何算法
zhengjiankang
2009-10-20
打赏
举报
回复
哈哈,不知道什么是双向DJ,来学习了。
算法的理论证明是数学上的问题,找个数学牛的问问去吧。
hbuzzd
2009-10-20
打赏
举报
回复
请各位指教一下啊。谢谢!
专题讨论 类型
理论
和范畴
理论
之间的关系 之2 整体设计中的“闭” 解题和“位”问题 (ima.copilot)
本文探讨了基于计算三位一体主义的整体设计
理论
,结合九维空间、拓扑不变性和基因编辑等概念,构建了一个跨学科的完备逻辑系统。
理论
基础: 计算三位一体主义:将命题(类型)、程序(证明)和关系(范畴论/类型论)统一,形成逻辑闭环。 九维空间
理论
:九维是宏观显现的基准维度,九维以下为量子坍缩(介观),九维以上为电子跃迁(微观)。 核心机制: 拓扑不变性:通过连通性、紧致性、同伦型和同调不变量,确保跨维度传递的数学闭性。 基因编辑隐喻:用空间散列序列和行列编辑实现九宫格维度的动态调整。 应用与验证: 基因组分
PaperSpace 博客中文翻译(三十二)
原文:PaperSpace Blog 协议:CC BY-NC-SA 4.0 如何在渐变笔记本上用 JoJoGAN 进行一次脸部风格化 原文:https://blog.paperspace.com/one-shot-face-stylization-with-jojogan/ 风格转移是最近围绕深度学习媒体最热门的话题之一。这有许多原因,包括该方法易于出版的可
论证
性,以及对照片进行快速风格编辑的潜在效用。这种实用性和易于演示的结合使 style transfer 成为许多数据科学家、ML 工程师和人工
49、通信与电路复杂度:不可压缩性方法的应用
本文探讨了通信复杂度与电路复杂度中的关键
理论
及其应用,重点利用不可压缩性方法分析恒等函数和内积函数的通信复杂度,并通过Kolmogorov复杂度工具推导出下限结果。文章还介绍了Håstad切换引理在电路复杂度中的作用,给出了基于不可压缩性方法的简洁证明,揭示了其在分离电路深度类和构建预言机中的重要价值。此外,讨论了确定性与随机协议对通信效率的影响,以及完全协议与部分协议在协议无关通信复杂度下的差异。最后展望了该领域在复杂函数分析、自适应协议设计及量子计算环境下的未来研究方向。
【人工智能】【数字孪生】主要数学模型——第二篇(非牛顿流体+气体+固体)
类别数学模型/控制方程变量/参数定义
理论
依据限制条件约束条件依赖条件应用场景协同仿真接口标准 功能 Mock-up 接口 (FMI): 模型描述文件:XML格式,描述模型变量、参数、接口。 仿真模型交换: FMU(功能 Mock-up 单元)包含模型方程和求解器,或仅模型方程(Co-Simulation 或 Model Exchange)。 协同仿真调度: 主算法协调各FMU的仿真步进,交换数据。 数据交换:ymaster=fFMU(xm
人工智能科学家距离改变世界还有多远 ?
如果没有有效的、稳健的自我批评机制,系统可能会陷入错误累积的循环,从而损害其研究成果的原创性和可靠性。他们进行了一项大规模的人工研究,招募了 79 位专家研究人员,对来自三种不同情境的 49 个想法进行盲审:专家撰写的想法、人工智能生成的想法以及由人类专家重新排序的人工智能生成的想法。这些评估结果一致表明,LLM 在将概念理解或初始计划转化为可验证的正确且可运行的代码方面面临着巨大的困难,这凸显了其验证能力的根本局限性,并强调了系统化的验证和实施能力对于人工智能科学家系统成熟的重要性。
数据结构与算法
33,028
社区成员
35,337
社区内容
发帖
与我相关
我的任务
数据结构与算法
数据结构与算法相关内容讨论专区
复制链接
扫一扫
分享
社区描述
数据结构与算法相关内容讨论专区
社区管理员
加入社区
获取链接或二维码
近7日
近30日
至今
加载中
查看更多榜单
社区公告
暂无公告
试试用AI创作助手写篇文章吧
+ 用AI写文章