Loading [MathJax]/jax/output/HTML-CSS/jax.js

المپدیا

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

ابزار کاربر

ابزار سایت


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

امید به آینده

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


ابزار صفحه