Nested Satisfiability
دوشنبه, ۲۶ مرداد ۱۳۹۴، ۱۱:۳۶ ب.ظ
مرجع: Selected Papers on Design of Algorithms
این مسئله در زمان چندجملهای قابل حل است و حالتی از SAT است که در آن عبارتها ساختار سلسله مراتبی دارند.
اگر m عبارت با این خاصیت و n متغیر داشته باشیم، حداکثر 2m+n جمله داریم.
این مرجع پیشنهاد یکی از دوستان بود که کامنت خصوصی گذاشته بود.
