2SAT
ورودی
در سطر اول ورودی ابتدا n، تعداد متغیرهای 2SAT و سپس m، تعداد عبارتهای آن آمدهاست.
در m خط بعد در هر خط دوعدد x و y آمده که مشخص میکند متغیر xام و yام با هم or شدهاند. x و y میتوانند منفی هم باشند که به معنی نقیض x و یا نقیض y است.
1≤n,m≤105
خروجی
برنامه شما باید در خروجی YES و یا NO بنویسد که YES یعنی متغیرها را میتوان طوری مقداردهی کرد که کل عبارت true شود و NO یعنی نمیتوان.
محدودیتها
ورودی و خروجی نمونه
ورودی نمونه | خروجی نمونه |
3 4
1 -1
2 -3
3 -2
-2 -3 | YES |
پاسخ
منتظر پر کردن این قسمت توسط علاقمندان هستیم.