戴维·莫里森。;爱德华·苏厄尔（Edward C.Sewell）。;谢尔登·雅各布森。 最大独立集ZDD的特征。 （英语） Zbl 1302.90188号 J.库姆。最佳方案。 28，第1期，121-139（2014）. 摘要：零抑制二进制决策图（ZDD）是重要的数据结构，用于许多组合优化设置。本文研究了图的最大独立集的ZDD刻画；给出了ZDD中节点可以合并的充要条件，并研究了图的顶点序，以确定哪些序产生较小的ZDD。获得了最大独立集ZDD宽度的一个界，并将其与斐波那契数联系起来。最后，给出了计算结果。 引用于1文件 MSC公司： 90C27型 组合优化 90立方厘米 涉及图形或网络的编程 关键词：独立集;图论;二元决策图 软件：DIMACS公司;算法457 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Morrison}等人，J.Comb。最佳方案。28，第1号，121--139（2014；Zbl 1302.90188） 全文： DOI程序 参考文献： [1] Akers SB（1978）二元决策图。IEEE传输计算100（6）：509-516·Zbl 0377.94038号 ·doi:10.10109/TC.178.1675141 [2] Behle M（2007）二进制决策图和整数编程。萨尔州大学博士论文·Zbl 1175.90324号 [3] Behle M，Eisenbrand F（2007）0/1顶点和面枚举与BDD。参加：算法工程与实验研讨会（ALENEX）·Zbl 1427.68330号 [4] 伯格曼，D。；西尔，AA；霍夫，WV；胡克，JN；Beldiceanu，N.（编辑）；Jussien，N.（编辑）；Pinson，E.（编辑），BDD应用于最大独立集问题的变量排序，34-49（2012），柏林 [5] Bergman D、Cire AA、Hoeve WV、Hooker JN（2013），二元决策图的优化界限。信息J计算·Zbl 1356.90083号 [6] Bollig B，Wegener I（1996）改进OBDD的变量顺序是NP-完全的。IEEE传输计算45（9）：993-1002·Zbl 1048.68571号 ·数字对象标识代码：10.1109/12.537122 [7] Bron C，Kerbosch J（1973）算法457：寻找无向图的所有团。通信ACM 16（9）：575-577·Zbl 0261.68018号 ·数字对象标识代码：10.1145/362342.362367 [8] Bryant R（1986）布尔函数操作的基于图形的算法。IEEE传输计算C-35（8）：677-691·Zbl 0593.94022号 ·doi:10.1109/TC.1986.1676819 [9] Bryant RE（1992）有序二元决策图的符号布尔运算。ACM计算监视（CSUR）24（3）：293-318·doi:10.145/136035.136043 [10] Coudert O（1997）用ZBDD解决图优化问题。In:欧洲设计和测试会议，第224-228页·Zbl 1048.68571号 [11] 艾普斯坦，D。；斯特拉什，D。；Pardalos，PM（编辑）；Rebennack，S.（编辑），《列出大型稀疏现实世界图中的所有最大团》，364-375（2011），柏林 [12] HadíićT，Hooker J（2008）使用二进制决策图进行整数规划的后优化分析。泰珀商学院技术代表167·兹伯利0377.94038 [13] Held S，Cook W，Sewell EC（2012）图着色的最大权重稳定集和安全下限。数学程序计算4（4）：363-381·兹比尔1267.90005 ·doi:10.1007/s12532-012-0042-3 [14] Johnson DS，Trick MA（1996）《团、着色和可满足性：第二个DIMACS实现挑战》。美国数学学会，1993年10月11-13日·Zbl 0875.68678号 [15] Lee C（1959）用二进制决策程序表示开关电路。贝尔系统技术J 38（4）：985-999·Zbl 0222.94042号 ·doi:10.1002/j.1538-7305.1959.tb01585.x [16] Minato S（1993）用于组合问题中集合操作的零抑制BDD。In:第30届设计自动化会议，第272-277页·Zbl 1002.68589号 [17] Minato S（2001）零抑制BDD及其应用。国际J Softw Tools Technol Transf 3（2）：156-170·Zbl 1002.68589号 [18] Morrison DR，Sewell EC，Jacobson SH（2014）使用零抑制二进制决策图arXiv:140.1.5820[cs.DS]在通用分支价格算法中求解定价问题，http://arxiv.org/abs/1401.5820。2014年3月4日访问·Zbl 1338.90431号 [19] Sedgewick R、Wayne K（2011）《算法》。Addison-Wesley专业版 [20] Tomita E，Tanaka A，Takahashi H（2006）生成所有最大团和计算实验的最坏情况时间复杂性。计算机科学理论363（1）：28-42·Zbl 1153.68398号 ·doi:10.1016/j.tcs.2006.06.015 [21] Trick MA（2005）计算系列：图着色及其推广。http://mat.gsia.cmu.edu/COLOR02/。2014年3月4日访问·Zbl 0377.94038号 [22] Weisstein EW（2013）来自wolfram MathWorld的Binet的斐波那契数公式。http://mathworld.wolfram.com/BinetsFibonacciNumberFormula.html。2014年3月4日访问·Zbl 1153.68398号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。