2 - SAT 문제 (백서)

불 방정식 을 지정 하여 불 변수의 진가 할당 이 전체 방정식 을 진짜 문제 로 만 들 었 는 지 판단 하고 불 방정식 의 만족 성 문제 (SAT) 라 고 불 린 다.SAT 문 제 는 NP 가 완전 하지만 일정한 제한 조건 을 충족 하 는 SAT 문제 에 대해 서 는 효과적으로 풀 수 있다. 범례 를 합 친 각 자구 의 문자 개수 가 두 개 를 넘 지 않 는 다 면 대응 하 는 SAT 문 제...

1.2.6도 론 2 - SAT 문제