标签: constraint-programming
我正在阅读有关使用buckjumping算法加标记的约束满意度的论文。在本文中,提到使用回跳进行反向标记不会导致预期的优化。
特别提到了这种情况:
假设BMJ从v [i]跳到v [h],跳到v [g],并且当mbl [h]
在这种情况下,如果是正常的加标记,将如何避免这种计算?
我发现此案的以下视觉表现形式。