LogoTver State University Repository

ЭФФЕКТИВНЫЕ АЛГОРИТМЫ ПОСТРОЕНИЯ ТЕРМОВ МИНИМАЛЬНОЙ ВЫЧИСЛИТЕЛЬНОЙ СЛОЖНОСТИ

Дадеркин, Д.О. (2016) ЭФФЕКТИВНЫЕ АЛГОРИТМЫ ПОСТРОЕНИЯ ТЕРМОВ МИНИМАЛЬНОЙ ВЫЧИСЛИТЕЛЬНОЙ СЛОЖНОСТИ. Вестник ТвГУ. Серия: Прикладная математика (4). pp. 21-33. ISSN 1995-0136

[img] PDF - Published Version
399kB

Abstract

Рассматривается задача построения термов минимальной вычислительной сложности программой, содержащей только присваивания и конечное число переменных, работающей на свободном однопорожденном группоиде с сигнатурой, состоящей из символа двуместной операции и одного порождающего элемента. Рассматриваются такие термы, что листья соответствующих им полных бинарных деревьев помечены попарно различными подтермами. Приводится эффективный алгоритм такого построения и доказывается, что для любого натурального m можно построить терм высоты h в ℎ −

Abstract (en)

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 ℎ −

Item Type:Article
Additional Information:1. Дадеркин Дмитрий Ольгердович доцент кафедры информатики Тверского государственного университета.
Uncontrolled Keywords:бинарное дерево, вычислительная сложность, однопорожденный группоид, переменная, присваивание, терм, эффективный алгоритм
Keywords (en):binary tree, computational complexity, the one-generated groupoide, variable, assignment, term, effective algorithm
Subjects:5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика
Divisions:Университеты > TverSU > Faculties > PMK > Кафедра информатики
ID Code:7875
Deposited By: С.Б. Федорова
Deposited On:05 Sep 2018 09:55
Last Modified:05 Sep 2018 09:55

Repository Staff Only: item control page