一种在有向无环图中查找 k 条最长（最短）路径的非枚举算法
数据结构与算法
2013-01-03 v1
摘要
本文提出了一种新颖且高效的算法，用于在有向无环图（DAG）中查找源点与汇点之间的 k 条最长（最短）路径。该算法不枚举路径，因此特别适用于 k 值非常大的情况。它基于 Valued-Sum-of-Product (VSOP) 工具，这是零抑制二元决策图（ZBDDs）的扩展。我们使用一个路径密集型组合电路（即 c6288）的 DAG 模型评估了该算法的性能，该模型拥有约 条路径。我们发现，计算该 DAG 中的所有路径及其长度大约需要 64 分钟。
引用
@article{arxiv.1301.0181,
title = {A nonenumerative algorithm to find the k longest (shortest) paths in a DAG},
author = {Fatih Kocan},
journal= {arXiv preprint arXiv:1301.0181},
year = {2013}
}