امید به آینده

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