2
만족할 수없는 3-CNF 공식의 예는 무엇입니까?
나는 SAT / 3CNF-SAT를 중심으로 회전하는 NP- 완전성 증거로 머리를 감싸려고합니다. 아마 늦은 시간 일 수도 있지만 만족할 수없는 3CNF 공식을 생각할 수 없습니다 (아마도 분명한 것이 빠져있을 것입니다). 그런 공식에 대한 예를 들어 주시겠습니까?
컴퓨터 과학의 학생, 연구원 및 실무자를위한 Q & A