贝特·博利格 关于最小生成树问题的基于符号OBDD的算法。 （英文） Zbl 1311.05183号 Wu，Weili（编辑）等，组合优化与应用。2010年12月18日至20日，第四届国际会议，COCOA 2010，美国HI凯鲁亚·科纳。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-17460-5/pbk）。计算机科学课堂讲稿650916-30（2010）。 摘要：最小生成树问题是最基本的算法图问题之一，而OBDD是布尔函数非常常见的动态数据结构。由于在某些应用中，图变得越来越大，出现了一个研究分支，该分支涉及OBDD表示的图实例上经典图问题的所谓符号算法的设计和分析。这里，提出了一种使用（O（log^{3}|V|）函数运算的符号最小生成树算法，其中（V）是输入图的顶点集。此外，回答Sawitzki（2006）提出的一个开放问题表明，用于最小生成树问题的每个基于符号OBDD的算法都需要指数空间（相对于输入图的OBDD大小）。这个结果甚至适用于平面输入图。关于整个系列，请参见[Zbl 1203.68019号]. 引用于三文件 MSC公司： 05C85号 图形算法（图形理论方面） 05二氧化碳 树 68第05页 数据结构 68兰特 计算机科学中的图论（包括图形绘制） 68瓦30 符号计算和代数计算 关键词：最小生成树算法;有序二元决策图;符号算法 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}，莱克特。注释计算。科学。6509，16-30（2010；Zbl 1311.05183） 全文： 内政部