综合图算法族的理论与技术
软件工程
2012-07-05 v1 人工智能
数据结构与算法
编程语言
摘要
尽管广度优先搜索（BFS）相对于深度优先搜索（DFS）具有若干优势，但其高昂的空间需求意味着算法设计者常常放弃BFS而选择DFS。为了解决这一不足，我们引入了高效BFS（EBFS）理论以及一个用于执行搜索的简单递归程序模式。该理论基于支配关系，这是搜索算法领域的一项长期技术。我们展示了如何利用该理论系统地推导出两个图算法的解，即单源最短路径问题和最小生成树问题。这些解是通过对推导过程进行小的系统性更改而得到的，揭示了这两个问题之间的联系，而这种联系在教科书中的表述中常常被掩盖。
引用
@article{arxiv.1207.0869,
title = {Theory and Techniques for Synthesizing a Family of Graph Algorithms},
author = {Srinivas Nedunuri and William R. Cook and Douglas R. Smith},
journal= {arXiv preprint arXiv:1207.0869},
year = {2012}
}
备注
In Proceedings SYNT 2012, arXiv:1207.0554