کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6876106 690219 2015 26 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Formal study of functional orbits in finite domains
ترجمه فارسی عنوان
مطالعه رسمی مدارهای کاربردی در حوزه های محدود
کلمات کلیدی
ترجمه چکیده
این کتابخانه شامل عملیات برای مشاهده، عبور و به روز رسانی مدار - علاوه بر، حذف، جهش، حمل و نقل - با اثبات رفتار آنها. این تمرکز بر روی مورد مهم است که در آن عملکرد درگیر تزریق جزئی است. در این مورد، ارتباط ارتباطی را تعریف می کند و تنوع تعدادی از اجزای متصل را در زمان به روز رسانی ارزیابی می کند.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش مقاله
مطالعه رسمی مدارهای کاربردی در حوزه های محدود
چکیده انگلیسی
The library contains operations to observe, traverse and update orbits - addition, deletion, mutation, transposition - with proofs of their behavior. It focuses on the important case where the involved function is a partial injection. In this case, it defines a connectivity relationship and evaluates the variation of the number of connected components during updates.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 564, 26 January 2015, Pages 63-88
نویسندگان
,