在约束编程中，是否有任何模型将变量更改的数量考虑在内？

10

考虑一个CSP模型，其中更改特定变量的值非常昂贵。在搜索过程中，目标函数是否还考虑变量值的变化次数？

一个示例：昂贵的更改变量可能在某些其他代理程序的控制下，并且涉及使该代理程序更改变量会产生一些开销。另一个示例：变量参与其中一个约束，并且满足此约束包括调用昂贵的函数（例如模拟器），例如是约束，而是昂贵的-计算功能。因此，和是变化昂贵的变量。 $z = f(x, y)$ $f$ $x$ $y$

algorithms constraint-programming

— 阿米特
source

1

目标函数讨论CSP的最终值，并且不知道搜索过程。因此，在标准配方中，此类变量的变化不会暴露给CSP模型。一些求解器（例如Choco）提供启发式方法来指导搜索过程。其中一些甚至可能是用户定义的。也许那是更改搜索方式的地方。

— 戴夫·克拉克

1

但是，为什么目标函数会反映出提出解决方案的代价是多少？难道您不应该根据解决方案在问题领域中的作用来比较解决方案吗？或者解决时间是现实问题的一部分？

— 拉斐尔

1

听起来您处于分布式约束满足的设置中，并且听起来您正在寻找启发式方法。

— 戴夫·克拉克

Answers:

4

听起来好像您想要一种对成本敏感的（成本意识，预算）优化技术。最小化两个值（例如，目标的解决方案以及和上的运算成本）是一个多准则优化问题，并且这些值往往很难解决。一种常见的方法是为最大允许成本指定预算，然后相对于最小化目标函数。这种表述趋向于很好地适合现有框架作为附加约束。当然，以难以获得有意义的解决方案的方式指定成本函数和允许的预算可能很困难-这取决于您要解决的特定问题。 $x$ $y$ $costs(x,y) \le Budget$

— 缺口
source

By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.

Licensed under cc by-sa 3.0 with attribution required.