دانشنامهی المپیاد کامپیوتر ایران
یک SAT-3 با n متغیر و m عبارت داده شده است. میدانیم این SAT-3، e×2n تعداد جواب معتبر دارد. الگوریتم چندجملهای برحسب m و n و 1e ارائه دهید که جوابی معتبر برای این SAT-3 بیابد.