kks227   6년 전

아무리 봐도 전형적인 3-SAT인데 분류에 2-SAT이 있어서 질문드립니다.

2-SAT으로 풀 수 있는 방법이 존재하나요?

jh05013   6년 전

공식 홈페이지를 가 봐도 "3-SAT이다" 정도로 적혀 있네요. 분류가 잘못된 것 같습니다.

kks227   6년 전

아무래도 그런 것 같습니다. 정식 솔루션도 그냥 브루트포스(백트래킹)이니... 분류 관련 요청을 드려야 할 듯 싶습니다.

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