kks227   6년 전

정식 솔루션을 찾아보면 "3-SAT 문제이지만 크기가 충분히 작아서 완전탐색으로 해결 가능하다"는 서술이 되어 있습니다.

문제 분류의 "2-SAT"은 잘못된 분류 같습니다. "백트래킹"만 남겨두시면 될 것으로 보입니다.

감사합니다.

댓글을 작성하려면 로그인해야 합니다.