Go, Vantage point
가까운 곳을 걷지 않고 서는 먼 곳을 갈 수 없다.
Github | https://github.com/overnew/
Blog | https://everenew.tistory.com/
티스토리 뷰
반응형
문제
https://www.acmicpc.net/problem/11281
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
풀이
solved.ac 난이도: Platium 3
일단 2-SAT에 대하여 공부하고 문제를 풀어봅시다.
[2-SAT] 2 - Satisfiability Problem / 충족 가능성 문제 (알고스팟 회의실 배정 풀이)
이전 문제에 해당하는 [백준] 2 - SAT - 3(11280) 문제를 먼저 해결하고 옵시다.
이번 문제에서 위의 2-SAT - 3 문제에서 추가적으로 식의 변수들의 가능한 답들을 출력해야 합니다.
따라서 위의 2-SAT 해설에서 진행하였던 각 변수의 답을 정해줍시다.
먼저 방문한 변수는 false로 설정하는 것에 주의하며 풀어줍시다.
+ 이 문제가 스페셜 저지인 이유는 여러가지 답이 가능하기 때문에
예제의 답과 다르다고 해서 틀린것이 아니므로 걱정하지 말고 제출합시다.
코드
반응형
'알고리즘 공부 > 백준' 카테고리의 다른 글
| [백준] No.16915 - 호텔 관리 (C++, 2-SAT) (0) | 2021.04.14 |
|---|---|
| [백준] No.3648 - 아이돌 (C++, 2-SAT) (0) | 2021.04.14 |
| [백준] No.11280 - 2-SAT - 3 (C++, 2-SAT) (0) | 2021.04.13 |
| [백준] No.3997 - 축구 전술 (C++, SCC, 타잔 알고리즘) (0) | 2021.04.08 |
| [백준] No.2150 - Strongly Connected Component (C++, 강결합 컴포넌트, 타잔 알고리즘) (2) | 2021.04.06 |
댓글