金·万豪酒店;斯塔基，彼得;文森特·塔姆;何伟清 使用约束优化消除图形布局中的节点重叠。 （英语） Zbl 1039.68121号 约束条件 8，第2期，143-171（2003）. 摘要：尽管图形绘制已经被广泛研究，但节点重叠问题却很少受到关注。问题的出现是因为几乎所有现有的图形布局算法都假设节点是点。然而，在实践中，节点可能会被标记，并且这些标记可能会重叠。在这里，我们研究如何在随后的布局调整阶段消除这种节点重叠。我们提出了四种不同的消除节点重叠的方法，所有这些方法都基于约束优化技术。第一种是最简单的。它执行最小线性缩放，以消除节点重叠。第二种方法依赖于将节点重叠问题表述为凸二次规划问题，然后可由任何二次解算器求解。缺点是，由于约束必须是线性的，节点重叠约束不能直接表达，而是必须加强以获得足够强的线性约束，以确保没有节点重叠。第三种和第四种方法基于局部搜索方法。第三种是EGENET解算器的改编，该解算器最初是为解决一般约束满足问题而设计的，而第四种方法是拉格朗日乘子法的一种形式，拉格朗日乘子法是运筹学中使用的一种著名的优化技术。第三种和第四种方法都能够直接处理节点重叠约束，因此可能会找到更好的解决方案。它们的缺点是没有有效的全局优化方法可用于此类问题，因此我们必须接受局部最小值。我们在一系列布局调整问题上说明了上述所有方法。 引用于6文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 关键词：图形布局;约束优化;析取约束 软件：QOCA公司 PDF格式BibTeX公司 XML格式引用 \textit{K.Marriott}等人，《约束8》，第2期，143--171（2003；Zbl 1039.68121） 全文： 内政部