کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6872590 | 684166 | 2012 | 18 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Boolean functions with a simple certificate for CNF complexity
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
⺠We study certain lower bounds for a CNF size (number of clauses) of a Boolean function. ⺠The lower bound is given by the maximum number of disjoint essential sets of implicates. ⺠Boolean functions for which this lower bound is tight are called coverable. ⺠Non-coverable functions exist and the gap may be arbitrarily large. ⺠Complexity of computing the lower bound under different conditions is investigated.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Discrete Applied Mathematics - Volume 160, Issues 4â5, March 2012, Pages 365-382
Journal: Discrete Applied Mathematics - Volume 160, Issues 4â5, March 2012, Pages 365-382
نویسندگان
OndÅej Äepek, Petr KuÄera, Petr Savický,