문제링크:11280번: 2-SAT - 3 (acmicpc.net), 11281번: 2-SAT - 4 (acmicpc.net) 11281번: 2-SAT - 4 첫째 줄에 변수의 개수 N (1 ≤ N ≤ 10,000)과 절의 개수 M (1 ≤ M ≤ 100,000)이 주어진다. 둘째 줄부터 M개의 줄에는 절이 주어진다. 절은 두 정수 i와 j (1 ≤ |i|, |j| ≤ N)로 이루어져 있으며, i와 j가 www.acmicpc.net 이 문제는 2-CNF식을 True로 만들기 위한 xi값들이 가능 한지, 그리고 가능 하다면 xi값들을 정하는 문제이다. 2-CNF식이란 &를 and, |를 or이라고 했을 때 식의 구조가 (x1|x2)&(x4|x3)&(xi|xj) 이렇게 임의의 xi들이 괄호 안에서는 or, 괄..