LogoTver State University Repository

О невозможности задания линейного порядка при помощи недетерминированных программ в группоидах специального вида

Попов, И.В. (2008) О невозможности задания линейного порядка при помощи недетерминированных программ в группоидах специального вида. Вестник ТвГУ. Серия: Прикладная математика (3[10]). pp. 25-36. ISSN 1995-0136

[img]
Preview
PDF - Published Version
302kB

Abstract

В работе рассматривается класс группоидов, предложенный в статье М.А. Тайцлина "Пример полиномиального запроса не распознаваемого в недетерминированной логарифмической памяти". Изучается вопрос выразимости линейного порядка на элементах группоидов из данного класса при помощи недетерминированных программ. Показывается, что вопрос о невозможности задания линейного порядка может быть сведен к вопросу об отсутствии решения системы уравнений в заданной четырехэлементной квазигруппе.

Abstract (en)

In this paper we consider a special class of groupoids, which was presented in the article by M.A.Taitslin "Пример полиномиального запроса не распознаваемого в недетерминированной логарифмической памяти". In this paper we study a question of unexpressibility of linear order on the elements of such groupoid using non-determined programs. It is shown, that the question of linear order unexpressibility can be reduced to the question of unsolvability of some equations system in four-element quasi-group.

Item Type:Article
Additional Information:Иван Владимирович Попов, Тверской государственный университет, Россия, 170100, г.Тверь, ул.Желябова, 33, Кафедра информатики.
Uncontrolled Keywords:недетерминированные программы, линейный порядок, линейные программы, квазигруппы
Keywords (en):non-determined programs, Linear order, Linear programs, quasi-groups
Subjects:5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.67 Теория моделей
Divisions:Университеты > TverSU > Faculties > PMK > Кафедра информатики
ID Code:499
Deposited By: И.С. Солдатенко
Deposited On:08 Jan 2017 08:08
Last Modified:08 Jan 2017 08:08

Repository Staff Only: item control page