" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

БУЛЕВЫХ ФУНКЦИИ МИНИМИЗАЦИЯ

Значение БУЛЕВЫХ ФУНКЦИИ МИНИМИЗАЦИЯ в математической энциклопедии:

представление булевых функций нормальными формами (см. Булевых функций нормальные формы). простейшими относительно нек-рой меры сложности. Обычно под сложностью нормальной формы понимается число букв в ней. В этом случае простейшая форма наз. минимальной. Иногда в качестве меры сложности рассматривается число элементарных конъюнкций в дизъюнктивной нормальной форме или число сомножителей в конъюнктивной нормальной форме. В этом случае простейшая форма наз. кратчайшей. В силу двойственности дизъюнктивных и конъюнктивных нормальных форм достаточно рассматривать только дизъюнктивные нормальные формы (д. н. ф.). Построение кратчайших и минимальных д. н. ф. имеет каждое свою специфику. Множества минимальных и кратчайших д. н. ф. одной и той же функции могут находиться в любых теоретико-множественных соотношениях: содержаться одно в другом, иметь пустое пересечение или непустую симметрическую разность. Если для функции f обозначить через сложность минимальной д. н. ф., через - минимальную сложность кратчайшей д. н. ф., а через - наибольшее из отношений по всем функциям от ппеременных, то справедливо асимптотич. соотношение:

.

Обычно под задачей Б. ф. м. понимается задача построения их минимальных д. н. ф. Существует тривиальный алгоритм построения всех минимальных д. н. ф. для произвольной булевой функции Он состоит в просмотре всех д. н. ф. с переменными и выделении тех из них, к-рые реализуют функцию f и имеют минимальную сложность. Этот алгоритм фактически неприменим уже при небольших пввиду быстрого роста числа операций. Поэтому было построено большое число других алгоритмов, к-рые, однако, эффективно применимы не ко всем функциям.

Исходным заданием функции в задаче минимизаций обычно считают таблицу, совершенную д. н. ф. (см. Бyлевых функций нормальные формы).или произвольную д. н. ф. На первом этапе от исходного задания осуществляется переход к так наз. сокращенной д. н. ф., к-рая определена для каждой функции однозначно. Существует большое число методов реализации этого перехода. Наиболее универсальный метод состоит в выполнении над д. н. ф. преобразований вида

Сокращенная д. н. ф. обладает тем свойством, что любая минимальная д. н. ф. получается из нее удалением нек-рых элементарных конъюнкций. Второй, наиболее трудоемкий, этап состоит в получении из сокращенной д. н. ф. всех тупиковых д. н. ф., среди к-рых содержатся и все минимальные. На этом этапе обычно используется геометрич. представление булевых функций. Пусть Е _п обозначает множество всех вершин n-мерного единичного куба. Каждой булевой функции взаимно однозначно соответствует подмножество N^ , таких вершин где Пусть - элементарная конъюнкция ранга r, тогда множество наз. интервалом ранга r, соответствующим элементарной конъюнкции Говорят, что система интервалов образует покрытие множества , если

Так как равенства

эквивалентны, то задача Б. ф. м. равносильна отысканию покрытий, сумма рангов интервалов к-рых минимальна. Такие покрытия наз. минимальными. Интервал наз. максимальным для функции f, если и не существует интервала такого, что . Построение тупиковых д. н. ф. функции f сводится к отысканию таких покрытий множества максимальными интервалами, никакое собственное подмножество к-рых не является покрытием множества . Эти покрытия соответствуют тупиковым д. н. ф. к наз. неприводимыми. Они получаются из покрытий, соответствующих сокращенным д. н. ф., путем удаления нек-рых интервалов.

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

Оценки числа тупиковых д. н. ф. и разброса сложностей показывают, что естестве. <нным путем улучшения эффективности алгоритмов минимизации является путь более тонких рассмотрении при удалении элементарной конъюнкции из д. н. ф. Удалять (или, наоборот, закреплять до конца процесса) конъюнкцию следует лишь в том случае, если для нее посредством нек-рой процедуры удается установить, что она не входит ни в одну минимальную д. н. ф. для (входит во все минимальные д. н. ф. для ). Последний факт устанавливается обычно при помощи анализа конъюнкций, близких к рассматриваемой, т. е. входящих в окрестность этой конъюнкции (см. Алгоритм локальный). При этом разрешается накапливать информацию об элементарных конъюнкциях и использовать ее в дальнейшем анализе. Процедуры указанного вида получили назв. локальных алгоритмо в упрощения. Ниже приводятся нек-рые из них. В их описании используется понятие окрестности k- гоо порядка элементарной конъюнкции в д. н. ф. .

