Arie M.C.A.科斯特。;van Hoesel，Stan P.M。;Antoon W.J.科伦。 用树分解法求解部分约束满足问题。 （英语） Zbl 1027.90072号 网络 40，第3期，170-180页（2002年）. 摘要：我们描述了一项计算研究，以解决难的部分约束满足问题（PCSP）的最优性。PCSP是一类包含多种问题的一般问题，例如广义子图问题、MAX-SAT、布尔二次规划以及着色和频率规划等分配问题。我们提出了一种基于底层约束图的结构（树分解）求解PCSP的动态规划算法。通过使用优势和边界技术，我们能够在合理的时间和内存限制内，将问题的中小型实例求解到最优，并为大型实例获得良好的下限。 引用于15文件 MSC公司： 90C27型 组合优化 90立方厘米 涉及图形或网络的编程 90立方厘米 动态编程 90B80型 离散位置和分配 关键词：树分解;部分约束;满意;频率分配;最大卫星;动态规划 软件：DIMACS公司;CALMA公司 PDF格式BibTeX公司 XML格式引用 \textit{A.M.C.A.Koster}等人，Networks 40，No.3，170--180（2002；Zbl 1027.90072） 全文： 内政部 链接 参考文献： [1] 以及频率分配问题的分支算法，研究备忘录96/011，马斯特里赫特大学，1996年。可在http://www-edocs.unimaas.nl/abs/rm96011.htm。 [2] 阿尔达尔，Oper Res [3] 频率分配问题的模型和解决方法，ZIB报告01-40，Konrad-Zuse-Zentrum für Informationstechnik Berlin，2001年。可在http://www.zib.de/PaperWeb/abstracts/ZR-01-40/。 [4] Arnborg，SIAM Alg Disc Methods 8，第277页–（1987） [5] Bodlaender，《网络学报》11第1页–（1993年） [6] Bodlaender，SIAM J Compute 25第1305页–（1996年） [7] 第二个DIMACS实施挑战：-难题：最大团、图着色和可满足性；参见http://dimacs.rutgers.edu/挑战/或http://mat.gsia.cmu.edu/challenge.html, 1992- 1993. [8] 和FAP网络？一个专门用于频率分配的网站。网址：http://fap.zib.de, 2000. [9] 广义生成树与扩展，博士论文，布鲁塞尔自由大学，2001年。可在http://smg.ulb.ac.be/Theses/Theses.html。 [10] 计算机与棘手：？？理论指南-《完整性》，弗里曼，纽约，1979年·Zbl 0411.68039号 [11] 频率分配问题的上限和下限技术，COSOR 95-34技术报告，埃因霍温理工大学，1995年。可在ftp://ftp.win.tue.nl/pub/techreports/cosor/。 [12] 频率分配的遗传算法，技术报告，马斯特里赫特大学，1999年。 [13] 频率分配？模型和算法，博士论文，马斯特里赫特大学，1999年。可在http://www.zib.de/koster/。 [14] Koster，Oper Res Lett，第23页，第89页–（1998年） [15] 以及通过树分解解决频率分配问题，《技术报告RM 99/011》，马斯特里赫特大学，1999年。可在http://www.zib.de/koster/。 ·Zbl 1038.90086号 [16] Padberg，数学课程45，第139页–（1989） [17] Robertson，J Alg 7第309页–（1986） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。