CC BY
18
Серия «Математика»
2014. Т. 7. С. 133—140
Онлайн-доступ к журналу: http://isu.ru/izvestia
УДК 519.716
О двух изоморфных интервалах в решетке ультраклонов ранга 2 *
С. Ю. Халтанова
Восточно-Сибирская государственная академия образования
Аннотация. Рассматриваются мультифункции, заданные на двухэлементном множестве, и специальным образом определенная суперпозиция таких функций. Множество всех мультифункций содержит в себе множество булевых функций, множество частичных функций и множество гиперфункций. Обычным образом определяются клоны мультифункций. Интервалом I(А, В) называется частично упорядоченное по включению множество всех клонов, содержащих клон А и являющихся подмножествами клона В.
В статье описывается фрагмент интервала решетки клонов мультифункций, содержащих все мультифункции, сохраняющие 0 и 1. При этом, если мультифункция сохраняет 0 и 1, то она ни на одном наборе не возвращает пустое множество. Известно, что если рассматривать только частичные булевы функции, то весь интервал содержит 45 клонов.
В работе показано, что рассматриваемый фрагмент содержит 12 клонов и для него в решетке клонов частичных функций имеется изоморфный интервал.
Ключевые слова: клон, суперпозиция, интервал, булевы функции, гиперфункции, частичные функции, мультифункции.
В теории функциональных систем, как правило, рассматриваются функции вместе с некоторым образом определенной операцией суперпозиции. Естественным является вопрос описания решетки всех замкнутых относительно заданной суперпозиции множеств функций. Решетка таких множеств для булевых функций (функций алгебры логики) полностью описана в [8]. В общем случае такая задача является достаточно сложной и к настоящему времени она не решена полностью для широкого класса дискретных функций, в том числе для функций й-значной логики, для частичных, гипер- и мультифункций.
Введение
* Работа выполнена при поддержке РФФИ: проект №13-01-00621.
Сложность полного решения задачи вызывает необходимость описания различных интервалов в решетках функций. С описанием различных интервалов решеток дискретных функций можно ознакомиться в работах [1; 2; 5; 6; 7].
В настоящей работе описываются два изоморфных интервала в решетке ультраклонов [3; 4] мультифункций, определенных на двухэлементном множестве.
1. Основные понятия и определения
Пусть Е = {0,1}, Е' = {0,1, 0}, Е = {0,1, {0,1}}, Е' = {0,1, 0, {0,1}}. Функции / : Еп — Е называются булевыми функциями; функции / : Еп — Е' — частичными функциями; функции / : Еп — Е — гиперфункциями; функции / : Еп — Е' — мультифункциями.
Через Р2 обозначим множество всех булевых функций, через Р* — множество частичных функций, через Р~ — множество гиперфункций, через Р* — множество мультифункций.
Функция /(хг,. ..,хп) : /(а1,...,ап) = {аг} называется селекторной.
Для функций будем использовать запись как в виде вектора-строки, так и в виде вектора-столбца значений функции на всех наборах, расположенных в натуральном порядке.
Суперпозиция мультифункций / (/г(хг, ..., хт),..., /п(хг,..., хт)) определяет мультифункцию д(х\,..., хт) следующим образом [4]:
{Р| /(вг,..., вп), если это пересечение не пусто; и /(вг,...,вп), иначе.
,..., ат)
Частичный ультраклон — множество мультифункций, замкнутое относительно суперпозиции и содержащее все селекторные функции.
Частичные ультраконы ниже будем называть просто клонами. Наименьший клон, содержащий множество А, будем обозначать через [А].
Интервалом I(А, В) называется частично упорядоченное по включению множество всех клонов, содержащих клон А и являющихся подмножествами клона В.
Пусть К — клон, К\ — его подклон, тогда Кг называется максимальным подклоном в К тогда и только тогда, когда [Кг и {/}] = К для любой / е К \ Кг.
В дальнейшем будем использовать кодировку: {0} о 0, {1} о 1, {0,1} о~, 0 о *.
Пусть Ь е {2, к е {*, *}. Определим следующие множества: Пг = {/ е Р * | / (0,...,0)=0,/(1,...,1) = 1},
Тк, = {/ е Рк | /(0,...,0) = *}, Тк, = {/ е Рк | /(1,...,1) = *}, Т0\,= {/ е Рк I /(0,...,0) = *,/(1,...,1) = 1}, То1,о* = {/ е Рк I / (0,...,0)=0,/(1,...,1) = *}, Т01,** = {/ е Рк I /(0,...,0) = *,/(1,...,1) = *}.
Очевидно, что множество Т^ является клоном, а остальные множества замкнуты относительно суперпозиции.
2. Вспомогательные леммы
Для a G F1 определим а: 0 = 1, 1=0, * = *
Для набора a = ai,...,an G (F')n набор av = ai,...,an назовем двойственным.
Функция fv называется двойственной к функции f (xi,..., xn), если
f v(a) = f (av) для любого набора a.
Индукцией определим понятие двойственного терма $v к терму Ф
следующим образом: если терм — переменная x, то xv = x; если Ф = f(xi,...,xn), то Фv = fv(xi,...,xn); если Ф = f(Фь...,Фп), то Фv =
f v №,..., Ф%) .
Индукцией по глубине терма легко показать, что выполняется принцип двойственности : если функция f (xi,... ,xn) представима термом Ф, то двойственная ей функция f v(xi,..., xn) представима термом Ф^
Следствие 1. Если A — клон, то Av = {fv | f G A} — клон.
Клон
Av
называется двойственным к клону A.
Следствие 2. Если A, B — клоны, A максимальный клон в B, то Av максимальный клон в Bv.
Лемма 1. Следующие множества функций являются клонами
1) Tqi U C для любого C G {T0%,T0%i,T0%,};
2) T01 U A U B при A G {T¡\t0*,T¡*}, B G {T* *,T*h**} ;
3) T0i U T0i , 0* U T0i , *i U T0i , **.
Доказательство. 1) Пусть функция g(xi,... ,xm) является суперпозицией f (fi(xi,.. .,xm ),..., fn(xi,.. .,xm)), где f,fi,..., fn принадлежат множеству T^i U C. Покажем, что g G T^i U C.
Если функции f, fi,...,fn принадлежат T^i, то g G T^i. Если же они принадлежат C, то и g G C.
Теперь рассмотрим случаи, когда / € ТЩ и хотя бы одна / € С или / € С и хотя бы одна / € ТЩ.
В обоих случаях получим д € С, так как д(0,..., 0) = *,
(1, если С = Т* * д(1,...,1) = <| *,если С = Т*1 ***;
€ {0,1, *}, если С = Т**, а на остальных наборах значение функции д может быть произвольным. Остальные утверждения доказываются аналогичным образом. □
Лемма 2. Если / € Т** \ (Т* * *1 и Т* * * *), то [ТЩ и {/}] = Тп и Т**. Доказательство. Покажем справедливость включения
ТП1 и Т**С [ТЩ и{/}] .
Отождествлением переменных из функции / можно получить одноместную функцию (*0) или (* -).
Вторая функция позволяет получить первую: 00
0 0 / * 0\ = *
* , * I ~ 11 0'
- 0 *0
Пусть д(х1,...
, хт) € Тд* ^ и на наборах ^ 1, ...,7ь значение функции
равно *.
Имея функцию (*0) и множество ТЩ, можно получить такую функцию Н(х1,... ,хп), что на наборах 71, ее значение равно *, а на остальных наборах она принимает значение 0.
Рассмотрим функцию и(у,х1,... ,хп) из множества ТЩ такую, что
и(1,..., 1) = 1;
\д(а1 ,...,ап), если д(аь...,ап) = *;, и(0,а1 ,...,ап) = < 0
0 иначе .
Тогда д(х1, ...,х,п) = и(Н(х1,...
, хп) , x1, ..., хп) .
Обратное включение очевидно. □
Применяя принцип двойственности, получаем
Лемма 3. Если / € Т** \ (Т**0* и Т****), то [ТЩ и {/}] = ТЩ и Т**.
Лемма 4. Если / € Т** *1, то [ТЩ и {/}] = ТЩ и Т** *1.
Доказательство. Справедливость равенства в одну сторону очевидна, а в другую показывается аналогично доказательству леммы 3. □
Используя принцип двойственности, получаем
Лемма 5. Если f е T*_0*, то [TJÏ U {f}] = T^ U T*_0*.
Лемма 6. Пусть f е Tqï***, тогда (*1 **) е ToÏ U {f}].
Доказательство. Так как f е T0**Ï ^то для функции f выполняется f (0,... ,0) = *, f (1,..., 1) = * и существует такой набор (aÏ,..., an), что f(aÏ,...,an) = *. Выберем набор (в1,...,вп) такой, что набор (0аг вг 1) е {(0011), (0101)} для любого i е {1,...,n} и в функцию f вместо переменной хг подставим (0агвг1). Получим функцию g(x,y) = (*7S*), где y е {0,1, S е {0,1, *}. Пусть gÏ = (0011), g2 = (0111),дз = (*y * *), тогда при любых 7, S имеем g(gÏ,g2) = g3 и суперпозиция §2(93,92) определяет функцию (*1 * *). □
Лемма 7. Пусть f = (*1 * *), тогда [T^ U {f}] = TgÏ U T*Ï _**.
Доказательство. Справедливость утверждения показывается по аналогии с леммой 3. □
3. Основной результат
Пусть Р* — множество мультифункций, которые на всех наборах принимают значение *, тогда очевидной является следующая лемма.
Лемма 8. Если A — клон в P*, то A U P* —
клон.
Замечание 1. С учетом леммы 8 будем рассматривать только такие клоны, которые содержат множество Р .
Теорема 1 ([5]). Интервал I(Т01,Т*1 иТ**иТО***) содержит 12 клонов, и они вложены друг в друга так, как показано на рисунке 1.
Теорема 2. Интервал I(Т*1 ,Т01 и Т*„ и Т0*,) изоморфен интервалу I(ТОГ1Т1 и Т**и Т0**).
Доказательство. Введем обозначения: для а € {1, *} и произвольного множества функций М положим
а • М = {а • / | / € М},
где а • / — это суперпозиция •(а, /).
Тогда произвольный клон К из интервала I(ТО^Тл и Т* * и Т* *) можно представить как
К = Т0!1 и а1 • Т*1 * * * и а2 • Т*1 * *1 и а3 • Т*1 * *и и а4 • Т** и а5 • Т* *.
Рис. 1. Интервал I (Т^Т и Т0, и Т)
Отображение р, которое ставит в соответствие клону К клон К
К = Т0~1 и «1 • Т*1 , ** и «2 • Т*1 , ,1 и аз • Т*1 , *и и а4 • ТI и а5 • Т* *,
удовлетворяет следующим условиям:
1) р является взаимно-однозначным отображением;
2) К1 С К2 ^ К1 С К2.
3) р является отображением «на»; Первое и второе утверждения очевидны.
Пусть есть некоторый клон К' из интервала I(Т^,Т0Ц и Т0** и Т**).
Введем следующие обозначения: А1 = То*1 , *1, А2 = Т0\,**, Аз = Т0*1 , о*,
А4 = Т**\(А1 и А2), А5 = Т**\(А2 и Аз).
Если найдется / е К'\Т^1, то / принадлежит одному из А^. Рассмотрим все возможные случаи:
— / е А1, тогда по лемме 4 получаем, что А1 С К';
— / е А2, по леммам 6 и 7 А2 С К';
— / е А3, по лемме 5 А3 С К';
— / е А4, по лемме 2 Т** * С К', следовательно, А1,А2,А4 С К';
— / е А5, по лемме 3 Т* * С К', следовательно, А2, А3, А5 С К'. Таким образом, каждое из множеств А^ входит целиком в К' или
имеет с ним пустое пересечение.
Несложно показать, что если существуют одновременно две функции /1 е А1, /2 е Аз, то А2 С К'.
В результате получаются следующие возможные комбинации множеств А{, входящих в К' (0 в г-м столбце означает то, что множество
О ДВУХ ИЗОМОРФНЫХ ИНТЕРВАЛАХ Ai не содержится в клоне K1 — содержится):
At A2 A3 a4 As Клон К'
0 0 0 0 0 Toi
1 0 0 0 0 ^01 u ^01,*1
0 1 0 0 0 ^01 U ^0*1,**
0 0 1 0 0 ^01 U ^01,0*
1 1 0 0 0 ^01 U ^oi,*i U ^"oi,**
0 1 1 0 0 T01 U Tgi,** U Toi,o*
1 1 1 0 0 ^01 U ^01,*1 и ^0*1,** и ^0*1,0*
1 1 0 1 0 T0~iUT0%
1 1 1 1 0 rsi и т0% и т0\0ф
0 1 1 0 1 Toi и 2\%
1 1 1 0 1 Т01 и Т1* и Т0*1,*1
1 1 1 1 1 Т01 и Т1* и Т1*
Все возможные комбинации дают 12 клонов, изоморфных клонам из интервала , и Т*, и Г0%). □
Список литературы
1. Алексеев В. Б. О некоторых замкнутых классах в частичной двузначной логике / В. Б. Алексеев, А. А. Вороненко // Дискрет. математика. - 1994. - Т. 6, вып. 4. - С. 58-79.
2. Жук Д. Структура замкнутых классов в предполном классе самодвойственных функций трехзначной логики // Докл. Рос. акад. наук. — 2011. — Т. 437, № 6. — С. 738-742.
3. Пантелеев В. И. Критерий полноты для доопределяемых булевых функций / В. И. Пантелеев // Вестн. Самар. гос. ун-та. Естественнонауч. сер. - 2009. -№ 2 (68). - С. 60-79.
4. Пантелеев В. И. О двух максимальных мультиклонах и частичных ультраклонах / В. И. Пантелеев // Изв. Иркут. гос. ун-та. Сер. Математика. - 2012. -Т. 5, № 4. - С. 46-53.
5. Lau D. Function algebras on finite sets. A basic course on many-valued logic and clone theory / D. Lau. - Berlin : Springer-Verlag. 2006. - 668 p.
6. Doroslovacki R., Pantovic J., Vojvodic G. One interval in the lattice of partial hyperclones // Chechoslovak Mathematical Journal. - 2005. - N 55(130). - P. 719724.
7. Pantovic J., Vojvodic G. On the partial hyperclone lattice // Proceedings of 35th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2005). - 2005. -P. 96-100.
8. Post E. L. Two-valued iterative systems of mathematical logic / E. L. Post // Annals of Math. Studies. - Princeton : Univ. Press, 1941. - Vol. 5. - 122 p.
Халтанова Соёлма Юрьевна, аспирант, Восточно-Сибирская государственная академия образования, 664011, г. Иркутск, ул. Н. Набережная, 6, тел.: (3952)200567 (e-mail: [email protected])
S. Haltanova
On Two Isomorphic Intervals in the Lattice of Ultraclones on Two-Elements Set
Abstract. This paper considers multifunctions on two-elements set with superposition defined in a special way. Set of all multifunctions contains set of Boolean functions, set of partial functions and set of hyperfunctions. Clone of multifunctions is a set closed under superposition. Interval I(A, B) is a partially ordered by inclusion set of all subclones of B containing A.
This paper describes a fragment of an interval in the lattice of clones containing all multifunctions preserving 0 and 1 (if particular function simultaneously preserves 0 and 1 then it cannot have an empty set as a value on any input). It is known that interval of partial Boolean functions preserving 0 and 1 consists of 45 clones.
This paper shows that considered interval contains 12 clones and has an isomorphic interval in the lattice of clones of partial functions.
Keywords: clone, superposition, Boolean functions, partial functions, hyperfunctions, multifunctions.
References
1. Alekseev V.B. On Some Closed Sets in Partial Two-Valued Logic. Disktretnaya matematika, 1994, vol. 6, no. 4, pp. 58-79.
2. Zhuk D. A Structure of Closed Sets in a Maximal Set of Self-Dual Functions of Three-Valued Logic. Dokl. Ros. Akad. Nauk, 2011, vol. 437, no. 6, pp. 738-742.
3. Panteleyev V.I. Completeness Criterion for Incompletely Defined Boolean Functions. Vestnik Samar. Gos. Univ. Est.-Naush. Ser., 2009, vol. 2, no. 68, pp. 60-79.
4. Panteleyev V.I. On Two Maximal Multiclones and Partial Ultraclones. Izvestiya Irk. Gos. Univ. Ser. Matematika, 2012, vol. 5, no. 4, pp. 46-53.
5. Lau D. Function Algebras on Finite Sets. A Basic Course on Many-Valued Logic and Clone Theory. Berlin, Springer-Verlag, 2006. 668 p.
6. Doroslovacki R., Pantovic J., Vojvodic G. One Interval in the Lattice of Partial Hyperclones. Chechoslovak Mathematical Journal, 2005, no. 55(130), pp. 719-724.
7. Pantovic J., Vojvodic G. On the Partial Hyperclone lattice. Proceedings of 35th IEEE International Symposium on Multiple-Valued Logic [ISMVL 2005], 2005, pp. 96-100.
8. Post E. L. Two-valued iterative systems of mathematical logic. Annals of Math. Studies, Princeton, Univ. Press, 1941, vol. 5. 122 p.
Haltanova Soelma, Postgraduate, East Siberian State Academy of Education, 6, N. Naberezhnaya st., Irkutsk, 664011, tel.: (3952) 200567 (e-mail: [email protected])
