«constraint-programming» 태그된 질문

어려운 문제가 발생하면 하나의 표준 접근 방식은 SAT 인스턴스로 표현하고 SAT 솔버를 실행하는 것입니다. 또 다른 표준 접근법은이를 제약 조건 만족 문제로 표현하고 CSP 솔버를 사용해보십시오. 이 두 가지는 어떤 종류의 문제가 자연스럽게 입력 형식으로 표현 될 수 있는지에 대해 모호하게 유사하다고 생각합니다. 주어진 문제에 대해 어떤 방법으로 좋은 결과를 …

18 heuristics  sat-solvers  constraint-programming 

인가 "파티 참석" 문제의 유형은 프롤로그에서 해결 가능? 예를 들면 다음과 같습니다. 우엉 뮬둔과 카를로 타 핑크 스톤은 모두 알버스 덤블도어가 오면 올 것이라고 말했다. Albus Dumbledore와 Daisy Dodderidge는 Carlotta Pinkstone이 오면 올 것이라고 말했다. 엘프 리다 클래 그 (Alfrida Clagg)가 오면 알버스 덤블도어 (Albus Dumbledore), 우엉 뮬둔 (Burdock Muldoon), …

18 logic  constraint-programming  prolog  logic-programming 

특정 변수의 값을 변경하는 데 비용이 많이 드는 CSP 모델을 고려하십시오. 목적 함수가 검색 프로세스 중 변수 값의 변경 횟수를 고려하는 작업이 있습니까? 예 : 변경 비용이 많이 드는 변수가 다른 에이전트를 제어하고있을 수 있으며 해당 에이전트가 변수를 변경하도록하는 데 약간의 오버 헤드가 있습니다. 또 다른 예 : 변수가 제약 …

10 algorithms  constraint-programming