کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
9655186 | 684860 | 2005 | 20 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Computing the minimum DNF representation of Boolean functions defined by intervals
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Computing the minimum DNF representation of Boolean functions defined by intervals Computing the minimum DNF representation of Boolean functions defined by intervals](/preview/png/9655186.png)
چکیده انگلیسی
For any two n-bit numbers a⩽b define the Boolean function f[a,b]:{0,1}nâ{0,1} to be the function for which f[a,b](x)=1 if and only if x is the binary representation of a number in the interval [a,b]. We consider the disjunctive normal form representation of such functions, and show how to compute such a representation with a minimum number of disjuncts in linear time. We also show how to compute a minimum “disjoint” representation; i.e., a representation in which the domains of the disjuncts are mutually disjoint. The minimum disjunctive normal form can be applied to devise efficient constraint satisfaction systems for automatic generation of test patterns.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Discrete Applied Mathematics - Volume 149, Issues 1â3, 1 August 2005, Pages 154-173
Journal: Discrete Applied Mathematics - Volume 149, Issues 1â3, 1 August 2005, Pages 154-173
نویسندگان
Baruch Schieber, Daniel Geist, Ayal Zaks,