Об алгоритмических свойствах алгебры конечных подмножеств некоторых уноидов

Дудаков, С.М. (2019) Об алгоритмических свойствах алгебры конечных подмножеств некоторых уноидов. Вестник ТвГУ. Серия: Прикладная математика (4). С. 108-116. ISSN 1995-0136

PDF - Опубликованная версия
409kB

Абстракт

В работе показано, что если рассмотреть алгебру из некоторых уноидов в виде «кустов», соединённых в бесконечную линию, и построить алгебру её конечных подмножеств, то полученная система имеет теорию, допускающую эффективную элиминацию кванторов независимо от исходной. Таким образом, показано, что теория алгебры конечных подмножеств может быть существенно проще алгоритмически, чем теория исходной, а операция объединения для алгебр подмножеств является существенной для алгоритмических свойств

Абстракт (англ.)

We consider unoids consisting of identical non-branching trees which are connected into an innite line. We establish that the nite subset algebra admits eective quantier elimination and it does not depend on the original algebra. So, we have an instance where the nite subset algebra theory is algorithmically simpler than the theory of the original one. Also it demonstrates that the union operation for nite subset algebras does matter for algorithmical properties

Тип объекта:	Статья
Сведения об авторах:	Дудаков Сергей Михайлович заведующий кафедрой информатики Тверского госуниверситета. Россия, 170100, г. Тверь, ул. Желябова, д. 33, ТвГУ
Ключевые слова:	уноид, дерево-куст, алгебра подмножеств, элиминация кванторов
Ключевые слова (англ.):	unoid, non-branching tree, subset algebra, quantier elimination
Категории:	5 Математика. Естественные науки > 51 Математика > 512 Алгебра
Подразделения:	Университеты > Тверской государственный университет > Факультеты > ПМиК > Кафедра информатики
ID Code:	9614
Deposited On:	16 Июн 2020 11:24
Последнее изменение:	16 Июн 2020 11:25

Repository Staff Only: item control page