sat
-
백준 11281(2-SAT_4) C++백준 문제 2022. 2. 9. 20:40
문제 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 이전에 있던 문제 에서 주어진 변수 n개를 각각 true인지 false인지 출력해주는 문제입니다. 변수가 true 이면 1을 출력하고, false이면 0을 출력합니다. 나머지 코드들은 모두 동일하므로 추가된 코드를 설명하겠습니다. reverse(SCC.begin(), SCC.end()); scc의 벡터를 뒤집습니다. 왜냐하면 위상정렬로 정렬해주어야 하기 때문입니다. 타잔 알고리즘 특성상 scc의..