그랬었습니다

제약조건 만족 문제(constraint satisfaction problem) 주어진 제약조건을 만족하는 조합 해(combinatorial solution)를 찾는 문제 ex) N Queen problem 탐색 기반의 해결 방법 backtracking search(백트래킹 탐색) DFS를 하는 것처럼 변수에 허용되는 값을 하나씩 대입 모든 가능한 값을 대입해서 해가 없으면 이전 단계로 돌아가서 이전 단계의 변수에 다른 값을 대입 constraint propagation(제약조건 전파) 인접 변수 간의 제약 조건에 따라 각 변수에 허용될 수 없는 값들을 제거하는 방식 최적화(optimization) 여러 가지 허용되는 값들 중에서 주어진 기준을 가장 잘 만족하는 것을 선택하는 것 목적 함수(objectiv..