백준 11281번

백준 11281번 오늘 풀어본 문제는 백준의 11281번 문제1이다. 문제 풀이에 사용한 언어는 C++ 이다. solved.ac 기준 CLASS 문제 정보 이 문제의 내용과 조건은 다음과 같다. 문제 2-SAT은 N개의 불리언 변수 $(x_1, x_2, …, x_n)$ 가 있을 때, 2-CNF 식을 true로 만들기위해 (x_i)를 어떤 값으로 정해야하는지를 구하는 문제이다. 2-CNF식은 $\left( x \lor y \right) \land \left( \lnot y \lor z \right) \land \left( x \lor \lnot z \right) \land \left( z \lor y \right)$ 와 같은 형태이다. 여기서 괄호로 묶인 식을 절(clause)라고 하는데, 절은 2개의 변수를 $\lor$ 한 것으로 이루어져 있다. $\lor$ 는 OR, $\land$ 는 AND, $\lnot$ 은 NOT을 나타낸다. 변수의 개수 $N$과 절의 개수 $M$, 그...

Submit