CC BY
13
УДК 517.718.7
DOI 10.21685/2072-3040-2017-3-4
Д. В. Кафтан
ДРЕВЕСНОЕ ПРЕДСТАВЛЕНИЕ БЕСПОВТОРНЫХ ФУНКЦИЙ В РАСШИРЕННЫХ ЭЛЕМЕНТАРНЫХ БАЗИСАХ
Аннотация.
Актуальность и цели. В области информационных технологий аппарат булевых функций играет значительную роль, в связи с чем становится актуальным исследование различных свойств булевых функций. Данная статья посвящена такому важному свойству, как возможность представления функции в заданном базисе формулой без повторения переменных (бесповторной формулой). Представленные таким образом функции можно рассматривать как класс функций, которые в данном базисе устроены достаточно просто. В работе исследуется вопрос представления бесповторных булевых функций помеченными деревьями. Целью данной работы является получение древесного представления для функций, бесповторных в базисах, состоящих из конъюнкции, дизъюнкции, отрицания и поляризуемых функций Стеценко, в котором деревья одинаковых функций изоморфны, а также множества эквивалентных преобразований для деревьев такого вида.
Материалы и методы. Используется математический аппарат теории перестановок, свойства помеченных корневых деревьев и индивидуальные свойства поляризуемых функций Стеценко.
Результаты и выводы. Получено древесное представление для бесповторных функций в базисах, состоящих из поляризуемых функций Стеценко и элементарного базиса, соответствующее их формулам с поднятым отрицанием, и выявлено множество эквивалентных преобразований для данного типа деревьев.
Ключевые слова: бесповторная функция, каноническое дерево.
D. V. Kaftan
ON TREE REPRESENTATION OF READ-ONCE FUNCTIONS IN EXTENDED ELEMENTARY BASES
Abstract.
Background. The mathematics of Booleand functions has a profound effect in the area of information technologies. This article is devoted to an important ability of the function to be represented in the given basis via a formula without replication of variables (a read-once formula). Functions which can be represented such way may be regarded as quite simply structured in this basis. We consider a problem of read-once functions' tree representation in the bases consisting of conjunction, disjunction, negation and polarized Stecenko's functions. The object of the article is to provide a tree representation where equal functions have isomorphic trees and obtain a set of relevant equivalent tree transformations.
Materials and methods. We apply the mathematics of permutations and use properties of polirized Stecenko's functions and labeled rooted trees.
Results and conclusion. We have provided a tree representation for read-once functions in the bases consisting of polarized Stecenko's functions and an elementary basis aand corresponding to formulas with raised negotiations, as well as obtained a set of relevant equivalent transformations for the given type of trees.
Key words: read-once function, canonical tree.
В соответствии с определениями, принятыми в работах [1-3], введем несколько понятий. Булева функция f (xi,...,xn), представимая (не предста-вимая) формулой без повторения переменных - бесповторной формулой -в некотором базисе, называется бесповторной (повторной) в этом базисе.
Преобразованиями обобщенной однотипности называются замена переменной или самой функции на ее отрицание и перестановка переменных. Функции, получаемые друг из друга конечным числом преобразований обобщенной однотипности, называются обобщенно однотипными. Относительно перестановок переменных и их отрицания множество булевых функций образует так называемую группу Джевонса Qn [4], и функции, получаемые друг из друга конечным числом таких преобразований, называются Джевонс-эквивалентными.
Двойственной функцией к функции f(xi,...,xn) называется функция * —
f (xi,. ,xn)_ f (x1,.••,xn). Самодвойственной называется функци^ совпадающая с двойственной ей функцией.
Будем говорить, что функцияf(x^...,xn) монотонно (антимонотон-но) зависит от переменной x,, если для любого набора значений остальных переменных ai,..., a,-_i, a,-+i,..., an выполняется следующее неравенство:
f (ab..., aM,0, af+i,., an) < f (ab..., a,_i,i, a,-+b..., a n)
(f ^ь^^ ai _l,0, ai+l,., a n) - f («Ь^^ ai _1,1, ai+1,., a n)).
Функция f(xi,.,xn) называется поляризуемой, если она монотонна или антимонотонна по каждой из переменных, и неполяризуемой в противном случае.
Повторная в базисе B функция называется слабоповторной, если любая ее собственная подфункция бесповторна в этом базисе. В. А. Стеценко [i] получил все слабоповторные функции в элементарном базисе Bo={&,v,—}. С точностью до преобразований обобщенной однотипности они образуют следующие пять семейств:
fd = x1(x2 v x3 x4 .•• xs ) v x2 x3 .•• xs, s - 3,
ft = xix2 . xs v xix2 . xs, s - 2,
fm = xi(x2 v . v xs) v x2x3...xs, s - 3,
f4 = xi(x2 v x3) v x3 x4,
f5 = xi (x2 v x3x4) v x5 (x2x3 v x4).
В данной работе исследуется представление функций, бесповторных в базисе, состоящем из элементарного базиса и поляризуемых функций Стеценко, в виде деревьев соответствующих им формул. Древесное представление булевых функций широко используется в задаче построения схем из функциональных элементов в различных базисах и в теории контактных схем с независимыми контактами [5]. В работе [2] А. А. Вороненко приведено представление бесповторных функций в базисе, состоящем из всех функций, зависящих менее чем от двух аргументов, в виде так называемого каноничес-
кого дерева, т.е. помеченного корневого дерева, которое в этом базисе имеет следующий вид:
1. Константой (0 или 1) может быть помечена лишь вершина, которая является единственной в дереве.
2. Листья дерева помечены переменными или их отрицаниями (литералами). Разные листья помечены литералами разных переменных.
3. Внутренние вершины помечены операциями из множества (у,&, ф, ф).
4. Смежные вершины помечены разными символами. Смежные вершины не могут быть помечены одновременно символами линейных функций {ф, ф) .
5. Вершина, лежащая над помеченной линейным символом и смежная с ней, не может быть помечена & или отрицанием переменной.
Также в работе [2] установлена единственность представления бесповторной в этом базисе функции с помощью канонического дерева. В работе [3] было отмечено, что в элементарном базисе также существует канонический вид дерева, обладающий свойством единственности, который может быть получен как частный случай канонического дерева в базисе всех функций двух переменных и имеет следующий вид:
1. Константой (0 или 1) может быть помечена лишь вершина, которая является единственной в дереве.
2. Листья дерева помечены переменными или их отрицаниями. Разные листья помечены литералами разных переменных.
3. Внутренние вершины помечены операциями из множества .
4. Смежные вершины помечены разными символами.
Обозначим Pm множество монотонных функций Стеценко, т.е.
функций вида /4, /5 и /т. Все рассматриваемые данном разделе базисы будем считать состоящими из В) и функций из Pm .
Согласно работам [2, 3] представленные выше канонические деревья единственны с точностью до перестановки дуг во внутренних вершинах, так как все функции, которыми помечены внутренние вершины, обладают свойством ассоциативности, т.е. изоморфны как помеченные деревья. В базисе В содержатся функции, не обладающие данным свойством, поэтому деревья, построенные для бесповторных в В функций по аналогичным правилам, не будут изморфны как помеченные корневые деревья (не изоморфны будут уже деревья, представляющие слабоповторные функции из базиса). Но для каждой из этих функций существуют перестановки переменных, применение которых не меняет данную функцию. Это следует
из утверждений 3, 4 и симметричности /т относительно переменных
Х2,..., Хп . Опишем эти перестановки:
1) перестановка переменных функции /4, где (Х1, Х2, Х3, Х4) переходит в (Х3, Х4, Х1, Х2);
2) перестановка переменных функции /5 , где (Х1, Х2, Х3, Х4, Х5) переходит в (Х5, Х4, Х3, Х2, Х1) или (Х2, Х1, Х3, Х5, Х4), или в композицию этих перестановок;
3) любая перестановка переменных д^,---,Х3 функции /^ .
Квазиканоническим деревом функции /, бесповторной в базисе В, назовем помеченное корневое дерево, построенное согласно следующим правилам:
1. Константой (0 или 1) может быть помечена лишь вершина, являющаяся единственной в дереве.
2. Листья дерева помечены переменными или их отрицаниями. Разные листья помечены литералами разных переменных.
3. Внутренние вершины дерева помечены функциями из множества
{у,&} или теми функциями вида /4, /5 и /^ , которые лежат в В .
4. Если вершина помечена функцией вида /4, /5 или /^ , то количество смежных вершин над ней совпадает с размерностью функции. Функция, помеченная V или &, может иметь две и более смежных вершин над ней.
5. Вершины, помеченные функцией V (&), не смежны с вершинами, помеченными функцией V (&).
По аналогии с преобразованиями обобщенной однотипности, определим типы преобразований для формул и квазиканонических деревьев согласно вышеуказанным перестановкам:
Преобразованием 04 назовем перестановку переменных функции /4, где (Х1, Х2, Х3, Х4) переходит в (Х3, Х4, х^ Х2), и соответствующую перестановку дуг, входящих в вершину с пометкой /4 в дереве.
Преобразованием 05 назовем перестановки переменных функции /5 , где (Х1, Х2, Х3, Х4, Х5) переходит в (Х5, Х4, Х3, Х2, Х1) или (Х2, Х^ Х3, Х5, Х4), или композицию этих перестановок, и соответствующую перестановку дуг, входящих в вершину с пометкой /5 в дереве.
Преобразованиями типа От назовем перестановки переменных Х2,-..,Х3 функции /т и соответствующую перестановку дуг, входящих в вершину с пометкой /^ в дереве.
Канонические деревья в В0 и В2 очевидным образом разбиваются на классы эквивалентности, где в одном классе лежат деревья, полученные друг из друга произвольной последовательностью перестановок дуг во внутренних вершинах. В работах [2, 3] показано, что такие деревья и только они соответствуют одинаковым функциям. Таким образом, множество классов эквивалентности взаимооднозначно соответствует множеству бесповторных в заданном базисе функций. Это позволяет при исследовании свойств бесповторных функций пользоваться каноническим древесным представлением и тем его свойством, что деревья одинаковых функций получаются друг из друга перестановкой дуг в вершинах. В настоящей работе будет показано, что квазиканонические деревья обладают схожим свойством: деревья одинаковых функций получаются друг из друга некоторыми перестановками дуг в вершинах.
Во второй главе в работе [5] доказывается, что две разные бесповторные неразложимые формулы одной функции получаются друг из друга ко-
нечным числом преобразований из множества, состоящего из преобразований обобщенной однотипности и преобразования ассоциативности, где для ассоциативной функции / подформула /(/(Х1, Х2), Х3) заменяется на / (Х1, / (Х2, Х3)) или наоборот. Такие формулы называются почти одинаковыми. С целью сделать формулы и, соответственно, деревья бесповторных функций в заданном базисе еще более похожими друг на друга, в данной работе будут рассмотрены формулы с поднятыми отрицаниями. Рассматриваемые базисы не включают в себя функции, конгруэнтные или двойственные уже имеющимся в базисе функциям Стеценко. В таком случае мы не сможем использовать все преобразования из работы [5] (например, отрицание над подформулой или произвольную перестановку переменных). Результатом данной работы является множество преобразований, состоящее из некоторых преобразований перестановок переменных в базисных функциях, что применение любого конечного числа преобразований из этого множества к бесповторной формуле с поднятыми отрицаниями не только не меняет значение функции, но и не выводит ее из множества формул с поднятыми отрицаниями в заданном базисе.
Введем на множестве квазиканонических деревьев отношение эквивалентности. Разделим квазиканонические деревья на классы эквивалентности так, чтобы в одном классе лежали деревья, которые можно получить друг из
друга с помощью преобразований 04, 05, От и перестановки вершин, смежных с общей вершиной, помеченной V или &. Из утверждений 3, 4, а также из симметричности /т относительно переменных Х2,...,х5 и ассоциативности V и & следует, что это отношение рефлексивно, симметрично и транзитивно. Аналогично вводится отношение эквивалентности на множестве соответствующих этим деревьям формул.
1. Вспомогательные утверждения
Утверждение 1. Для каждой переменной ху функции / е Рт существует такая переменная х^ , что х^х^ является подфункцией /.
Доказательство. Для /4 конъюнкция реализуется, например, в парах {Х1, Х2), {Х3, Х4) . Для /5 это могут быть пары {Х1, Х2), {Х3, Х5), {Х4, Х5). Для
/т - {Х1,ху), где У = 2,5 .
Утверждение 2. Для каждой переменной Ху функции / е Рт существует такая переменная х^ , что Ху V х^ является подфункцией /.
Доказательство. Для /4 дизъюнкция реализуется, например, в парах {Х1, Х4), {Х2, Х3) . Для /5 это могут быть пары {Х1, Х5), {Х2, Х3), {Х2, Х4). Для
/т - {Х1,ху), где У = 2,5 .
Утверждение 3. Справедливо
/4( Х1, Х2, Х3, Х4) = /4( Х3, Х4, Х1, Х2),
/4( Х1 , x2, x3, х4) = /4 (Х1, x4, x3, Х2).
Доказательство:
/4 (Х1, Х2, Х3, Х4) = Х1 (Х2 V Х3) V Х3 Х4 = Х1Х2 V Х1Х3 V Х3 Х4 = = Х3(Х4 V Х1) V Х1Х2 = /4(Х3,Х4,Х1,Х2);
/4 (x1, x2, x3, Х4) = (Х1 V Х2 Х3)(Х3 V Х4) = = Х1Х3 V ХХ4 V Х2Х3 = Х1 (Х3 V Х4) V Х2Х3 = /4 (Х1,Х4,Х3,Х2).
Замечание 1. Нетрудно заметить, что применение преобразований обобщенной однотипности, не являющихся композицией преобразований из утверждения 3, дает функции, отличные от исходной, и, таким образом, для каждой из этих функций мы получаем свою подгруппу инерции в симметрической группе перестановок, т.е. подмножество перестановок, применение которых не меняет булеву функцию.
Утверждение 4. Справедливо
/5( Х1, Х2, Х3, Х4, Х5) = /5 (Х5, Х4, Х3, Х2, Х1),
/5( Х1, Х2, Х3, Х4, Х5) = /5( Х2, Х1, Х3, Х5, Х4),
/5 (Х1,x2, x3, Х4,Х5) = /5 (Х5,x3, x2,Х4),
/5 (Х1, x2, x3, Х4, Х5) = /5 (x1, Х5, x3, x4, Х2).
Доказательство:
/5(Х1,Х2,Х3,Х4,Х5) = Х1(Х2 V Х3Х4) V Х5(Х2Х3 V Х4) = = х5(х2х3 Vх4) Vх1(х2 V х3х4) = /5(х5,х4,х3,х2,х1); /5(х1,х2,х3,х4,х5) = х1(х2 V х3х4) V х5(х2х3 V х4) = = х2(х5х3 Vх1) V х4(х5 V х3х1) = /5(х2,х1,х3,х5,х4).
2. Основные результаты
Утверждение 5. Для любой бесповторной в базисе В функции существует реализующее ее каноническое дерево.
Доказательство. Рассмотрим произвольную бесповторную в базисе В функцию / . Используя правила де Моргана, утверждения преобразования 3,
4 и самодвойственность функции /^, можно из любой бесповторной в В формулы получить бесповторную в В формулу с поднятыми отрицаниями, равную исходной. Построим дерево по этой формуле. Склеим по ассоциативности смежные вершины, помеченные одинаковыми символами & или V . Полученное дерево удовлетворяет свойствам 1-5 из определения канонического дерева и потому является каноническим. Утверждение доказано.
Утверждение 6. Если различные канонические деревья и ^ реализуют бесповторную в базисе В функцию /(Х1,-..,хп), то листья этих деревьев образуют одинаковые множества литералов.
Доказательство. Допустим, что это не так, и в одном дереве есть лист х, а в другом - х. Тогда две формулы с поднятыми отрицаниями, соответствующие этим деревьям, будут реализовывать поляризуемые функции с разной полярностью по переменной х (одна монотонная, другая антимонотонная по х). Это верно, потому что все функции в этом базисе, кроме отрицания, монотонны, и, следовательно, литерал в формуле с поднятыми отрицаниями задает полярность переменной. Следовательно, мы получили противоречие с тем, что деревья реализуют одну и ту же функцию. Утверждение доказано.
Замечание 2. Если функция /, бесповторная в базисе В, монотонна,
то все буквы в листьях деревьев и ¿2 - это переменные без отрицания.
Утверждение 7. Если различные канонические деревья и реализуют бесповторную в В монотонную функцию /(Х1,...,хп), и V и У2 - корни деревьев Е\ и ¿2 соответственно, то существуют две переменные, обладающие следующим свойством: листья, помеченные этими переменными, лежат в разных поддеревьях как над V, так и над \2 ■
Доказательство. Если у деревьев всего по два листа, то, очевидно, они
лежат в разных поддеревьях в обоих деревьях.
Рассмотрим случай, когда у дерева не менее трех листьев.
11 2 2 Пусть Е\,...,Бу и £1 ,...,- поддеревья деревьев и
получаемые удалением корня из ¿1 и ¿2. Пусть Х1 - переменная в дереве
В1, Х2 - переменная в ¿2.
Если эти листья лежат в разных поддеревьях над \2, то мы нашли искомые переменные.
Пусть листья лежат в одном поддереве над \2 ■ Не ограничивая
2
общности, пусть это будет поддерево ¿1 . Пусть Х3 - переменная в дереве
¿2 . Тогда в дереве £ возможны три варианта расположения листа, помеченного той же переменной:
1) Х3 лежит в о\, тогда Х2 и Х3 лежат в разных поддеревьях в обоих деревьях;
2) Х3 лежит в ¿21 , тогда Х1 и Х3 лежат в разных поддеревьях в обоих деревьях;
3) Х3 не лежит ни в ¿11 , ни в ¿21 , тогда обе эти пары лежат в разных поддеревьях в обоих деревьях.
Во всех трех случаях мы нашли два листа, лежащие в разных поддеревьях над корнями обоих деревьев. Утверждение доказано.
Утверждение 8. Если различные канонические деревья £ и ¿2 реализуют бесповторную в В монотонную функцию /(Х1,..., хп), то в корне этих деревьев одинаковые функции.
Доказательство. Допустим, это не так. Пусть V и \2 - корни деревьев ¿1 и ¿2 соответственно, и функции, которыми они помечены, различны. Тогда, не ограничивая общности, возможны три варианта:
1. Первая функция - дизъюнкция, вторая - конъюнкция.
Согласно утверждению 7 найдется две переменных таких, что помеченные ими листья лежат в разных поддеревьях над корневыми вершинами деревьев и ¿2. Обозначим их Х1 и Х2 . Так как переменные существенные, то существует хотя бы одна существенная подфункция по Х1 и Х2 у каждой из функций, реализуемых этими деревьями. При этой константной подстановке на места других переменных в функции, которые реализуют эти деревья, получатся различные существенные подфункции: у первого дерева - только дизъюнкции, а у второго - только конъюнкции. Следовательно, такие деревья не могут реализовывать одну и ту же функцию. Противоречие.
2. Первая функция - /'е Рт и зависит от ^ переменных, вторая -дизъюнкция.
Согласно утверждению 7 найдется две переменных таких, что помеченные ими листья лежат в разных поддеревьях над корневыми
вершинами деревьев Г\ и ¿2. Обозначим их Х1 и Х2 . Обозначим ¿1,-..,
корневые поддеревья дерева . Не ограничивая общности, пусть Х1 и Х2
лежат в и ¿2 . Возьмем (^ - 2) переменных из оставшихся (^ - 2) поддеревьев, обозначим их Х3, —, . Так как в функции / все переменные существенные, то существует такая константная подстановка, что деревья £)[,-..,обращаются в переменные Х1,-..,х{. Применим эту подстановку к ¿1, получим дерево, реализующее формулу /'(Х1,-..,хг) слабоповторной в В0 функции. Применив эту подстановку ко второй функции, мы получим функцию, существенно зависящую не более чем от ^ переменных, в корне дерева которой находится дизъюнкция и которое представляет собой формулу вида Ф1 V — V Фу, которая является бесповторной в В \{/'} формулой, поскольку подформулы Ф1,-..,Фу имеют меньше ^ переменных. Такого дерева не существует для функции /', так как она слабоповторна в В0 и поэтому слабоповторна в любом базисе, содержащем В0 и другие слабоповторные в нем функции. Следовательно, деревья и ¿2 реализуют разные функции. Противоречие.
3. Первая функция - /'е Рт и зависит от ^ переменных, вторая -конъюнкция.
Доказывается аналогично пункту 2.
Утверждение доказано.
Теорема. Квазиканонические деревья, соответствующие бесповторной в В функции, эквивалентны.
Доказательство. Докажем по индукции по п .
Пусть п = 1. Тогда квазиканоническое дерево состоит из одного листа. Тогда два разных дерева будут соответствовать двум разным листьям, а по утверждению 6 у двух квазиканонических деревьев одной функции одинаковые листья, следовательно, не может быть двух разных деревьев.
Пусть у каждой функции с количеством переменных, меньшим чем п , квазиканонические деревья эквивалентны. Из этого следует, что эквивалентны и представления этой функции бесповторными формулами с поднятыми отрицаниями в базисе В .
Рассмотрим функцию /(Х1,...,хп), бесповторную в В и существенно зависящую от всех своих переменных. Так как функция поляризуемая, то, не ограничивая общности и согласно утверждению 6, будем считать, что она монотонна. Согласно замечанию к этому утверждению все листья ее квазиканонического дерева помечены переменными без отрицания. Допустим, что таких деревьев два и это и ¿2. По утверждению 8 корни
112 2 деревьев помечены одинаковыми функциями. Пусть ¿1,...,Оу и ,...,¿у -
поддеревья деревьев Г\ и ¿2, получаемые удалением корня из ¿1 и ¿2,
111 2 2 2 а множество Ф = {Ф1,...,Фг-) и Ф = {Ф1,...,Фу) - множества формул,
соответствующие этим поддеревьям. Заметим, что каждая из этих формул
либо является литералом, либо имеет вид g(^1,...,V£), где g может быть
помечена функцией из множества {&) и Рт, если корень помечен V,
функцией из множества {V) и Рт - если корень помечен &, и {&, V) и Рт,
если корень помечен функцией из Рт .
Тогда возможны три случая:
1. Корни деревьев помечены функцией V . Тогда функция, реализуемая первым деревом, имеет вид Ъ^= Ф1 V... V Ф1, а функция, реализуемая вторым 2 2
деревом - ^ = Ф1 V... V Ф у. Покажем, что для любой формулы из множества
12 Ф существует эквивалентная ей формула множества Ф . Допустим, это не
так и, не ограничивая общности, Ф1 не равна ни одной из формул множества Ф . Согласно предположению индукции это означает, что все функции, соответствующие формулам множества Ф , не равны функции, которую реализует ф1 . Возьмем множество всех переменных, входящих в ф1 . Возможны три варианта:
2
а) Все эти переменные лежат в одной формуле из множества Ф ,
22
например Ф1 , и в Ф1 нет других переменных. Тогда подставим нули на
места всех переменных обеих функций, кроме переменных Ф1, и в силу равенства этих функций получим, что формулы реализуют одну и ту же подфункцию. Но по предположению индукции эти формулы должны быть
эквивалентны. Следовательно, у Ф1 существует эквивалентная ей формула 2
множества Ф . Мы получили противоречие с нашим предположением.
2
б) Все эти переменные лежат в одной формуле из множества Ф ,
22
например Ф1 , и в Ф1 есть хотя бы одна другая переменная. Подставим в ¡\
2
и ^2 нули на места всех переменных, кроме переменных формулы Ф1 . Тогда
/ будет иметь вид / = Ф1 V /', где /' - существенная функция (так как Ф1
может быть равна Ф1 , как мы рассмотрели в предыдущем пункте), а /2
будет иметь вид /2 = Ф2 . Это значит, что формулы Ф2 и ф1 V И' реализуют одинаковые функции. По предположению индукции, эти формулы должны быть эквивалентны. Но в корне формулы Ф1 реализуется не дизъюнкция, и
поэтому из нее нельзя получить формулу ф1 V И' с помощью перестановки переменных. Противоречие.
в) Есть пара переменных, которые лежат в разных формулах, например, 22
Ф1 и Ф2 . Подставим в И1 и И2 нули на места всех переменных, кроме
переменных Ф1 . И получим две равные подфункции, выразимые формулами
вида Ф1 и V V-..уТ£ соответственно, где каждая формула V/ реализует
функцию, которая существенно зависит хотя бы от одной переменной Ф1 . По предположению индукции, эти подфункции реализуются бесповторными в В формулами с поднятыми отрицаниями, эквивалентными друг другу. Но из
формулы Ф1, корень которой помечен не дизъюнкцией, нельзя с помощью перестановки переменных получить формулу V V -.. уТ £ . Противоречие. Таким образом, каждая формула из множества Ф1 имеет эквивалентную ей формулу из множества Ф . В силу утверждения 6 это означает, что это
равенство взаимнооднозначно. Таким образом, формулу /1 = Ф1 V — V ф|
2 2
можно получить из формулы /2 = Ф1 V — V Фу с помощью преобразований А, Си Е и коммутативности операций V и &, и утверждение теоремы верно.
2. Корни деревьев помечены функцией & . Доказывается аналогично предыдущему случаю.
12
3. Корни деревьев помечены функцией /4 . Тогда множества Ф и Ф состоят из четырех формул, функция, реализуемая первым деревом, имеет вид /1 = /4(Ф1,Ф2,Ф3,Ф4), а функция, реализуемая вторым деревом -
/2= /4 (Ф2, Ф 2, Ф2, Ф 4).
Покажем, что верно одно из двух предположений:
1 2 1 2 1
а) Одинаковы множества переменных формул Ф1 и Ф1 , Ф 2 и Ф 2, Ф3 и Ф2, Ф4 и Ф2 .
1 2 1 2 1
б) Одинаковы множества переменных формул Ф1 и Ф3 , Ф2 и Ф4, Ф3 и Ф2, Ф4 и Ф2 .
Согласно утверждению 7 существует две переменных, лежащих в разных подформулах в обоих множествах. Рассмотрим четверку
переменных Х2, Х3 и Х4, где Х1 лежит в Ф1, Х2 лежит в ф2 , Х3 лежит
1 1 2 в Ф3 , Х4 лежит в Ф4, такую, что две из них лежат в разных формулах Ф .
Подставим константы на места остальных переменных так, чтобы от формул
Ф1, Ф2, Ф3, Ф4 остались только переменные Х1, Х2, Х3, Х4 . Это возможно в силу существенности переменных. Из функции Н получим подфункцию, выразимую формулой вида /4 (Х1, Х2, Х3, Х4). Так как функции Н и Н равны, то равны и получившиеся подфункции. Так как одна из пар выбранных переменных лежит в разных формулах множества Ф и функция /4 не выразима бесповторной формулой над v,&, то оставшаяся пара переменных должна лежать в двух оставшихся формулах соответственно, и подфункция Н2 будет иметь вид /4(я(Х1, Х2, Х3, Х4)), где я(Х1, Х2, Х3, Х4) - некоторая перестановка переменных Х1, Х2, Х3, Х4. Из утверждения 3 и замечания к нему следует, что это возможно только при перестановке (Х1, Х2, Х3, Х4) ^ (Х3, Х4, Х1, Х2) и тождественной перестановке. Тогда в случае
22
тождественной перестановки переменная Х1 лежит в Ф1 , Х2 лежит в Ф2 ,
2 2 1 Х3 лежит в Ф3 , Х4 лежит в Ф4 . Заменяя Х1 на другие переменные из Ф1 и
проводя аналогичные рассуждения, получим, что все переменные из Ф1 лежат 2
в Ф1 . То же самое верно для переменных из других множеств: переменные из
1 2 12 12 Ф2 лежат в Ф2 , из Ф3 - в Ф3 , а из Ф4 - в Ф4 . Следовательно, верно
предположение (а). В случае перестановки (Х1, Х2, Х3, Х4) ^ (Х3, Х4, Х1, Х2)
аналогичным образом доказывается справедливость предположения (б).
1 2 1
Если верно предположение (а), то докажем, что формулы Ф1 и Ф1 , Ф2
2 1 2 1 2 и Ф2, Ф3 и Ф3, Ф4 и Ф4 эквивалентны. Сначала докажем равенство
1 2 1 формул Ф1 и Ф1 . Подставим единицы на места переменных из Ф2 , и нули
12
на места переменных из Ф3 и Ф4. Подформулы, получаемые из Н и Н2
12
с помощью такой подстановки, равны соответственно Ф1 и Ф1 и равны
между собой. Следовательно, по предположению индукции, формулы эквивалентны. Аналогичным образом проводится доказательство для
остальных формул множества Ф1 .
Если верно предположение (б), доказательство проводится по той же схеме.
В обоих случаях формула /4(ф1, ф2, Ф3, ф4) эквивалентна формуле 2 2 2 2
/4 (Ф1, Ф2, Ф3, Ф4). Следовательно, если корни деревьев помечены функцией /4, то утверждение теоремы верно.
12
4. Корни деревьев помечены функцией /5 . Тогда множества Ф и Ф состоят из пяти формул, а функция, реализуемая первым деревом, имеет вид Н = У5(ФъФ2,Ф3,Ф4,Ф5), а функция, реализуемая вторым деревом -
Н2 = /5 (ф2, ф2, ф2, ф 4, ф2).
Согласно утверждению 7 существует две переменных, лежащих в разных подформулах в обоих множествах. Рассмотрим пятерку переменных
Х1, Х2, Х3, Х4 и Х5, где Х1 лежит в ф1 , Х2 лежит в ф2 , Х3 лежит в Ф3, Х4
лежит в Ф4, Х5 лежит в Ф5 , такую, что две из них лежат в разных формулах
Ф . Подставим константы на места остальных переменных аналогично предыдущему пункту. Таким образом, мы из функции /1 получим подфункцию, выразимую формулой вида /5(Х1
, Х2, Х3, Х4, х5), а подфункция /2 будет иметь вид /5 (я(Х1, Х2, Х3, Х4, Х5)), где л(Х1, Х2, Х3, Х4, Х5) - некоторая перестановка переменных Х1, Х2, Х3 и Х4 . Из утверждения 4 следует, что это возможно только при перестановках типа С . В этом случае формула /5(Фь ф2, Ф3, ф4, Ф5) эквивалентна формуле /5(Ф2, Ф 2, Ф2, Ф 2, Ф2). Следовательно, если корни деревьев помечены функцией /5 , то утверждение теоремы верно.
5. Корни деревьев помечены функцией /т . Тогда множества Ф1 и Ф2 состоят из 5 формул, а функция, реализуемая первым деревом, имеет вид /1 = /т (Ф1,-.., ф5 ), функция, реализуемая вторым деревом -
/2=/т (Ф?,-.., ф2 ).
12
Покажем, что множества переменных формул Ф1 и Ф1 совпадают, а
любое множество переменных Ф1, 1< у < 5, взаимнооднозначно соответст-
2
вует какому-то множеству переменных Ф у, 1 < у < 5 . Согласно утверждению 7
существует две переменных, лежащих в разных подформулах в обоих множествах Ф1 и Ф2. Рассмотрим произвольные 5 переменных Х1, —, х5,
где Ху лежит в Ф1, такие, что две из них лежат в разных подформулах Ф2. Аналогично случаю 3 подставим константы на места остальных переменных так, чтобы от формул ф1,—,Ф^ остались только переменные х^..,х5, и из функции / получим /т (Х1,—, х5), а из /2 получим подфункцию /т (я(Х1,—, х5)), где л(Х1, —, х5) - некоторая перестановка переменных Х1,—,х5 . Из симметричности функции по переменным Х2, —,х5 и несимметричности Х1 с остальными переменными следует, что это возможно
только при перестановках типа Е . Значит, наше предположение верно.
12
Аналогично случаю 3 доказывается эквивалентность подформул Фу и Фу ,
где 0<у <5 . Выходит, что формула /т(Ф^..,Ф^) эквивалентна формуле
/т(Ф2, ••,Ф2). Следовательно, если корни деревьев помечены функцией
/т , то утверждение теоремы верно. Теорема доказана.
Библиографический список
1. Стеценко, В. А. О предплохих базисах в Р; / В. А. Стеценко // Математические вопросы кибернетики. - 1992. - Вып. 4. - С. 139-177.
2. Вороненко, А. А. О проверяющих тестах для бесповторных функций / А. А. Вороненко // Математические вопросы кибернетики. - 2002. - Вып. 11. -С. 163-176.
3. Вороненко, А. А. О длине проверяющего теста для бесповторных функций в базисе {0,1,&,v, x} / А. А. Вороненко // Дискретная математика. - 2005. -Т. 17, № 2. - С. 139-143.
4. Джевонс, С. Основы науки / С. Джевонс ; пер. М. Антонович. - СПб. : Изд-во Л. Ф. Пантелеева, 1881. - 744 с.
5. Кузнецов, А. В. О бесповторных контактных схемах и бесповторных суперпозициях функций алгебры логики / А. В. Кузнецов // Труды математического института АН СССР. - 1958. - Т. 51. - С. 186-225.
References
1. Stetsenko V. A. Matematicheskie voprosy kibernetiki [Mathematical problems of cybernetics]. 1992, iss. 4, pp. 139-177.
2. Voronenko A. A. Matematicheskie voprosy kibernetiki [Mathematical problems of cybernetics]. 2002, iss. 11, pp. 163-176.
3. Voronenko A. A. Diskretnaya matematika [Discrete mathematics]. 2005, vol. 17, no. 2, pp. 139-143.
4. Dzhevons S. Osnovy nauki [Foundations of science]. Transl. by M. Antonovich. Saint-Petersburg: Izd-vo L. F. Panteleeva, 1881, 744 p.
5. Kuznetsov A. V. Trudy matematicheskogo instituta AN SSSR [Proceedings of the mathematical institute of AS USSR]. 1958, vol. 51, pp. 186-225.
Кафтан Дарья Владимировна инженер факультета вычислительной математики и кибернетики, Московский государственный университет имени М. В. Ломоносова (Россия, г. Москва, Ленинские горы, 1, стр. 52)
E-mail: blond.programmist@gmail.com
Kaftan Dar'ya Vladimirovna Engineer, faculty of calculus mathematics and cybernetics, Lomonosov Moscow State University (1/52 Leninskie gory street, Moscow, Russia)
УДК 517.718.7 Кафтан, Д. В.
Древесное представление бесповторных функций в расширенных элементарных базисах / Д. В. Кафтан // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2017. - № 3 (43). -С. 37-49. БОТ 10.21685/2072-3040-2017-3-4
