杰斯珀·奈德洛夫 使用Möbius反演的快速多项式空间算法：对Steiner树和相关问题的改进。 （英语） Zbl 1248.68258号 Albers，Susanne（编辑）等人，《自动化，语言和编程》。2009年7月5日至12日，第36届国际学术讨论会，ICALP 2009，希腊罗兹。会议记录，第一部分，柏林：施普林格出版社（ISBN 978-3-642-02926-4/pbk）。计算机科学课堂讲稿5555713-725（2009）。 摘要：给定一个边上有（n）个顶点、（k）个端点和有界整数权重的图，我们计算了（{mathcal{O}^*}（2^k））时间和多项式空间中的最小Steiner树，其中（{mathcal{O{*}）符号省略了（text{poly}（n，k））因子。在我们的结果中，还有几个（{mathcal{NP}}）-完备生成树和划分问题的多项式空间算法。以前针对这些问题的最快已知算法使用子集之间的动态规划技术，并且需要指数空间。引入分支行走的概念，推广了Karp计算哈密顿路径的包含-排除算法。此外，我们还表明，我们的算法也可以通过将Möbius反演应用于动态规划算法的递归来获得。关于整个系列，请参见[Zbl 1166.68001号]. 引用于2评论引用于28文件 MSC公司： 65年第68季度 算法和问题复杂性分析 05C85号 图形算法（图形理论方面） PDF格式BibTeX公司 XML格式引用 \textit{J.Nederlof}，莱克特。注释计算。科学。5555713--725（2009年；Zbl 1248.68258） 全文： 内政部