Окрестность нулевого порядка состоит из одной конъюнкции . Если есть окрестность (k-1)-го порядка, то окрестность k-ro порядка состоит из всех конъюнкций д. н. ф. , удовлетвбряющих одному из следующих условий:

1) имеет непустое пересечение хотя бы с одним интервалом, соответствующим конъюнкции из ;

2) , где удовлетворяют условию 1).

Алгоритм Куайна. На каждом шаге рассматривается окрестность одной из конъюнкций в д. н. ф. . В процессе работы алгоритма для каждой из конъюнкций делается попытка вычислить одно из свойств: -

" входит во все минимальные д. н. ф.", -

" - не входит ни в одну минимальную д. н. ф.".

Алгоритм работает следующим образом. 1) По очереди для каждой конъюнкции из строится окрестность . Проверяется включение: Если оно не имеет места, то отмечается нек-рым способом как входящая во все минимальные д. н. ф. В этом случае говорят, что входит в ядро д. н. ф. (является ядровой конъюнкцией). 2) Пусть на первом этапе в отмечены конъюнкции . Остальные конъюнкции из упорядочиваются, и для каждой такой конъюнкции проверяется включение Конъюнкции, для к-рых это соотношение выполнено, не входят ни в одну минимальную д. н. ф.; они удаляются из .

Алгоритм регулярных точек. Этот алгоритм на каждом шаге осматривает окрестность конъюнкции в д. н. ф. и удаляет конъюнкции, не входящие ни в одну тупиковую и, следовательно, ни в одну минимальную д. н. ф. В описании алгоритма используется понятие -пучка в д. н. ф. , представляющего собой для рассматриваемой точки из множество интервалов таких, что . Для конъюнкции из д. н. ф. точка из наз. регулярной относительно (21, 91), если существует точка такая, что и . Множество наз. р е-гулярным относительно , если все его точки регулярны относительно . Описываемый алгоритм основывается на том, что конъюнкция из сокращенной д. н. ф. функции f не входит ни в одну тупиковую д. н. ф. функции f тогда и только тогда, когда есть множество, регулярное относительно . Алгоритм проверяет в нек-ром порядке, являются ли интервалы конъюнкций, входящих в д. н. ф., регулярными множествами, и удаляет те из них, интервалы к-рых регулярны. Свойство интервала быть регулярным относительно полностью определяется окрестностью и, вообще говоря, не определяется окрестностью А- алгоритм. Здесь используется понятие д. н. ф., минимальной относительно д. н. ф. , т. е. такой д. н. ф., к-рая минимальна среди всех д. н. ф., эквивалентных и получающихся из опусканием нек-рых элементарных конъюнкций. Рассматриваются два свойства элементарной конъюнкции в д. н. ф.: - " входит во все д. н. ф., минимальные относительно ", н - " не входит ни в одну д. н. ф., минимальную относительно ".

Считается, что , если свойство имеет место, и в противном случае. Предполагается, что д. н. ф. составлены из конъюнкций с информационными отметками . При этом равенство означает, что свойство не вычислено (=1, 2), а равенства означают, что (=1,2). Конъюнкция с информационными отметками обозначается через . А-алгоритм вычисляет значения свойств для конъюнкций из д. н. ф. , используя для этого лишь конъюнкции из окрестности и их информационные отметки. Для конъюнкции ранга г из д. н. ф. множество наз. множеством первого типа относительно , если в д. н. ф. существуют конъюнкции рангов такие, что и

Разностью д. н. ф. наз. д. н. ф., состоящая из элементарных конъюнкций, входящих в и не входящих в .

До применения А-алгоритма все конъюнкции из рассматриваемой д. н. ф. имеют отметку (). Если выполнены шагов и отметку () получили конъюнкции а отметку () - конъюнкции , то -и шаг состоит в следующем. Упорядочивают нек-рым способом конъюнкции из д. н. ф. Если д. н.. ф. пустая, то А- алгоритм заканчивает свою работу. В противном случае после упорядочивания к.-л. способом конъюнкций из этой д. н. ф. выделяются первая по порядку конъюнкция и ее окрестности и в д. н. ф. и проверяется соотношение

