المپدیا

دانش‌نامه‌ی المپیاد کامپیوتر ایران

ابزار کاربر

ابزار سایت


سوالات المپیاد:دوره ی تابستان:دوره ی ۱۴:الگوریتم ها:سوال ۳

امید به آینده

یک $SAT$-3 با $n$ متغیر و $m$ عبارت داده شده است. می‌دانیم این $SAT$-3، $e \times 2^n$ تعداد جواب معتبر دارد. الگوریتم چندجمله‌ای برحسب $m$ و $n$ و $\frac{1}{e}$ ارائه دهید که جوابی معتبر برای این $SAT$-3 بیابد.


ابزار صفحه