제약 충족 문제

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

제약 충족 문제(Constraint satisfaction problem, CSP)는 복수의 제약 조건을 충족하는 상태를 찾아내는 수학 문제를 가리킨다. CSP는 특히 인공지능이나 운용 과학 분야에서 심도 있게 연구되고 있다. 보통 CSP는 고도의 복잡성을 보이기 때문에 적정한 시간 내에 문제를 풀기 위해서는 휴리스틱조합 최적화 기법을 조합할 필요가 있다.

제약 충족 문제의 구체적인 예:

제약 충족 문제를 푸는 알고리즘AC-3 알고리즘, 백트랙킹, 제약 위반 최소화 등이 있다.

같이 보기[편집]

참고 문헌[편집]

바깥 고리[편집]