Если оно выполнено, то отметка над заменяется на и - й шаг А-алгоритма заканчивается. Если оно не выполнено, то проверяется, можно ли представить в виде - множество, регулярное относительно (), а - множество первого типа относительно (). Если можно представить в таком виде, то отметка () над заменяется на отметку (), и ( )-й шаг А-алгоритма заканчивается; если - нельзя, то описанная процедура применяется ко второй по порядку конъюнкции, и т. д. Если при этом ни у одной из конъюнкций отметка не изменится, то после просмотра всех конъюнкций работа А-алгоритма заканчивается.

Если за д. н. ф. принять сокращенную д. н. ф. функции , то все конъюнкции, получившие в алгоритме отметку (), не входят ли в одну минимальную д. н. ф. функции f; они удаляются из . Конъюнкции, получившие отметку (), входят во все минимальные д. н. ф. функции f. Рассматривались также различные частные случаи А-алгоритма.

Кольцевой алгоритм расставляет над конъюнкциями информационные отметки ( ), значение к-рых то же, что и в А-алгоритме. На каждом шаге кольцевой алгоритм использует конъюнкции, входящие в окрестность k-ro порядка нек-рой конъюнкции, и их информационные отметки. Ниже излагается упрощенный вариант этого алгоритма. В полном виде коль-.цевой алгоритм - наилучший в классе локальных алгоритмов со специальной памятью по окрестностям . Описанные выше алгоритмы являются частными случаями общего кольцевого алгоритма. Если

то каждому подмножеству сопоставляется не всюду определенная булева функция множество единиц к-рой есть , а множество нулей есть ; на множестве функция не определена. Множество таких функций обозначается через . До начала работы алгоритма все конъюнкции из рассматриваемой д. н. ф. имеют отметку (). Если выполнены i шагов и отметку () получили конъюнкции а отметку () - конъюнкции то -и шаг состоит в следующем. Упорядочивают нек-рым способом конъюнкции из д. н. ф. Если д. н. ф. пустая, то алгоритм заканчивает свою работу. В противном случае после упорядочения к.-л. способом всех конъюнкций этой д. в. ф. для конъюнкции , являющейся первой из них, и для каждой функции f из множества находятся все д. н. ф., реализующие f на ее области определения, к-рые составлены из конъюнкций окрестности и содержат по сравнению с другими такими д. н. ф. наименьшее число символов переменных. Среди них выделяются все те д. н. ф., к-рые, во-первых, не содержат конъюнкций и, во-вторых, содержат все конъюнкции удовлетворяющие условию

Если для всех из конъюнкция входит во все выделенные д. н. ф., то отметка () над заменяется на отметку -и шаг алгоритма заканчивается. Если не входит ни в одну из выделенных д. н. ф., то отметка заменяется на отметку и -и шаг алгоритма заканчивается. В остальных случаях описанная процедура применяется ко второй по порядку конъюнкции и т. д. Если ни у одной из конъюнкций не удается изменить отметку, то на -м шаге работа алгоритма заканчивается. Все конъюнкции, получившие в кольцевом алгоритме над сокращенной д. н. ф. функции отметки (соответственно ), входят во все минимальные д. н. ф. (соответственно не входят ни в одну минимальную д. н. ф.) функции f. Результат применения описанных выше алгоритмов не зависит от способа упорядочения конъюнкций в д. н. ф.

Задача выделения всех конъюнкций, входящих хотя бы в одну и не входящих ни в одну минимальную д. н. ф., не может быть решена алгоритмами, работающими с при k, ограниченных пли недостаточно быстро растущих с ростом пчисла переменных. Ситуация не изменится, если к запоминаемым в алгоритме свойствам P₁ , Р ₂ добавить ограниченное или недостаточно быстро растущее с ростом пмножество свойств.

Лит.:[1] Яблонский С. В., Функциональные построения в k-значной логике, 1958 ("Тр. Матем. ин-та АН СССР", т. 51); [2] Журавлев Ю. И., "Проблемы кибернетики", 1962, в. 8, с. 5-44; [3] Quine W. V., "Amer. Math. Monthly", 1959, т. 66, № 9, p. 755-60. Ю. И. Журавлев.