oVeron

https://www.acmicpc.net/problem/3648 3648번: 아이돌 각 테스트 케이스에 대해서, 상근이를 포함해, 다음 라운드 진출 목록을 심사위원의 의심 없이 만들 수 있으면 'yes'를, 없으면 'no'를 출력한다. www.acmicpc.net 2-SAT + (x1 V x1) 이 명제를 추가하면 x1은 무조건 참이 되기에, 상근이는 진출할 수 있다. #include #include #include #include #include #include #include #include #include #include #include using namespace std; typedef long long ll; typedef pair pii; typedef pair pll; int N, M; v..

알고리즘/baekjoon 2023. 3. 6. 09:18