구속 조건 프로그래밍에서 변수 변경 수를 고려한 모델이 있습니까?


10

특정 변수의 값을 변경하는 데 비용이 많이 드는 CSP 모델을 고려하십시오. 목적 함수가 검색 프로세스 중 변수 값의 변경 횟수를 고려하는 작업이 있습니까?

예 : 변경 비용이 많이 드는 변수가 다른 에이전트를 제어하고있을 수 있으며 해당 에이전트가 변수를 변경하도록하는 데 약간의 오버 헤드가 있습니다. 또 다른 예 : 변수가 제약 조건 중 하나에 참여하고이 제약 조건을 충족시키는 데는 비싼 함수 (예 : 시뮬레이터)를 호출하는 것이 포함됩니다. 예를 들어 는 제약 조건이고 는 비쌉니다. 계산 기능. 따라서 와 y 는 변경 비용이 많이 드는 변수입니다.=에프(엑스,와이)에프엑스와이


1
목적 함수는 CSP의 최종 값에 대해 말하며 검색 프로세스를 인식하지 못합니다. 따라서 표준 제제에서 이러한 변수의 변화는 CSP 모델에 노출되지 않습니다. Choco와 같은 일부 솔버는 검색 프로세스를 안내하기위한 휴리스틱을 제공합니다. 이들 중 일부는 사용자 정의 된 것일 수도 있습니다. 아마도 검색 방법을 바꿀 수있는 곳일 것입니다.
Dave Clarke

1
그러나 왜 목적 함수가 솔루션을 만드는 데 비용이 많이 드는가? 나중에 문제 영역에서 솔루션이 얼마나 유용한 지 비교해 보지 않겠습니까? 아니면 실제 문제의 해결 시간이 일부입니까?
Raphael

1
분산 구속 조건 만족도를 설정하는 것처럼 들리며 휴리스틱을 찾는 것처럼 들립니다.
Dave Clarke

답변:


4

비용에 민감한 (비용 인식, 예산) 최적화 기술 을 원하는 것처럼 들립니다 . 두 가지 값 (예 : 목표 솔루션과 및 에 대한 운영 비용)을 최소화 하는 것은 다중 기준 최적화 문제 이며 해결하기가 매우 어려운 경향이 있습니다. 일반적인 접근 방식은 최대 허용 가능한 비용에 대한 예산을 지정한 다음 과 관련된 목적 함수를 최소화하는 것 입니다. 이 공식은 추가 제약으로 기존 프레임 워크에 잘 어울리는 경향이 있습니다. 물론 비용 함수와 허용 가능한 예산을 의미있는 솔루션을 얻는 방식으로 지정하는 것은 어려울 수 있습니다. 이는 해결하려는 특정 문제에 따라 다릅니다.엑스와이영형에스에스(엑스,와이)이자형

당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.