محل شما: المپیاد کامپیوتر » سوال‌های المپیاد » آزمون‌‌های دوره‌ی تابستان » دوره‌ی ۲۳ » آزمون الگوریتم - تابستان ۹۲ » سوال ۱

Action disabled: resendpwd

سوال ۱

الگوریتم ۲-SAT را به صورت مختصر توضیح داده و اثبات کنید.