- 제약 만족 문제(Constraint Satisfaction Problem; CSP) - 주어진 제약 조건을 만족시키는 해를 찾는 탐색 방법으로, 이 제약 조건을 만족시킨 상태가 CSP의 목적 상태이다. - 제약 조건을 만족시키지 않으면 탐색 범위에서 제외되기 때문에 탐색 공간을 줄일 수 있고, 모든 상태가 제약 조건을 만족시키지 않을 경우, 해가 없음을 미리 알 수 있는 예측적 성격을 갖는다. - 어느 도메인에서든 제약 조건만 변경하면 적용할 수 있으므로, 도메인 독립적이다. - 해를 찾는 과정을 추적(trace)할 수 있다. - 각각의 변수가 가지는 도메인 내에서 문제에 주어진 모든 제약 조건을 만족하는 해를 찾는 문제로 정의 - 구성 요소 domain variable : 상태값이 저장되어 있는 변..
