특정 변수의 값을 변경하는 데 비용이 많이 드는 CSP 모델을 고려하십시오. 목적 함수가 검색 프로세스 중 변수 값의 변경 횟수를 고려하는 작업이 있습니까?
예 : 변경 비용이 많이 드는 변수가 다른 에이전트를 제어하고있을 수 있으며 해당 에이전트가 변수를 변경하도록하는 데 약간의 오버 헤드가 있습니다. 또 다른 예 : 변수가 제약 조건 중 하나에 참여하고이 제약 조건을 충족시키는 데는 비싼 함수 (예 : 시뮬레이터)를 호출하는 것이 포함됩니다. 예를 들어 는 제약 조건이고 는 비쌉니다. 계산 기능. 따라서 와 y 는 변경 비용이 많이 드는 변수입니다.
1
목적 함수는 CSP의 최종 값에 대해 말하며 검색 프로세스를 인식하지 못합니다. 따라서 표준 제제에서 이러한 변수의 변화는 CSP 모델에 노출되지 않습니다. Choco와 같은 일부 솔버는 검색 프로세스를 안내하기위한 휴리스틱을 제공합니다. 이들 중 일부는 사용자 정의 된 것일 수도 있습니다. 아마도 검색 방법을 바꿀 수있는 곳일 것입니다.
—
Dave Clarke
그러나 왜 목적 함수가 솔루션을 만드는 데 비용이 많이 드는가? 나중에 문제 영역에서 솔루션이 얼마나 유용한 지 비교해 보지 않겠습니까? 아니면 실제 문제의 해결 시간이 일부입니까?
—
Raphael
분산 구속 조건 만족도를 설정하는 것처럼 들리며 휴리스틱을 찾는 것처럼 들립니다.
—
Dave Clarke