빨간당무 마을

- Constraint Satisfaction Problem (CSP; 제약 만족 문제) - 사람이 수행하는 systematic적인 search를 효과적으로 할 수 있도록 하며 검색 공간을 줄여주는 방법임 - 문제를 해결하는 제약조건을 이용하여 결과를 검사하고 결과를 만들어 낼 때도 사용됨 - 체계적으로 optimal한 값을 찾으며, trace를 원할 때에는 CSP가 유리함 - 어떤 문제에 대해 제약조건만을 바꿔주면 문제를 해결할 수 있음 (독립적) - 탐색 중 제약조건을 하나라도 어긋나면 탐색을 중지하는 예측적 성향도 있음 - Best First Search (BFS; 최적 우선 탐색) - Stochastic적인 search를 하는 방법임 - Heuristic search의 한 종류로 얼마나 효과적인 ..

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