کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10328309 | 683938 | 2005 | 11 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Closure spaces that are not uniquely generated
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله

چکیده انگلیسی
Because antimatroid closure spaces satisfy the anti-exchange axiom, it is easy to show that they are uniquely generated. That is, the minimal set of elements determining a closed set is unique. A prime example is a discrete convex geometry in Euclidean space where closed sets are uniquely generated by their extreme points. But, many of the geometries arising in computer science, e.g. the world wide web or rectilinear VLSI layouts are not uniquely generated. Nevertheless, these closure spaces still illustrate a number of fundamental antimatroid properties which we demonstrate in this paper. In particular, we examine both a pseudo-convexity operator and the Galois closure of formal concept analysis. In the latter case, we show how these principles can be used to automatically convert a formal concept lattice into a system of implications.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Discrete Applied Mathematics - Volume 147, Issue 1, 1 April 2005, Pages 69-79
Journal: Discrete Applied Mathematics - Volume 147, Issue 1, 1 April 2005, Pages 69-79
نویسندگان
Robert E. Jamison, John L. Pfaltz,