CC BY
37
Критерий полноты для класса планарных предикатных схем
Василевская 11.10.
В работе исследуется специальный класс дискретных управляющих систем — класс планарных предикатных схем, представляющий собой модификацию модели схем из предикатных элементов, в которой рассматриваются схемы, граф которых является планарным, а входы расположены на внешней грани. По аналогии с моделью СФЭ для полного базиса данной модели формулируется критерий планарной реализуемости и описывается алгоритм преобразования произвольной непланарной предикатной схемы в заданном базисе в планарную предикатную схему.
1 Описание модели
Дадим определение предикатной схемы и ее функционирования по аналогии с [2].
Определение. Схемой из предикатных элементов или предикатной схемой в базисе П назовем помеченный неориентированный двудольный граф следующей структуры:
• каждая вершина из первой доли помечена некоторым множеством символов из алфавита X и/или множеством символов из алфавита Y. Алфавит X соответствует входным переменным предиката, а У - его внутренним переменным, т.е. переменным, возникающим непосредственно в процессе вычисления;
• каждая вершина второй доли помечена некоторым символом п* из множества П и соединена к ребрами, пронумерованными числами 1,..., к, с вершинами из первой доли.
Вершины из первой доли будем называть узлами схемы, а вершины из второй доли - её предикатными элементами. Узлы схемы, соединенные ребрами с предикатным элементом, будем называть полюсами этого элемента, а узлы, соответствующие входным переменным, - полюсами схемы. При этом считается, что узел является ^’-м полюсом предикатного элемента и соответствует его ^’-ой переменной, если соединяющее их ребро имеет номер ]. Полюс схемы, которому приписано более одной входной переменной, называется кратным полюсом этой схемы.
Будем считать элементарной такую предикатную схему, которая состоит либо из изолированной полюсной вершины, либо только из одного предикатного элемента п*, 1 < г < к, где к - число полюсов указанного элемента.
Функционирование предикатной схемы на конкретном наборе определяется допустимостью состояния схемы на этом наборе. Предикатная схема £ находится в допустимом состоянии на заданном наборе значений её полюсных переменных тогда и только тогда, когда существует такой набор значений внутренних переменных схемы, на котором все предикатные элементы схемы находятся в допустимых состояниях. Если же указанного набора значений внутренних переменных не существует, то считается, что схема находится в недопустимом состоянии на заданном наборе значений её полюсных переменных.
Предполагается, что предикатная схема £ ревизует предикат п от её полюсных переменных, если множество допустимых наборов п совпадает с множеством тех наборов, на которых £ находится в допустимом состоянии. При этом схемы будем называть эквивалентными, если они реализуют равные предикаты.
Отметим, что элементарная предикатная схема, состоящая из изолированной полюсной вершины, реализует тождественно истинный предикат. Будем считать также, что тождественно истинный (соответственно тождественно ложный) предикат реализуется любой предикатной схемой без входных полюсов, которая имеет непустое (соответственно пустое) множество допустимых состояний.
В общем случае граф предикатной схемы может содержать несколько компонент связности. В дальнейшем, будем считать, что схема не содержит компонент связности, которые не имеют полюсных узлов и для которых существует хотя бы один допустимый набор, так как такие компоненты не влияют на функционирование схемы.
1.1 Способы описания предикатных схем
Существуют различные способы представления предикатных схем, каждый из которых лучше отражает определенные свойства данной модели. Так, например, предикатные элементы и отдельные взаимосвязи между ними, отображенные в графовой модели, весьма наглядно отражают топологию схемы, в то время как для функционального описания схемы в смысле определения множества допустимых значений всей схемы или отдельных ее подсхем, естественно использовать такой способ описания функционирования предиката, как выражение его области допустимых значений через характеристические функции. Отдельно стоит упомянуть и универсальную модель обобщенных задач выполнимости.
Графовое представление
неориентированного графа наглядно описывает топологию схемы и взаимосвязи между отдельными подсхемами.
В тех случаях, когда это не вызывает разночтений, не будем различать узел схемы и переменную, символ которой приписан данной вершине, а также предикатный элемент и сам предикат, отвечающий этому элементу. Также, для удобства, в некоторых случаях будем использовать упрощенное описание предикатной схемы, опуская пометки дуг и некоторых внутренних вершин.
Модель характеристических функций
Для представления допустимых наборов значений результирующей схемы или отдельных предикатных элементов, удобно использовать характеристические функции. Так, функционирование предикатного элемента п(ж1,... , хк) с к полюсами, задается его характеристической функцией от к переменных, связанных с указанными полюсами, и определяется тем, что предикатный элемент находится в допустимом состоянии на тех и только тех наборах значений этих переменных, на которых данная функция равна 1.
В дальнейшем, предикат п, зависящий от п переменных, будем обозначать п(х1,... , хп), а П(х1,... , хп) будет соответствовать множеству кортежей (наборов значений, множеству истинности) предиката п(х1,..., хп): П(хь ...,!„) = {а|Хп (а) = 1}
1.2 Операции над предикатными элементами
Определение. Суперпозицией двух предикатных схем, не имеющих общих вершин и пометок, будем называть их объединение с возможным отождествлением группы полюсов этих схем, которое сопровождается приписыванием новой (“объединенной”) вершине либо некоторого подмножества переменных данной группы, либо “новой” внутренней переменной.
Выше были описаны две модели для представления предикатных схем: графовая, удобная для отображения топологии схемы; и характеристических функций, подходящая для работы с множеством допустимых значений отдельных элементов схемы. Далее будут рассмотрены частные случаи операции суперпозиции и их отображение на каждую из моделей.
Отметим, что для описания функционирования предикатных схем в ряде статей ([3], [4], [1]) использовались (3, &) -формулы, а операция суперпозиции двух предикатов п1 и п2 соответствовала операции конъюнкции.
Определение. Конъюнкцией п1(х1,..., хт) и п2(х1,..., хп) называется такой (т + п)-местный предикат п, что
п(х^ . . . , Хт, хт+Ъ . . . , хт+п) = п1 (хЪ . . . , хт)&п2 (хт+1, . . . , хт+п)
Заметим, что если у предикатов, к которым применяется операция конъюнкции, не будет общих переменных, то Пп кортежей предиката п^ и п соответствен но: П = П1 (Е> П2.
Частными случаями операции суперпозиции являются перечисленные ниже операции.
•
С точки зрения графовой модели, операция проекции предиката п1(х1,..., хп) по переменной х* заключается в снятии пометки переменной х* со всех вершин, ранее ею помеченных.
С точки зрения модели характеристических функций, по аналогии с [3], проекцией предиката п1(х1,..., хп) по переменной х* называется такой (п — 1)-местный предикат п, что: п(х1,..., х*_1, х*+1,..., хп) = (3х*)п1(х1,. .., х*_ 1, х*, х*+1,. .., х„).
•
С точки зрения графовой модели, в результате суперпозиции предикатов с отождествлением по к переменным, каждая пара отождествляемых вершин заменяется одной, которой приписываются пометки отождествляемых вершин обоих предикатов.
С точки зрения модели характеристических функций, суперпозицией п1(х1,..., хт) и
п2 (у 1,..., уп) с отождествлением по первым к переменным называется (т + п)-местный предикат
п(х1, . . . , хк, хк + 1, . . . , xm, ут+1, . . . , уп ) п1 (х1, . . . ,хк, хк+1 . . . , хт )&п2 (хЪ . . . , хк + Ъ . . . , Уп ) •
Отдельно стоит выделить операцию суперпозиции предикатов с отождествлением не более чем по 2 переменным с ограничением на дальнейшее использование внутренних переменных результирующего предиката: внутренняя переменная может быть использована в последующих операциях суперпозиции тогда и
только тогда, когда это не приведет к реберным пересечениям или перемещению входных переменных предиката на внутренюю грань. В дальнейшем такую операцию будем называть ограниченной суперпозицией с отождествлением по 2 переменным.
Отождествление входов схемы можно рассматривать как частный случай операции суперпозиции с отождествлением, в которой участвует не пара предикатов п1 (х1,...,хп) и п2(х1,..., хт), а один предикат п1(хь . . . ,хп).
• Подстановка констант (<Г1,..., а к) вместо первых к переменных
Будем называть предикатами-константами предикаты по(х) и п1(х), множества определения которых состоят из соответствующей константы: П0 = {(0)}, П1 = {(1)}.
В таком случае, операцию подстановки констант вместо к переменных предиката п'(х1,..., хп) можно определить как операцию суперпозиции предиката п'(х1,..., хп) и к предикатов пст(х), где а € [0,1], и каждый из предикатов-констант отождествляется с предикатом п' то то переменной х.
В модели характеристических функций данное преобразование будет выглядеть следующим образом: п(хЬ ...,хп) = п'(<71, . . . ,<7к,хк+1, . . . ,хп )•
Рассмотрим предикат п-(х1, х2), множество определения которого имеет вид П^ = {(01), (10)}. Тогда операцию отрицания переменной х* можно представить как суперпозицию исходного предиката и предиката п- с отождествлением по переменной х*.
В модели характеристических функций это преобразование будет выглядеть следующим образом: п(х1,. .., у,. .. ,хк) = п1(х1, .. ., х*, .. . ,хк)&п-(х*,х2).
1.3 Полнота
Определение. Система предикатов В = {п1,..., пк } является полной, если, применением операций суперпози-
п(х1, . . . , хп)
€ РП, где Р2 есть множество всех булевых функций от п переменных.
Определение. ФАЛ /(х1,..., хп) от п переменных сохраняет предикат (х1,..., хт) от т переменных тогда и только тогда, когда для любых п допустимых наборов а* = (а1,..., аП), г = 1, п значений переменных предиката п набор значений (/(а1,..., аП),..., /(а^,..., а^)) тоже является допустимым для предиката п.
Определим следующие классы предикатов:
• ТО — множество всех предикатов, сохраняющих константную ФАЛ 0;
• Т. — множество всех предикатов, сохраняющих константную ФАЛ 1;
• Э - множество всех предикатов, сохраняющих ФАЛ х;
•
В
она не лежит целиком ни в одном из 7 предполных классов: Т0, Т1, 5М, 5Х, 5, К, В. Щ
Определение. Шефферовым базисом будем называть полный базис, состоящий из одного предиката. Сам этот предикат будем называть шефферовым предикатом.
п1 п2 п2
п1 П1 п1 П2
п2
Определение. Набор (а1,..., ап) называется существенным для предиката п арности п, если п(а1,..., ап) = 0 и существует 61, .. ., 6п такие, что для любого г € {1, 2,.. ., п} выполняется п(а1,. .., а*_1, 6*, а*+1, ..., ап) = 1.
п
конъюнкции предикатов меньшей арности.
Лемма 1.2 Следующие три условия эквиваленты: п
2. п = п-(х1,х2^(?е П- = {(01), (10)}; п
2 Обоснование планарности
Определение. Предикатная схема, которую можно уложить на плоскости без реберных пересечений таким образом, что полюса предикатов, соответствующие внешним переменным, лежат на внешней границе, называется планарной.
Определение. Базис называется планарным, если в нем можно реализовать любой предикат планарной схемой.
Определение. Операции над предикатной схемой, сохраняющие планарность схемы, будем называть операциями планарной суперпозиции.
Лемма 2.1 Ограниченная суперпозиция с отождествлением по двум переменным, проекция, подстановка констант, отождествление входов и отрицание переменной являются операциями планарной суперпозиции.
Доказательство. Из определения операций над предикатами в §1.2 следует, что операция проекции, операция подстановки констант вместо к переменных, отождествления входов и отрицания переменной не меняют планарность схемы. Действительно, при операции проекции, граф предикатной схемы остается неизменным; при операции отождествления входов количество вершин-переменных уменьшается на 1, число же ребер остается прежним, однако появляется дуга от предикатного элемента до отождествляемого входа; в случае подстановки констант добавляется к вершин, соответствующих предикатным элементам и к ребер, что не может добавить к графу схемы даже новых циклов; отрицание переменной добавляет к графу простую цепь.
Ограниченная суперпозиция с отождествлением по 2 переменным не влияет на планарность в силу наложенных на нее ограничений, □.
Покажем, что, применяя к предикатам п^ , пк ,пд только следующие операции планарной суперпозиции -проекцию, суперпозиции с отождествлением не более чем по 2 переменным и отождествления входов, можно получить предикаты-константы п0(х1), П0 = {(0)} и п1(х1), П1 = {(1)} и предикат-отрицание п-(х1,х2), П- = {(01), (10)}.
2.1 Получение констант
Лемма 2.2 Из предиката п^ € где Б - класс предикатов, сохраняющих х, применением операции отождествления входов и подстановки констант, можно получить планарную реализацию предикатов-констант п0 (х),п1(х).
Доказательство. Так как п^ € Б то в П^ существуют такой набор а15 что его отрицание не принадлежит множеству определения предиката: 3а1 € П^, а! € П^. Применяя операцию отождествления входов к тем переменным, которые равны а на таборе а, получаем один го предикатов-констант пст (х).
Если а = 0, то рассмотрим предикат пТо(х1,...,хп) € Т0. Очевидно, что этот предикат не
содержит нулевой набор. Проецируем по (п — 2) переменным таким образом, чтобы п' (х1,х2) =
3х*1,... ,х*п-2пТо(х1,х2,х*1,... ,х*п-2) имел в качества множества наборов П' = (01) или всевозможные расши-
(00) п1 (х)
□
В случае константы 1, поступаем аналогично. Заметим, что при получении константы использовались только
□
2.2 Получение отрицания
Лемма 2.3 Пусть даны предикаты пк ф К, пд ф Б, где К(Б) - класс предикатов, сохраняющих конъюнкции (дизтонкцию) двух и более переменных. Тогда, применением, операций подстановки констант и проекции к предикатам пк, пд, можно получить планарную реализацию предиката п—
Доказательство. Вначале проведем доказательство для случая, когда оба предиката, пк и пд зависят от 2 переменных.
Так как пк ф К, т0 найдутся такие наборы а1 и а2 го области определения предиката Пк, что а1_&а2 =
в, в Ф П причем эти наборы должны отличаться как минимум по двум переменным ж*, ж^-. Значит, либо предикат пк (ж1, ж2) будет являться искомым предикатом п_,, либо его множество допустимых значений будет иметь вид Пк = {(01), (10), (11)} Проводя аналогичные рассуждепия для пд, получим, что либо пд(у1, у2) = п_,, либо Пд = {(00), (01), (10)}. Тогда, производя операцию ограниченной суперпозиции с отождествлением по переменным ж1 = у1,ж2 = у2, получаем предикат п—
Пусть теперь один из предикатов зависит более чем от 2 переменных. Без ограничения общности, будем считать, что это пк. Так как пк ф К, т° найдутся такие наборы а1 и а2 из области определения предиката Пк, что а1&а2 = в,в Ф П, причем эти наборы должны отличаться как минимум по двум переменным ж*,ж^. Выделим из множества переменных предиката подмножество М = {ж(|£ = *,£ = .?, а14 = а24} и подмножество N = X\{Ми{ж*,ж^-}}. Во множество М входят переменные, соответствующие противоположным значениям а1 а2
ющие константы вместо переменных из 1М, получим предикат п— Заметим, что при получении константы использовались только операции планарной суперпозиции, следовательно, результирующие предикаты-константы планарны, □.
Из лемм 2.1, 2.2 и 2.3 вытекает важное следствие:
Следствие 2.4 Если В - полный предикатный базис по критерию полноты для предикатных схем 1.1, то к предикатам из В допустили) применение полного набора операций планарной суперпозиции, включая отрицание переменной и подстановку констант.
2.3 Основные утверждения
2.4 Планарные базисы
Рис. 1: Шефферовы предикаты от 3 переменных
Определение. Минимальным предикатом птіп(жі,... , жп) ф Р, где Р - один из предполных классов, будем называть такой предикат п, что V* : п'(ж1,..., жп-1) = Зжіптіп(ж1,..., ж*,..., жп) =^ п' ф Р. Т.е. любой
предикат, полученный из птіп проекцией по одной из переменных предиката, принадлежит Р.
Определение. Рассмотрим предикат п, множество кортежей которого имеет вид
(а, а, а,. .., а, а)
(а, а, а,..., а, а)
(а, а, а,. .., а, а)
Нетрудно видеть, что п - существенный предикат, а (а, а,..., а) — существенный набор. В дальнейшем, предикаты, множество кортежей которых обладает такой структурой, будем называть симметричными предикатами порядка п и обозначать пПутт. Нетрудно видеть, что существенный предикат является расширением симметричного предиката, а характеристическая функция пПутт представляет собой симметрическую функцию с рабочим числом 1 или (п — 1).
Лемма 2.5 Существует алгоритм преобразования непланарной предикатной схемы Е в базисе В = {п^утт} в планарную предикатную схему Е' в базисе В.
Доказательство. Так как в базисе В = {п^утт} предикат пНпеаг, с множеством допустимых наборов Пцпєаг = {(001), (010), (100), (111)} можно ревизовать планарной схемой (см. рис. 2, где вместо + используется операция отрицания суммы по модулю 2 (®)), то, замещая каждое реберное пересечение исходной схемы на 3 предиката пцпеаг то алгоритму та рис. 3, получаем планарную реализацию требуемого предиката в базисе В, □.
Рис. 2: Реализация пцпеаг в базисе В = {п^утт}
У х
Рис. 3: Получение планарной схемы
Лемма 2.6 Если п ф БМ, где БЫ - класс предикатов, сохраняющих все монотонные самодвойственные функции, то, применяя операции проекции и отрицания переменной, можно получить пт^п ф БМ, причем пт^п будет являться расширением симметричного предиката.
Доказательство. Рассмотрим пт^п ф БМ Пусть 3 = (в1, ..., вк) _ набор, полученный в результате применения какой-то несамодвойственной функции, которую предикат не сохраняет. Ясно, что /3 ф Пт*п, т.е. 3 = ф Ит*п. Однако, для соблюдения условия минимальности предиката, а именно присутствия свойства принадлежности классу БЫ, всеми предикатами, полученными из пт^п проекцией то какой-либо переменной, Пт*п должно содержать наборы (Д1 ,^2,... ,вк), (въАъ . ..,вк),..., (вь&,... ,вк)•
Нетрудно видеть, что набор (в 1, /32,..., в к) - существенный для пт^п.
Так как класс БЫ замкнут относительно операции отрицания переменной, применяя эту операцию к пт^п можно получить п'^1п, такой, что набор (а, а,..., а) является для него существенным, а сам п'тЫ является расширением симметричного предиката, □.
Следствие 2.7 Из любого несамодвойственного предиката п ф БЫ, применением, операций планарной суперпозиции можно получить минимальный предикат птп ф БЫ, который будет являться существенным предикатом с существенным набором а = (а, а,..., а), а ф {0,1}.
Лемма 2.8 Пусть п ф БЫ, п - расширение симметричного предиката п^утт. Тогда, применяя операции планарной суперпозиции, можно получить планарную реализацию пцпеаг.
Доказательство. По условию, И = П3утт У А, где А С {(ааа), (ааа), (ааа), (ааа)}.
Заметим, что во всех наборах из А от 2 до 3 координат равны а, и |А| = к, 1 < к < 4. Рассмотрим предикат п1 (у1, у2) с множеством наборов П1 = {(а, а), (а , а), (а, а )}.
Примененяя операцию суперпозиции с отождествлением по 2 переменным х^ = у1, х*2 = у2 исходного предиката п(х1, Х2, хз) и предиката п1(уьу2), где *1 = *2 = 3,
■ = [ Ъ если 3/3 =(^1,в2,вз) ф А, Рг = а
\ V; ф [1, 3] если А = {(а, а, а)}
не более чем к раз, можно убрать “лишние” наборы и получить симметричный предикат.
Остается получить предикат п1(х1, х2). Если п1(х1, х2) те получается из п(х1, х2, х3) проекцией по какой-либо переменной, то рассмотрим 2 случая.
1. Пусть А = {(а, а, а)}. Тогда 3/3 = (в1,в2,в3) ф А, в = а. Подставив на место Ъ-ой переменной предиката п константу а, и спроецировав то переменной t получим: предикат п1 (х1,х2) с множеством кортежей П1 = {(а , а), (а, а ), (а, а)}, из которого искомый предикат п1 получается применением операции отрицания 2 переменных.
В базисе из симметричного предиката п^утт предикат пцпеаг получается известным образом по лемме 2.5.
2. Пусть А = {(а, а, а)}. Тогда п = пцпеат, □•
Следующие две леммы показывают как, применяя операции планарной суперпозиции, от симметричного предиката размерности п или его расширения, перейти к симметричному предикату размерности (п — 1) или его расширению.
Лемма 2.9 Если п(х1,...,хп) = п!?утт,п > 3, то, применяя операции подстановки констант и проекции, можно получить планарную реализацию пгпу-^т.
Доказательство. Так как п ф БЫ, то у предиката п есть существенный набор а = (а,..., а). Тогда, производя
а
получаем предикат п1(х1,..., хп-1) = пгпу-г^т, □
Лемма 2.10 Если п(х1,..., хп) ф БЫ, п > 3, то, применяя операции подстановки констант, отрицание переменных и проекции, можно получить планарную реализацию п1(х1,... ,хп-1) ф БЫ, □.
п
птт ф БЫ с существенным набором а = (а,...,а) ф Пт4п. Дадее, подставляя константу а вместо одной из переменных предиката пт*п и производя операцию проекции то этой переменной, получаем предикат п15
БЫ (п — 1) □
3 Алгоритм планарного сведения
Теорема 3.1 Пусть дана непланарная предикатная схема Я в полном, предикатном базисе В, максимальная арность элементов которого равна 3. Тогда из Я, применением, операций планарной суперпозиции, можно получить схему Я', реализующую тот же предикат, что и Я, но являющуюся планарной.
Доказательство. Приведем конструктивный алгоритм преобразования исходной схемы.
Вначале получаем планарную реализацию предикатов по, п^ и п_, по леммам 2.2 и 2.3. Их наличие, по лемме 2.4, делает доступным весь набор операций планарной суперпозиции.
Далее заменяем каждое реберное пересечение по лемме 2.5.
Теорема 3.2 Пусть дана непланарная предикатная схема Я в полном предикатном базисе В. Тогда из Я,
Я'
Я
Доказательство. Предикаты п0,п1,п- получаем аналогично доказательству теоремы 3.1.
Выделяем из базиса В п(х1,..., хп) ф БЫ. По леммам 2.9 и 2.10, применяя операции планарной суперпозиции к предикату п(х1,..., хп), можно получить предикат п'(х1, х2, хз), являющийся либо симметричным предикатом от 3 переменных, либо его расширением.
Далее, по лемме 2.8 го предиката п' получаем пцпеат и преобразовываем схему в планарную по лемме 2.5, □.
Из теоремы 3.2 следует критерий полноты для модели планарных предикатных схем.
3.1 Критерий полноты
В
полной в классе планарных предикатных схем, она не лежит целиком ни в одном из 7 предполных
классов: Т0, Т1, БЫ, Б£, Б, К, В.
Таким образом, критерий полноты для модели планарных предикатных схем совпадает с критерием полноты для обычной модели.
Список литературы
[1] М. С. Шуплецов, “Оценки высокой степени точности для сложности предикатных схем в некоторых базисах”, Физикоматематические науки, Учён. зап. Казан, гос. ун-та. Сер. Физ.-матем. науки, 151, Изд-во Казанского ун-та, Казань, 2009, 173-184.
[2] Методы синтеза и оценки сложности схем, построенных из элементов предикатного типа : диссертация на соискание степени кандидата физико-математических наук : 01.01.09 / Шуплецов Михаил Сергеевич; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова] - Москва, 2011 - Количество страниц: 114 с.
[3] Марченков С. С. Предполнота замкнутых классов в Рк : предикатный подход // Математические вопросы кибернетики. Вып. 6. М.: Наука. Физматлит, 1996. С. 117-132.
[4] Д.Н. Жук. Решетка замкнутых классов самодвойственных функций трехзначной логики. Издательство МГУ Москва, 2011
