贝特·博利格;英戈·韦格纳 改进OBDD的变量顺序是NP完成的。 （英语） Zbl 1048.68571号 IEEE传输。计算。 45，第9期，993-1002（1996）. 引用于1审查引用于54文件 MSC公司： 68兰特 计算机科学中的图论（包括图形绘制） 2017年第68季度 问题的计算难度（下界、完备性、近似难度等） 关键词：NP-完整性;图形算法;有序二元决策图 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}和\textit{I.Wegener}，IEEE Trans。计算。45，第9号，993--1002（1996；Zbl 1048.68571） 全文： 内政部