DEV/PS
[BOJ/11280] 2-SAT - 3, c++
🔗 링크 https://www.acmicpc.net/problem/11280 11280번: 2-SAT - 3 첫째 줄에 변수의 개수 N (1 ≤ N ≤ 10,000)과 절의 개수 M (1 ≤ M ≤ 100,000)이 주어진다. 둘째 줄부터 M개의 줄에는 절이 주어진다. 절은 두 정수 i와 j (1 ≤ |i|, |j| ≤ N)로 이루어져 있으며, i와 j가 www.acmicpc.net 🤯 한줄 후기 그만 괴롭혀주라 2-SAT 이녀석 🤷 문제 👩💻 풀이 2-SAT 알고리즘 기본 문제 SCC 를 구할 때는 코사라주 알고리즘을 사용하였다. 먼저 k-SAT 이란 Satisfiability Problem 으로 충족 가능성 문제의 한 종류이다. 이는 k개의 변수와 OR 논리식으로 이뤄진 식에서 해당 식이 true ..
