Xếp đội hình (2-SAT)
Xem dạng PDF📖 Bài giảng & lời giải: đây là Bài tập 8 trong bài giảng Bài 36: TPLT mạnh, khớp, cầu trên blog Lập trình thuật toán – có lý thuyết, mô phỏng từng bước, gợi ý và code C++ / Python.
⚠️ Lưu ý: hãy đảm bảo em đã thật sự cố gắng tự làm bài trước, rồi mới xem gợi ý và lời giải nhé!
🎓 Khóa học Lập trình Thuật toán thi đấu của thầy Nguyễn Việt Nam Sơn – 111 buổi video, kèm cặp cá nhân, luyện thi chuyên Tin · HSG Tin học · Tin học trẻ · đội tuyển quốc gia · Olympic/ICPC. 👉 Xem chi tiết khóa học · Thành tích học viên
📞 Đăng ký học: Zalo 0767 666 702 · Facebook Nguyễn Việt Nam Sơn · 🌐 laptrinhthuattoan.blogspot.com
Có $n$ bạn đánh số từ $1$ tới $n$, mỗi bạn hoặc được chọn hoặc không được chọn vào đội. Có $m$ yêu cầu, mỗi yêu cầu cho hai số nguyên $a, b$ ($1 \le |a|, |b| \le n$). Một số dương $x$ biểu thị điều kiện "bạn $x$ được chọn", một số âm $-x$ biểu thị điều kiện "bạn $x$ không được chọn"; yêu cầu $(a, b)$ đòi hỏi ít nhất một trong hai điều kiện ứng với $a$ và $b$ là đúng ($a$ và $b$ có thể nói về cùng một bạn, thậm chí $a = b$).
Hỏi có cách chọn đội thoả mãn mọi yêu cầu hay không?
Dữ liệu vào
- Dòng 1: hai số nguyên $n, m$ ($1 \le n \le 10^5$, $1 \le m \le 2 \cdot 10^5$).
- $m$ dòng tiếp theo, mỗi dòng gồm hai số nguyên $a, b$ ($1 \le |a|, |b| \le n$).
Kết quả
In YES nếu có cách chọn thoả mãn mọi yêu cầu, ngược lại in NO.
Sample Input
3 4
1 2
-1 2
-2 3
-1 -3
Sample Output
YES
Bình luận