کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
426380 | 686047 | 2016 | 22 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Two function algebras defining functions in NCkNCk boolean circuits
ترجمه فارسی عنوان
دو جبری تابع با تعریف توابع در مدارهای بولی NCkNCk
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
مدارهای بولی؛ NCkNCk؛ کلاس محاسبات موازی؛ مبدل
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
We describe the functions computed by boolean circuits in NCkNCk by means of functions algebra for k≥1k≥1 in the spirit of implicit computational complexity. The whole hierarchy defines NCNC. In other words, we give a recursion-theoretic characterization of the complexity classes NCkNCk for k≥1k≥1 without reference to a machine model, nor explicit bounds in the recursion schema. Actually, we give two equivalent descriptions of the classes NCkNCk, k≥1k≥1. One is based on a tree structure à la Leivant, the other is based on words. This latter puts into light the role of computation of pointers in circuit complexity. We show that transducers are a key concept for pointer evaluation.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information and Computation - Volume 248, June 2016, Pages 82–103
Journal: Information and Computation - Volume 248, June 2016, Pages 82–103
نویسندگان
Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem,