CC BY
14
УДК 519.7
О ЗАДАЧЕ АБСТРАКТНОЙ ХАРАКТЕРИЗАЦИИ УНИВЕРСАЛЬНЫХ ГИПЕРГРАФИЧЕСКИХ АВТОМАТОВ
В. А. Молчанов1, Е. В. Хворостухина2
1 Молчанов Владимир Александрович, доктор физико-математических наук, профессор кафедры теоретических основ компьютерной безопасности и криптографии, Саратовский национальный исследовательский государственный университет имени Н. Г. Чернышевского, 410012, Россия, Саратов, Астраханская, 83, [email protected]
2Хворостухина Екатерина Владимировна, кандидат физико-математических наук, доцент кафедры информационно-коммуникационных систем и программной инженерии, Саратовский государственный технический университет имени Гагарина Ю. А., 410054, Россия, Саратов, Политехническая, 77, [email protected]
Гиперграфическими автоматами называются автоматы, у которых множества состояний и выходных символов наделены структурами гиперграфов, сохраняющимися функциями переходов и выходными функциями. Универсальные притягивающие объекты в категории таких автоматов представляются автоматами Atm (H1, H2) с гиперграфом состояний H1, гиперграфом выходных символов H2 и полугруппой входных символов S = End H1 х Hom (H1, H2), которые называются универсальными гиперграфическими автоматами. Для такого автомата Atm (H1, H2) полугруппа входных символов S является производной алгеброй отображений, свойства которой взаимосвязаны со свойствами алгебраической структуры данного автомата. Это позволяет изучать универсальные гиперграфические автоматы с помощью исследования их полугрупп входных символов. В настоящей работе исследуется проблема абстрактной характеризации универсальных гиперграфических автоматов, суть которой заключается в нахождении условий изоморфности произвольного автомата некоторому универсальному гиперграфическому автомату. Основной результат работы дает решение этой задачи для универсальных гиперграфических автоматов над эффективными гиперграфами с p-определимыми ребрами. Это достаточно широкий и весьма важный класс автоматов, так как он содержит, в частности, автоматы, у которых гиперграфы состояний и выходных символов являются плоскостями (например, проективными или аффинными) или разбиениями на классы нетривиальных эквивалентностей. Для решения основной задачи работы показано, что алгебраическая структура эффективных гиперграфов с p-определимыми ребрами полностью определяется отношением (p + 1)-ограниченности его вершин и для универсальных гиперграфических автоматов над такими гиперграфами алгебраическая структура гиперграфов состояний и выходных символов полностью определяется каноническими отношениями полугруппы входных символов таких автоматов.
Ключевые слова: автомат, гиперграф, полугруппа, абстрактная характеризация. DOI: 10.18500/1816-9791-2017-17-2-148-159
ВВЕДЕНИЕ
В последние 30 лет проявился заметный интерес к исследованию автоматов, у которых системы состояний и выходных символов являются объектами некоторой ка-
тегории К (см., например, обзор в [1]). В категории таких автоматов для любых объектов К1, К2 £ К существует универсальный притягивающий объект АШ(КЬК2), который называется универсальным автоматом над объектами К1}К2 категории К. Ввиду проблемы С. Улама [2] об определимости математических структур их эндоморфизмами и результатов Б. Йонсона (Лопббоп) [3] об абстрактной характеризации алгебр отношений представляет интерес изучение следующей проблемы абстрактной характеризации таких универсальных автоматов над категорией К : найти условия, при которых абстрактный автомат А = (X, У, Л) будет изоморфен универсальному автомату АШ(К1 ,К2) над некоторыми объектами К1, К2 категории К. В настоящей работе приводится решение данной задачи для категории И§г эффективных гиперграфов с р-определимыми ребрами, которая охватывает, в частности, проективные плоскости, множества с нетривиальными разбиениями и многие другие гиперграфы.
Результаты работы докладывались на Международной научной конференции «Компьютерные науки и информационные технологии» в Саратовском университете (Саратов, 2016) [4].
1. ОСНОВНЫЕ ПОНЯТИЯ
Пусть X, У — непустые множества. Всюду определенное однозначное бинарное отношение ^ с X х У называется отображением множества X в множество У и обозначается символом ^ : X ^ У. Через Дх обозначим тождественное отображение множества X в себя.
Обозначим через Т(X) множество всех преобразований X, через ^(X, У) — множество всех отображений X в У и 5(X, У) = Т(X) х ^(X, У) — декартово произведение множеств Т(X), ^(X, У). Элементами множества 5(X, У) являются упорядоченные пары (/1,/2) отображений /1 : X ^ X, /2 : X ^ У, которые могут рассматриваться как вектор-функции f : X ^ X х У, определяющиеся по формуле /(ж) = (Л(ж),/г(ж)) для ж £ X. Отображения /,/2 называются первой и второй компонентами вектор-функции / соответственно. Таким образом, вектор-функции могут отождествляться с упорядоченными парами их компонент.
Как известно [1], на множестве 5(X, У) для вектор-функций д £ 5(X, У) определяется ассоциативное умножение по правилу / • д = (/1 ,/2) • (д15д2) = (/1 д1,/1 д2). Множество 5(X, У) с такой операцией умножения называется симметрической полугруппой вектор-функций на X со значениями в X х У. Подполугруппы такой симметрической полугруппы называются полугруппами вектор-функций на X со значениями в X х У.
Согласно [5] гиперграфом называется алгебраическая система вида Н = (X, Ь), где X — непустое множество вершин гиперграфа и Ь — семейство некоторых подмножеств множества X, называемых ребрами гиперграфа. Множество вершин гиперграфа называется ограниченным, если оно содержится в некотором его ребре, и неограниченным, в противном случае. Вершины гиперграфа, принадлежащие некоторому его ребру, называются смежными. Гиперграф Н = (X, Ь) называется эффективным, если любая его вершина принадлежит некоторому ребру этого гиперграфа.
Пусть р — некоторое натуральное число. Гиперграф Н будем называть гиперграфом с р-определимыми ребрами, если в каждом ребре этого гиперграфа найдется по крайней мере р + 1 вершина и, с другой стороны, любые р вершин этого гиперграфа содержатся не более чем в одном ребре.
Например, если рассматривать плоскости [6] как гиперграфы, вершинами которых являются точки, а ребрами — прямые этих плоскостей, то любая проективная плоскость и любая аффинная плоскость с числом точек более четырех являются эффективными гиперграфами с 2-определимыми ребрами. Кроме того, эффективными гиперграфами с р-определимыми ребрами являются исследуемые в работе [7] слабые р-гиперграфы. Наконец, эффективными гиперграфами с р-определимыми ребрами являются гиперграфы, ребра которых образуют разбиения множества вершин на классы, содержащие более р вершин.
Помимо этих известных примеров, для любого натурального числа р имеется множество других нетривиальных эффективных гиперграфов с р-определимыми ребрами.
Пример. Для любого натурального числа р гиперграф Н = (X, Ь) с множеством вершин X = {жо,Ж1,... ,Жр,Жр+1 , жр+2} и множеством ребер Ь = |{ж0, Ж1,Ж2, . . . ,Жр}, {Ж2, . . . Жр+2}} является эффективным гиперграфом с р-
определимыми ребрами (рисунок).
Эффективный гиперграф с р-определимыми ребрами H An effective hypergraph with p-definable edges H
Пусть H = (X, L), H1 = (X1 ,L1) — произвольные гиперграфы. Гомоморфизмом гиперграфа H = (X, L) в гиперграф H1 = (X1 ,L1) называется отображение ^ множества X в множество X1, которое смежные в гиперграфе H вершины переводит в смежные вершины гиперграфа H1, т.е. выполняется свойство
(V l е L)(3 l' е L1 )(p(l) с l').
Заметим, что для ребра l е L1 всякое отображение ^ : X ^ l является гомоморфизмом гиперграфа H в гиперграф H1.
Множество всех гомоморфизмов гиперграфа H в гиперграф H1 обозначим Hom (H, H1).
Гомоморфизм гиперграфов f : H ^ H называется изоморфизмом гиперграфа H на гиперграф H1, если f — взаимно однозначное отображение множества X на множество X1 и обратное отображение f-1 является гомоморфизмом гиперграфа H1 на гиперграф H, т. е. выполняется условие
(V Y С X)(Y е L ^ f (Y) е L1).
Если существует изоморфизм f : H ^ H1, то гиперграфы H и H1 называются изоморфными и записывают H = H1. Гомоморфизм гиперграфа H = (X, L) в себя называется эндоморфизмом гиперграфа H. Множество всех эндоморфизмов гиперграфа H с операцией композиции образует полугруппу End H.
Для гиперграфов HX = (X, LY),HY = (Y, LY) через S(HX, HY) обозначим полугруппу End HX x Hom (HX, HY) с определенной выше операцией умножения вектор-функций по правилу [1]: • ) = ) для пар ) е End HX x Hom (HX, HY).
Следуя [1], под автоматом будем понимать алгебраическую систему A = (X, S, Y, 6, Л), состоящую из множества состояний X, полугруппы входных символов S, множества выходных символов Y, функции переходов 6 : X x S ^ X и выходной функции Л : X x S ^ Y таких, что для любых x е X и s, t е S выполняются условия
6(x,st) = 6(6(x,s),t), Л(х, st) = Л(6(х, s),t). (1)
Для любого s G S определим отображения 6s : X ^ X, Л8 : X ^ Y и вектор-функцию fs = (6s^s) по формулам 6s (x) = 6(x,s)^s (x) = Л(х, s), где x е X .По определению автомата последовательное действие входных сигналов s,t е S в силу свойства (1) удовлетворяет следующим условиям:
(fsft)(x) = ft(fs(x)) = (6(6(x, s),t), Л(6(x,s),t)) = (6(x, st), Л(x, st)) = fst(x).
Это означает, что соответствие s 1—> fs (s е S) является гомоморфизмом полугруппы S в симметрическую полугруппу вектор-функций S(X, Y).
Автомат A = (X, S, Y, 6, Л) называется автоматом без равнодействующих входных символов, если для произвольных s,t е S, таких, что s = t, выполняется условие fs = ft .В этом случае соответствие s 1—> fs (s е S) является мономорфизмом полугруппы S в симметрическую полугруппу S(X, Y), и действие каждого входного символа s е S полностью определяется действием пары отображений (6s,ЛД т.е. входной символ s можно отождествить с вектор-функцией fs = (6s ) и саму полугруппу входных символов S можно рассматривать как полугруппу вектор-функций на X со значениями в X x Y.
В то же время любая полугруппа S вектор-функций на X со значениями в X x Y может рассматриваться как полугруппа входных символов автомата A = (X, S, Y, 6', Л') с множеством состояний X, множеством выходных символов Y, функцией переходов 6' : X x S ^ X и выходной функцией Л' : X x S ^ Y, значения которых для состояний x е X и вектор-функций f = (f1 ,f2) из S определяются по формулам:
6' (x,f ) = f1(x), Л' (x,f ) = f2 (x). (2)
Изоморфизмом автомата А = (X, У, 5, Л) на автомат А1 = (Х1,51,У1,^1 ,Л1) называется упорядоченная тройка 7 = (/, п,д) биекций / : X ^ Х15п : 5 ^ и д : У ^ У1, сохраняющих алгебраическую структуру таких автоматов, т.е. п является изоморфизмом полугруппы 5 на полугруппу 51, и для любых значений е 5, ж е X выполняются условия п(в • £) = п(в) • п(£), /(5(ж, в)) = 51 (/(ж),п(в)) и д(Л(ж,в)) = Лх(/(ж),п(в)).
Автомат А = (X, 5, У, 5, Л) будем называть гиперграфическим автоматом, если множество состояний X и множество выходных символов У наделены такими структурами гиперграфов Нх = (X, Ьх) и Ну = (У, Ьу), что при каждом фиксированном входном сигнале в е 5 преобразование 58 : X ^ X является эндоморфизмом гиперграфа Нх и отображение Л8 : X ^ У — гомоморфизмом гиперграфа Нх в гиперграф Ну. Такие автоматы будем также обозначать А = (Нх,5, Ну,5, Л).
Гомоморфизмом гиперграфического автомата А = (Нх ,5, Ну,5, Л) в гиперграфический автомат А1 = (Нх1,51 ,НУ1 , 51 ,Л1) называется упорядоченная тройка 7 = (/, п,д) отображений / : X ^ X1 ,п : 5 ^ и д : У ^ У1, сохраняющих алгебраическую структуру таких автоматов, т. е. / является гомоморфизмом гиперграфа Нх в гиперграф Нх1, п — гомоморфизмом полугруппы 5 в полугруппу , д — гомоморфизмом гиперграфа Ну в гиперграф НУ1 и для любых значений ж е X, в е 5 выполняются условия /(¿(ж, в)) = ^1(/(ж),п(в)), д(Л(ж, в)) = = Л1 (/(ж),п (в)).
Важный пример гиперграфического автомата дает алгебраическая система А^ (Нх, Ну) = (Нх, 5(Нх, Ну), Ну, 5', Л'), где Нх = (X, Ьх), Ну = (У, Ьу) — некоторые гиперграфы, и для любых состояний ж е X и вектор-функций / = (/1,/2) из 5(Нх,Ну) значения функции переходов 5'(ж,/) и функции выходов Л'(ж, /) определяются по формулам (2). Легко проверить, что АШ(Нх,Ну) удовлетворяет следующему универсальному свойству: для любого гиперграфического автомата А = (Нх ,5, Ну ,5, Л) существует такой гомоморфизм п : 5 ^ 5(Нх ,Ну), что упорядоченная тройка 7 = (Дх, п, Ду) является гомоморфизмом А в АШ(Нх, Ну). По этой причине такой гиперграфический автомат АШ(Нх ,Ну) называется универсальным гиперграфическим автоматом над гиперграфами Нх ,Ну.
2. АБСТРАКТНАЯ ХАРАКТЕРИЗАЦИЯ УНИВЕРСАЛЬНЫХ ГИПЕРГРАФИЧЕСКИХ АВТОМАТОВ
В работе исследуется проблема абстрактной характеризации универсальных гиперграфических автоматов, которая формулируется следующим образом: при каких условиях абстрактный автомат А = (X, 5, У, 5, Л) будет изоморфен универсальному автомату АШ(Н1 ,Н2) над некоторыми гиперграфами Н1 ,Н2?
Для решения этой задачи понадобятся следующие понятия из работы [8].
Пусть X — произвольное непустое множество, р — натуральное число и Я — (р + 1)-арное отношение на множестве X. Согласно [8] отношение Я называется р-эквивалентностью на множестве X, если оно удовлетворяет следующим условиям: (Т1) (ж,..., ж, ж) е Я для любого ж е X;
(Тг) для любых 1 < г1, • • • , гр, гр+1 < р + 1,
(ж1, • • •, жр, жр+1) £ К V (ж«1, • • •, ж,1р, жгр+1) £ К;
(Т3) для любых попарно различных элементов ж1, • • •, жр-1, жр £ X,
(ж, ж 1, • • •, жр—1, жр), (ж 1, • • •, жр—1, жр, у) ^Е И = (ж, ж 1, • • •, жр—1, у) ^Е И•
При этом р-эквивалентность К называется квазиполной, если выполняется условие
(Т4) для любых элементов ж1, • • •, жр £ X, удовлетворяющих условию (ж1, • • •, жр, жр) £ К, найдется такой, отличный от всех них, элемент ж £ X, что (ж1, • • •, жр, ж) £ К. Пусть X — произвольное непустое множество и К — некоторое п-арное отношение на этом множестве. Тогда множество У с X называется К-связным, если Уп с К.
Легко видеть, что множество Мд всех К-связных множеств так упорядочено отношением теоретико-множественного включения, что выполняются следующие усло-
1) любая цепь упорядоченного множества Мд имеет максимальный элемент;
2) любое К-связное множество включается в некоторое максимальное К-связное множество.
Для произвольного гиперграфа Н = (X, Ь) определим на множестве X отношение Вр(Н) (р + 1)-ограниченности вершин по следующей формуле:
Вр(Н) = {(ж1, • • •, жр, жр+1) £ Xp+1 : ж1, • • •, жр, жр+1 £ I для некоторого I £ Ь}
По аналогии с леммами 3.3, 3.5 из работы [8] получаем следующие результаты.
Лемма 1. Пусть Н = (X, Ь) — произвольный эффективный гиперграф с р-определимыми ребрами и Вр = Вр(Н) — отношение (р + 1)-ограниченности его вершин. Тогда отношение Вр является квазиполной р-эквивалентностью на множестве X.
Предложение 1. Пусть X — произвольное непустое множество, р — некоторое натуральное число и К — квазиполная р-эквивалентность на множестве X. Тогда для множества всех максимальных К-связных множеств Мд алгебраическая система Н = (X, Мд) является эффективным гиперграфом с р-определимыми ребрами, для отношения Вр(Н) (р + 1)-ограниченности вершин которого выполняется равенство Вр(Н) = К.
Для автомата А = (X, У, Л) на множествах X, У определим канонические (р + 1)-арные отношения Кх, Ку по следующим формулам: упорядоченный набор (а1 , а^^а^) £ Xp+1 (соответственно (а1, а2, •••,ар+1) £ Ур+1) в том и только том случае принадлежит отношению Кх (соответственно отношению Ку), если для любых различных элементов ж1 , ж^^ж^ £ X найдется такой символ й £ 5, что для каждого г = 1,р +1 выполняется равенство ^(ж^з) = а^ (соответственно Л(ж* ,Й) = а,ь).
Лемма 2. Для любого автомата А = (X, 5, У, 5, Л) канонические отношения Ях, Яу обладают следующим свойством: 5р+1(Ях) с Ях, Лр+1 (Ях) с Яу для любого символа в е
Доказательство. Пусть (а1,а2,..., ар+1) е Ях и для некоторого символа в е 5 выполняются равенства 5в(а,) = 6, (соответственно Л8 (а,) = с) при всех г = 1, р + 1. Тогда для любых различных элементов ж1 ,ж2,... , жр+1 е X найдется такой входной символ £ е 5, что для каждого г = 1,р + 1 выполняется равенство 5^(ж,) = а. Так как для каждого г = 1,р + 1 выполняются равенства 5^(ж,) = 58(5^(ж,)) = 5Да,) = 6, (соответственно Л^(ж,) = ЛД5г(ж,)) = Л8(а,) = с,), то по определению Ях и Яу получаем, что (61,62, ...,6р+1) е Ях, (с1 , с2,...,ср+1) е Яу, т.е. 5р+1(Ях) с Ях, ЛР+1 (Ях) с Яу. □
Лемма 3. Для любых эффективных гиперграфов с р-определимыми ребрами Нх = (X, Ьх),Ну = (У, Ьу) канонические отношения Ях, Яу универсального гиперграфического автомата Atm(HX ,Ну) обладают следующими свойствами:
1) Ях = Вр(Нх) Яу = Вр(Ну);
2) отображение ф : X ^ У в том и только том случае будет гомоморфизмом гиперграфа Нх в гиперграф Ну, если выполняется фр+1 (Ях) с Яу.
Доказательство. По определению отношения (р + 1)-ограниченности вершин Вр для любых точек ж1, ж2,..., жр+1 е X условие (ж1, ж2,..., жр+1) е Вр(Н) выполняется тогда и только тогда, когда вершины ж1, ж2,..., жр+1 смежны, т. е. принадлежат некоторому ребру I е Ьх. В этом случае любое отображение ^ : X ^ I является эндоморфизмом гиперграфа Нх и по определению канонических отношений выполняется условие (ж1 ,ж2, ...,жр+1) е Ях. Значит, имеет место: Вр (Нх) с Ях. Аналогичным образом доказывается, что Вр(Ну) с Яу. Поскольку Нх — эффективный гиперграф с р-определимыми ребрами, то найдутся такие вершины , 22, ...,2р+1 е X, принадлежащие некоторому ребру г е Ьх, что 2 = ^ для всех 1 < г = ^ < р +1. Для любых элементов ж1, ж2,..., жр+1 е X условие (ж1, ж2,..., жр+1) е Ях означает, что найдется такой входной символ в е 5, что для всех г = 1, р +1 выполняется ) = ж,. Так как 21,22,..., 2р+1 — смежные вершины, то вершины ж1, ж2,..., жр+1 также смежны и, следовательно, (ж1, ж2,..., жр+1) е Вр(Нх). Таким образом, выполняется Ях с Вр(Нх), а значит, Ях = Вр(Нх).
В то же время для любых элементов у1, у2,..., ур+1 е У условие (у1, у2,..., ур+1) е е Яу означает, что найдется такой входной символ в е 5, что для всех г = 1, р + 1 выполняется Л8(2) = у. Следовательно, вершины у1, у2, ...,ур+1 должны лежать в одном ребре гиперграфа Ну, а значит, (у1 ,у2,... ,ур+1) е Вр(Ну). Таким образом, Яу с Вр(Ну) и выполняется Яу = Вр(Ну). Это доказывает пункт 1) леммы.
Пусть ф : X ^ У — гомоморфизм гиперграфа Нх в гиперграф Ну и (ж1 ,ж2,..., жр+1) е Ях. Тогда в силу уже доказанного пункта 1) данной леммы имеет место (ж1,ж2,... ,жр+1) е Вр(Нх). Это условие выполняется тогда и только тогда, когда вершины ж1,ж2,... ,жр+1 принадлежат некоторому ребру I е Ьх. Поскольку ф — гомоморфизм гиперграфа Нх в гиперграф Ну, то в гиперграфе Ну найдется ребро
г £ Ьу такое, что ф(I) с г. Значит, ф(ж^,ф(ж2^•••,ф(жр+1) £ г и, следовательно, (^(ж1 ),ф(ж2^•••,ф(жр+1)) £ Вр(Ну). В силу пункта 1) этой леммы имеет место (ф(ж1),ф(жг), • • •, ф(жр+1)) £ Ку, т.е. фр+1(Кх) с Ку.
Обратно, пусть отображение ф : X ^ У удовлетворяет условию фр+1(Кх) с Ку. Рассмотрим произвольное ребро I £ Ьх в силу р-определимости ребер гиперграфа Нх найдутся попарно различные вершины ж1 ,ж2, •••,жр+1, принадлежащие I. По определению отношения Вр получаем (ж1,ж2, •••,жр+1) £ Вр (Н), а в силу пункта 1) данной леммы имеем (ж1,ж2, • • • ,жр+1) £ Кх. Тогда из условия фр+1(Кх) с Ку получаем, что (ф(ж1 ),ф(ж2),•••,ф(жp+1)) £ Ку. Из пункта 1) данной леммы следует, что (ф(ж1 ),ф(ж2),•••,ф(жp+1)) £ Вр(Ну). А это означает, что вершины ф(ж1 ),ф(ж2),•••,ф(жp+1) смежные, т.е. принадлежат некоторому ребру г £ Ьу гиперграфа Ну. Следовательно, ф(1) с г. Таким образом, отображение ф является гомоморфизмом гиперграфа Нх в гиперграф Ну. □
Теорема 1. Автомат А = (X, 5, У, ¿, Л) в том а только том случае будет изоморфен универсальному гиперграфическому автомату АШ(Н1 ,Н2) над некоторыми эффективными гиперграфами с р-определимыми ребрами Н1 и Н2, если выполняются следующие условия:
1) для различных £ 5 найдется такой элемент ж £ X, что либо ¿(ж, й) = = ¿(ж, £), либо Л(ж, й) = Л(ж, £);
2) канонические отношения Кх и Ку автомата А являются квазиполными р-эквивалентностями соответственно на множествах X и У;
5) если для отображений /1 : X ^ X, /2 : X ^ У при любых значениях ж1, ж2, • • •, жр+1 £ X, удовлетворяющих условию (ж1, ж2, • • •, жр+1) £ Кх, существуют такие символы £ 5, что /1(ж,) = ¿(ж,, й) и /2(ж,) = Л(ж,, £) для всех г = 1,р + 1, то найдется такой символ а £ 5, что /1(ж) = ¿(ж, а) и /2 (ж) = Л (ж, а) для всех ж £ X.
Доказательство. Пусть А = АШ(НХ , Ну) для некоторых эффективных гиперграфов с р-определимыми ребрами Нх = (X, Ьх) и Ну = (У, Ьу). Покажем, что для такого автомата выполняются условия 1)-3).
Пусть / = (/1 ,/2), д = (д1,д2) — вектор-функции из полугруппы входных сигналов 5 = 5(Нх, Ну), удовлетворяющие условию / = д. Тогда либо /1 = д1, либо /2 = д2. Значит, либо для некоторого ж £ X выполняется /1 (ж) = д1(ж) и в силу ¿'(ж,/) = /1 (ж)^'(ж,д) = д1(ж) получаем ¿'(ж,/) = ¿'(ж,д), либо для некоторого ж £ X выполняется /2(ж) = д2(ж) и в силу Л'(ж,/) = /2(ж), Л'(ж,д) = д2(ж) получаем Л'(ж,/) = Л'(ж,д). Следовательно, для автомата А = АШ(НХ, Ну) выполняется условие 1).
Согласно лемме 1 для универсального гиперграфического автомата АШ(Н1 ,Н2) выполняются равенства: Кх = Вр(Нх), Ку = Вр(Ну). Так как отношения Вр(Нх),Вр(Ну) удовлетворяют условиям 1)-4) леммы 1, то для канонических отношений Кх,Ку выполняются условия (Т1) — (Т4). Значит, Кх, Ку являются квазиполными р-эквивалентностями на множествах X, У соответственно, т. е. для автомата А = А^ (Нх, Ну) выполняется условие 2).
Пусть для отображений /1 : X ^ X, /2 : X ^ У при любых значениях ж1 ,ж2 ,...,жр+1 е X, удовлетворяющих условию (ж1, ж2,..., жр+1) е Ях, существуют такие символы е 5, что /1 (ж,) = 5'(ж,, в) и /2(ж,) = Л'(ж,,£) для всех г = 1,р +1. По лемме 2 5*р+1 (Ях) с Ях, Л^р+1(Ях) с Яу. Тогда (/1(Ж1 ),/1(Ж2 ),...,/1 (Жр+1)) е Ях, (/2(Ж1 ),/2 (Ж2 ),..., /2(Жр+1)) е Яу. Значит, /р+1 (Ях) с Ях,/2+1 (Ях) с Яу. В силу леммы 3 отображение /1 является эндоморфизмом гиперграфа Нх, а отображение /2 является гомоморфизмом гипергафа Нх в гиперграф Ну. Тогда из определения автомата А = А^(Нх,Ну) получаем, что вектор-функция а = (/1 ,/2) принадлежит полугруппе входных сигналов 5, при этом по формулам (2) выполняется /1 (ж) = 5'(ж, а) и /2(ж) = Л'(ж, а) для всех ж е X. Таким образом, для автомата А = АШ(Нх,Ну) выполняется условие 3).
Обратно, предположим, что абстрактный автомат А = (X, 5, У, 5, Л) удовлетворяет условиям 1)-3). Тогда из условия 1) следует, что А является автоматом без равнодействующих входных символов. Значит, соответствие / : в I—> /* = (5*, Л*) (в е 5) является мономорфизмом полугруппы 5 в симметрическую полугруппу 5(X, У) и действие каждого входного символа в е 5 полностью определяется действием вектор-функции / = (58,Л8). Рассмотрим автомат А' = (X, /(5), У, 5', Л'), у которого полугруппа входных символов /(5) является полугруппой вектор-функций на X со значениями в X х У и действия функции переходов 5' : X х /(5) ^ X и выходной функции Л' : X х /(5) ^ У определяются по формулам (2). Легко убедиться, что упорядоченная тройка биекций 7 = (Дх,/, Ду) является изоморфизмом автомата А на автомат А'. В самом деле для любых ж е X, в е 5 по формулам (2) выполняются равенства:
5'(ж, /(в)) = 5'(ж, (5*, Л*)) = 5*(ж) = 5(ж, в),
Л'(ж, /(в)) = Л'(ж, (5*, Л*)) = Л*(ж) = Л(ж, в),
т.е. 7 = (Дх,/, Ду) — изоморфизм автомата А на автомат А'. Очевидно, что автомат А' определяет на множествах X, У такие же канонические отношения Ях ,Яу, что и автомат А.
По построению автомата А' = (X, /(5), У, 5',Л') полугруппа входных символов /(5) является полугруппой вектор-функций на X со значениями в X х У, действия функции переходов 5' : X х 5 ^ X и выходной функции Л' : X х 5 ^ У определяются по формулам (2) и канонические отношения Ях ,Яу этого автомата являются квазиполными р-эквивалентностями соответственно на множествах X, У. По предложению 1 найдутся такие эффективные гиперграфы с р-определимыми ребрами Нх = (X, Ьх), Ну = (У, Ьу), что Ях = Вр(Нх), Яу = Вр(Ну). Покажем, что /(5) = 5(Нх,Ну). Для любой вектор-функции / = (/1,/2) из /(5) по формулам (2) выполняется 5у = /ъЛ'у = /2 и согласно лемме 2 /р+1(Ях) с Ях, /р+1 (Ях) с Яу. Тогда по лемме 3 отображение /1 является эндоморфизмом гиперграфа Нх, а отображение /2 является гомоморфизмом гиперграфа Нх в гиперграф Ну. Значит, вектор-функция / = (/1,/2) принадлежит множеству 5(Нх ,Ну) и выполняется /(5) с 5(Нх,Ну). С другой стороны, если вектор-функция / = (/1,/2) принадлежит полугруппе 5(Нх,Ну), то по лемме 2 выполняются условия /р+1(Ях) с Ях,
ff+1 (RX) с Ry. Это означает, что для любых элементов x1 ,x2,...,xp+1 таких, что (xl,x2,... ,Xp+l) e Rx имеет место (fl(xl),fl(x2),..., fl(xp+l)) e Rx, (f2(x1),f2(x2),...,f2(xp+1 )) e Ry. По определению канонических отношений Rx, Ry найдутся такие символы s,t e S ,что для каждого i = l,p + 1 выполняются равенства f1(xi) = ó(x,,s) и f2(x,) = Л^,t). По условию теоремы S) найдется такой символ a e S, что f1 (x) = ó(x,a) и f2(x) = Л(x,а) для всех x e X. Это означает, что fl = óa, f2 = Ла и по определению fa = (óa, Ла) = (fl ,f2) = f. Следовательно, вектор-функция f e f (S) и выполняется S (Hx, Hy ) с f (S). Таким образом, S (Hx, Hy ) = f (S ) и упорядоченная тройка биекций y = (Ax, f, Ay ) является изоморфизмом автомата A на автомат Atm(Hx ,Hy). □
ЗАКЛЮЧЕНИЕ
С помощью полученных результатов можно доказать, что универсальные гиперграфические автоматы над эффективными гиперграфами с p-определимыми ребрами задаются с точностью до изоморфизма своими полугруппами входных символов, и исследовать взаимосвязь между абстрактными свойствами таких автоматов и их полугрупп входных символов.
Библиографический список
1. Плоткин Б. И., Гринглаз Л. Я., Гварамия А. А. Элементы алгебраической теории автоматов. М. : Высш. шк., 1994. 192 с.
2. Улам С. Нерешенные математические задачи. М. : Наука, 1964. 168 с.
S. Jonsson B. Topics in universal algebra. Lecture Notes in Math. Berlin ; Heidelberg ; N. Y. : Springer-Verlag, 1972. 220 p.
4. Молчанов В. А., Хворостухина Е. В. О задаче конкретной характеризации универсальных гиперграфических автоматов // Компьютерные науки и информационные технологии : материалы междунар. науч. конф. Саратов : ИЦ Наука, 2016. С. 284-285.
5. Bretto A. Hypergraph theory. An Introduction. Cham ; Heidelberg ; N.Y. ; Dordrecht ; London : Springer, 201S. 1SS p. DOI: 10.1007/978-S-S19-00080-0.
6. Хартсхорн Р. Основы проективной геометрии. М. : Мир, 1970. 161 с.
7. Молчанов А. В. Полугруппы эндоморфизмов слабых р-гиперграфов // Изв. вузов. Ма-тем. 2000. № S. С. 80-8S.
8. Молчанов А. В. Об определяемости гиперграфических автоматов их выходными функциями // Теоретические проблемы информатики и ее приложений. 1998. Вып. 2. С. 74-84.
Образец для цитирования:
Молчанов В. А., Хворостухина Е. В. О задаче абстрактной характеризации универсальных гиперграфических автоматов // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2017. Т. 17, вып. 2. С. 148-159. DOI: 10.18500/1816-9791-2017-17-2-148-159.
On Problem of Abstract Characterization of Universal Hypergraphic Automata
V. A. Molchanov1, E. V. Khvorostukhina2
1 Vladimir A. Molchanov, ORCID: 0000-0001-6509-3090, Saratov State University, 83, Astrakhanskaya str., Saratov, Russia, 410012, [email protected]
2Ekaterina V. Khvorostukhina, ORCID: 0000-0002-2775-5732, Yuri Gagarin Saratov State Technical University, 77, Politechnicheskaya str., 410054, Saratov, Russia, [email protected]
Hypergraphic automata are automata whose state sets and sets of output symbols are endowed with algebraic structures of hypergraphs preserving by transition and exit functions. Universally attracting objects in the category of hypergraphic automata are automata Atm (H1, H2), where H1 is a hypergraph of the state set, H2 is a hypergraph of the set of output symbols and S = End H1 x Hom (H1 ,H2) is a semigroup of input symbols. Such automata are called universal hypergraphic automata. The semigroup of input symbols S of such automaton Atm (H1, H2) is a derivative algebra of mappings for such automaton. So its properties are interconnected with properties of the algebraic structure of the automaton. Thus we can study universal hypergraphic automata by investigation of their semigroups of input symbols. In this paper we study the problem of abstract characterization of universal hypergraphic automata. The problem is to find the conditions of existence of isomorpism of arbitrary automaton to the universal hypergraphic automaton. The main result of the paper is solving of this problem for universal hypergraphic automata over effective hypergraphs with p-definable edges. It's a wide and a very important class of automata because such algebraic systems contain automata whose state hypergraphs and hypergraphs of output symbols are projective or affine planes. Also they include automata whose state hypergraphs and hypergraphs of output symbols are divided into equivalence classes. To solve the main problem we also proved that the algebraic structure of effective hypergraps with p-definable edges were determined by a relation of (p + 1)-boundedness of vertices of this hypergraph and for automata under consideration, algebraic structures of state hypergraphs and hypergraphs of output symbols are determined by canonical relations of the semigroup of input symbols of the automata.
Key words: automaton, hypergraph, abstract characterization.
1. Plotkin B. I., Geenglaz L. Ja., Gvaramija A. A. Algebraic structures in automata and databases theory. Singapore, River Edge, NJ, World Scientific, 1992. 192 p. (Russ. ed. : Plotkin B. I., Geenglaz L. Ja., Gvaramija A. A. Elementy algebraicheskoi teorii avtomatov. Moscow, Vysshaia shkola, 1994. 192 p.)
2. Ulam S. A Collection of Mathematical Problems. New York, Interscience Publ., 1960. 150 p. (Russ. ed. : Ulam S. Nereshennye matematicheskie zadachi. Moscow, Nauka, 1964. 168 p.)
3. Jonsson B. Topics in universal algebra. Lecture Notes in Math. Berlin, Heidelberg, New York, Springer-Verlag, 1972. 220 p.
4. Molchanov V. A., Khvorostukhina E. V. On problem of concrete characterization of universal hypergraphic automata. Proc. VII Intern. Sci. Conf. „Computer Science and Information Technologies". Saratov, 2016, pp. 284-285 (in Russian).
5. Bretto A. Hypergraph theory. An Introduction. Cham, Heidelberg, New York, Dordrecht, London, Springer, 2013. 133 p. DOI: 10.1007/978-3-319-00080-0.
References
6. Hartshorne R. Foundations of Projective Geometry. New York, ISHI Press, 2009. 190 p. (Russ. ed. : Hartshorne R. Osnovy proektivnoi geometrii. Moscow, Mir, 1970. 161 p.)
7. Molchanov A. V. Endomorphism semigroups of weak p-hypergraphs. Russian Math. (Iz. VUZ), 2000, vol. 44, no. 3, pp. 77-80.
8. Molchanov A. V. Ob opredeljaemosti gipergraficheskih avtomatov ih vyhodnymi funkci-jami [On definability of hypergraphic automata by their exist functions]. Teoreticheskie problemy informatiki [Theoretical Problems of Informatics], 1998, iss. 2, pp. 74-84 (in Russian).
Cite this article as:
Molchanov V. A., Khvorostukhina E. V. On Problem of Abstract Characterization of Universal Hypergraphic Automata. Izv. Saratov Univ. (N.S.), Ser. Math. Mech. Inform., 2017, vol. 17, iss. 2, pp. 148-159 (in Russian). DOI: 10.18500/1816-9791-2017-17-2-148-159.
