[BOJ] 3648번: Idol

https://www.acmicpc.net/problem/3648

심판이 제시한 두 조건 중 어느 하나는 만족을 해야하므로 2-SAT 문제로 변환이 가능함을 알 수 있습니다. 이 때 첫 번째 사람의 결과가 True여야한다는 조건은 not 1 -> 1 경로를 하나 만들어 둠으로서 강제할 수 있습니다.

https://github.com/blisstoner/BOJ/blob/master/3648.cpp