Дадеркин, Д.О. (2016) ЭФФЕКТИВНЫЕ АЛГОРИТМЫ ПОСТРОЕНИЯ ТЕРМОВ МИНИМАЛЬНОЙ ВЫЧИСЛИТЕЛЬНОЙ СЛОЖНОСТИ. Вестник ТвГУ. Серия: Прикладная математика (4). С. 21-33. ISSN 1995-0136
![[img]](http://eprints.tversu.ru/style/images/fileicons/application_pdf.png) |
PDF
- Опубликованная версия
399kB |
Абстракт
Рассматривается задача построения термов минимальной вычислительной сложности программой, содержащей только присваивания и конечное число переменных, работающей на свободном однопорожденном группоиде с сигнатурой, состоящей из символа двуместной операции и одного порождающего элемента. Рассматриваются такие термы, что листья соответствующих им полных бинарных деревьев помечены попарно различными подтермами. Приводится эффективный алгоритм такого построения и доказывается, что для любого натурального m можно построить терм высоты h в ℎ −
Абстракт (англ.)
The problem of construction of terms of the minimum computational complexity by the program which contains only assignments and a finite number of variables, and operating on the free one-generated gruppoide with the signature consisting of a binary operation symbol and one generating element is considered. Such terms are considered that leaves of the corresponding full binary trees are labeled by pairwise different subterms. The effective algorithm of such construction is given and it is proved that for any natural m it is possible to construct a term of height h with ℎ −
| Тип объекта: | Статья |
|---|---|
| Сведения об авторах: | 1. Дадеркин Дмитрий Ольгердович доцент кафедры информатики Тверского государственного университета. |
| Ключевые слова: | бинарное дерево, вычислительная сложность, однопорожденный группоид, переменная, присваивание, терм, эффективный алгоритм |
| Ключевые слова (англ.): | binary tree, computational complexity, the one-generated groupoide, variable, assignment, term, effective algorithm |
| Категории: | 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика |
| Подразделения: | Университеты > Тверской государственный университет > Факультеты > ПМиК > Кафедра информатики |
| ID Code: | 7875 |
| Deposited By: | С.Б. Федорова |
| Deposited On: | 05 Сен 2018 09:55 |
| Последнее изменение: | 05 Сен 2018 09:55 |
Repository Staff Only: item control page
