Trong Lập trình ràng buộc, có mô hình nào có tính đến số lượng thay đổi biến không?

Xem xét một mô hình CSP trong đó việc thay đổi giá trị của một biến cụ thể là tốn kém. Có công việc nào mà hàm mục tiêu cũng xem xét số lượng thay đổi trong giá trị của biến trong quá trình tìm kiếm không?

Một ví dụ: Biến đắt tiền có thể nằm trong sự kiểm soát của một số tác nhân khác và có một số chi phí liên quan đến tác nhân đó để thay đổi biến. Một ví dụ khác: Biến tham gia vào một trong các ràng buộc và sự thỏa mãn của ràng buộc này liên quan đến việc gọi một hàm đắt tiền (chẳng hạn như trình giả lập), ví dụ là ràng buộc và là đắt hàm tính toán. Do đó, và là các biến đắt tiền để thay đổi.$z = f(x, y)$$f$$x$$y$

Có vẻ như bạn muốn có một kỹ thuật tối ưu hóa chi phí nhạy cảm (chi phí, ngân sách) . Tối thiểu hóa hai giá trị (ví dụ: giải pháp cho mục tiêu của bạn và chi phí hoạt động trên và ) là một vấn đề tối ưu hóa đa tiêu chí và những vấn đề này có xu hướng rất khó giải quyết. Cách tiếp cận phổ biến là chỉ định ngân sách cho chi phí tối đa cho phép và sau đó tối thiểu hóa hàm mục tiêu liên quan đến . Công thức này có xu hướng phù hợp độc đáo với các khung hiện có như là một ràng buộc bổ sung. Tất nhiên, việc chỉ định hàm chi phí và ngân sách cho phép theo cách mà bạn có được các giải pháp có ý nghĩa có thể khó khăn - điều này sẽ phụ thuộc vào vấn đề cụ thể mà bạn đang cố gắng giải quyết.$x$$y$$costs(x,y) \le Budget$