کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4952378 1364444 2017 19 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Succinctness and tractability of closure operator representations
ترجمه فارسی عنوان
خلاقیت و رضایت از نمایندگی اپراتور بسته
کلمات کلیدی
اپراتورهای بسته شدن، زمینه های رسمی، پیامدهای رضایت، خلاقیت، خواص محاسباتی،
ترجمه چکیده
به طور گسترده ای شناخته شده است که اپراتورهای بسته شدن مجموعه های محدود می توانند با مجموعه ای از مفاهیم (همچنین به عنوان وابستگی های ورودی شناخته می شوند) و همچنین با شرایط رسمی بیان شوند. در این مقاله، ما این دو نوع بازنمود را در نظر می گیریم، و همچنین تعمیم هایی از آنها: مجموعه های پیوندی گسترده و خانواده های متن. ما در مورد مختصر متقابل این چهار نمایندگی و درک دقیق عملیات خاصی که برای مقایسه و تغییر اپراتورهای بسته شدن مورد بحث قرار گرفته است.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش مقاله
خلاقیت و رضایت از نمایندگی اپراتور بسته
چکیده انگلیسی
It is widely known that closure operators on finite sets can be represented by sets of implications (also known as inclusion dependencies) as well as by formal contexts. In this article, we consider these two representation types, as well as generalizations of them: extended implication sets and context families. We discuss the mutual succinctness of these four representations and the tractability of certain operations used to compare and modify closure operators.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 658, Part B, 7 January 2017, Pages 327-345
نویسندگان
,