В ограниченном программировании есть ли модели, учитывающие количество изменений переменных?

Рассмотрим модель CSP, где изменение значения конкретной переменной стоит дорого. Есть ли работа, в которой целевая функция также учитывает количество изменений в значении переменной в процессе поиска?

Пример: переменная, дорогая к изменению, может находиться под контролем какого-либо другого агента, и есть некоторые издержки, связанные с привлечением этого агента для изменения переменной. Другой пример: переменная участвует в одном из ограничений, и удовлетворение этого ограничения включает вызов дорогой функции (такой как симулятор), например, является ограничением, а является дорогим вычислить функцию. Следовательно, и являются дорогостоящими переменными. $z = f(x, y)$ $f$ $x$ $y$

algorithms constraint-programming

— Амит
источник

Целевая функция говорит об окончательных значениях CSP и не знает о процессе поиска. Таким образом, в стандартных формулировках изменения в таких переменных не подвержены модели CSP. Некоторые решатели, такие как Choco, предоставляют эвристику для управления процессом поиска. Некоторые из них могут быть даже определены пользователем. Возможно, именно здесь можно изменить способ поиска.

— Дейв Кларк

Но почему целевая функция должна отражать, как дорого было найти решение? Не стоит ли сравнивать решения по тому, насколько они полезны в проблемной области после этого? Или время решения является частью реальной проблемы?

— Рафаэль

Звучит так, будто вы находитесь в режиме распределенного удовлетворения ограничений, и похоже, что вы ищете эвристику.

— Дейв Кларк

$x$ $y$ $costs(x,y) \le Budget$ , Эта формулировка имеет тенденцию хорошо вписываться в существующие рамки в качестве дополнительного ограничения. Конечно, указание функции стоимости и допустимого бюджета таким образом, что вы получаете значимые решения, может быть затруднено - это будет зависеть от конкретной проблемы, которую вы пытаетесь решить.

— Ник
источник