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

You are not allowed to perform this action

سوال ۱

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