37、基于约束的局部搜索的模型驱动可视化及处理软约束问题中的不完整偏好

基于约束的局部搜索的模型驱动可视化及处理软约束问题中的不完整偏好

在当今的计算机科学领域，可视化技术和软约束问题的处理是两个重要的研究方向。前者有助于我们直观地理解复杂的算法和数据，而后者则在资源分配、调度等实际问题中发挥着关键作用。本文将深入探讨基于约束的局部搜索的模型驱动可视化，以及如何处理软约束问题中的不完整偏好。

基于约束的局部搜索的模型驱动可视化

可视化框架基于“CBLS 动画 = 模型 + 可视化规范”的理念，从模型和规范出发，系统地生成动画，以可视化约束、目标、违规和冲突，以及这些度量的时间行为。

变量显示的 overlayPairs 方法

在细化的最后一步，变量显示的 overlayPairs 方法会将逻辑坐标添加到标识符对和对可视化中，以创建图形概念。以下是具体的代码实现：

void VDisp2DS::overlayPairs(VisualPairConcept vc) {
    GraphicalArcPairs gc(vc,_Xcoords, _Ycoords);
    animate(gc,_board,_table);
}

这个方法的步骤如下：
1. 创建 GraphicalArcPairs 对象 gc ，它结合了 VisualPairConcept 和逻辑坐标 _Xcoords 与 _Ycoords 。
2. 调用