Научная статья на тему 'Характеристические полиномы булевых функций'

Характеристические полиномы булевых функций Текст научной статьи по специальности «Математика»

CC BY
207
37
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
БУЛЕВА ФУНКЦИЯ / BOOLEAN FUNCTION / ПОЛЯРИЗОВАННАЯ ПЕРЕМЕННАЯ / POLARIZED VARIABLE / СУММИРОВАНИЕ ПО МОДУЛЮ 2 / MODULO 2 ADDITION

Аннотация научной статьи по математике, автор научной работы — Сдвижков О.А.

Вводится понятие характеристического полинома булевой функции, имеющего заданную поляризацию переменных, и рассматривается метод представления булевой функции полиномом Рида-Маллера (каноническим поляризованным полиномом) с помощью характеристического полинома этой функции. Доказывается, что значения характеристического полинома совпадают с соответствующими коэффициентами полинома Рида-Маллера, приводится линейный алгоритм нахождения коэффициентов полинома Рида-Маллера. Отдельно рассматриваются положительно поляризованные характеристические полиномы и задачи, связанные с ними, включая проверку принадлежности булевой функции классу линейных функций. Приведены примеры применения характеристических полиномов к нахождению полиномов Рида-Маллера, доопределению частичной булевой функции до линейной и проверке булевой функции на линейность.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

CHARACTERISTIC POLYNOMIALS OF BOOLEAN FUNCTIONS

In this article we introduce the notion of a characteristic polynomial of a Boolean function having a given polarization of variables and consider a method for representing a Boolean function by the Reed-Muller polynomial (the canonical polarized polynomial) using the characteristic polynomial of this function. It is proved that the values of the characteristic polynomial coincide with the corresponding coefficients of the Reed-Muller polynomial and a linear algorithm for finding the coefficients of the Reed-Muller polynomial is presented. We also consider positively polarized characteristic polynomials and problems associated with them, including checking whether the Boolean function belongs to the class of linear functions. Examples of the application of characteristic polynomials to the determination of Reed-Muller polynomials, the extension of a partial Boolean function to a linear function and the verification of a Boolean function for linearity are given.

Текст научной работы на тему «Характеристические полиномы булевых функций»

9. Vse resheniya k "Sborniku zadach po obtchemu kursu fiziki" V.S. Volyekenshteiyn. V 2 kn. Kn. 1. [All decisions to «to the Collection of problems at the general course of physics» V.S. Volkenshtejn. In 2 books. The book 1]. - M.: Olimp: OOO " Firma «Izdatelyestvo AST»", 1999. - P. 163. [in Russian]

10. Butyirskiiy G.A. Shkolyenyiiy fizicheskiiy praktikum: uchebnoe posobie dlya studentov, magistrantov, uchiteleiy fiziki i aspirantov [School physical practical work: the manual for students, undergraduate, teachers of physics and postgraduate students] / G.A. Butyirskiiy. - Kirov: OOO Izdatelyestvo "Raduga-PRESS", 2015. - P. 23. [in Russian]

DOI: https://doi.org/10.23670/IRJ.2017.63.043 Сдвижков О.А.

Кандидат физико-математических наук, доцент, Российский государственный университет туризма и сервиса ХАРАКТЕРИСТИЧЕСКИЕ ПОЛИНОМЫ БУЛЕВЫХ ФУНКЦИЙ

Аннотация

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

Доказывается, что значения характеристического полинома совпадают с соответствующими коэффициентами полинома Рида-Маллера, приводится линейный алгоритм нахождения коэффициентов полинома Рида-Маллера.

Отдельно рассматриваются положительно поляризованные характеристические полиномы и задачи, связанные с ними, включая проверку принадлежности булевой функции классу линейных функций.

Приведены примеры применения характеристических полиномов к нахождению полиномов Рида-Маллера, доопределению частичной булевой функции до линейной и проверке булевой функции на линейность.

Ключевые слова: булева функция, поляризованная переменная, суммирование по модулю 2.

Sdvizhkov O.A.

PhD in Physics and Mathematics, Associate Professor, Russian State University of Tourism and Service CHARACTERISTIC POLYNOMIALS OF BOOLEAN FUNCTIONS

Abstract

In this article we introduce the notion of a characteristic polynomial of a Boolean function having a given polarization of variables and consider a method for representing a Boolean function by the Reed-Muller polynomial (the canonical polarized polynomial) using the characteristic polynomial of this function.

It is proved that the values of the characteristic polynomial coincide with the corresponding coefficients of the Reed-Muller polynomial and a linear algorithm for finding the coefficients of the Reed-Muller polynomial is presented.

We also consider positively polarized characteristic polynomials and problems associated with them, including checking whether the Boolean function belongs to the class of linear functions.

Examples of the application of characteristic polynomials to the determination of Reed-Muller polynomials, the extension of a partial Boolean function to a linear function and the verification of a Boolean function for linearity are given.

Keywords: Boolean function, polarized variable, modulo 2 addition.

I Введение

-'-'Полиномы Рида-Маллера булевой функции f = f(x,х2,...,xn) являются обобщениями полиномов

Жегалкина, играющих огромную роль в построение логических схем и анализе систем булевых функций. Методы нахождения полиномов Рида-Маллера подробно рассматриваются в [7], [10], все они, следует признать, достаточно трудоемкие.

Предлагается ввести для булевой функции f = f (Xj,x2,...,xn) понятие характеристического полинома с

заданной поляризацией переменных и с его помощью находить полиномы Рида-Маллера, что значительно упрощает вычисления и решения задач, связанных с этими коэффициентами.

Следует обратить внимание на определение степени, которое применяется в статье. В нем показатель степени, чтобы не путать с булевой степенью [1, C. 24], имеет круглые скобки. Однако сказать, что это алгебраическая степень - нельзя, так как 0(0) = 1.

Приведены примеры, нахождения в Excel 2013 значений характеристического полинома, полинома Жегалкина заданной функции, проверке булевой функции на линейность и доопределения частичной булевой функции до линейной с помощью характеристического полинома и надстройки «Поиск решения» (в оригинале «Solver»).

§ 1. Характеристические полиномы булевых функции

Следует напомнить [7], что полином булевой функции f = f (Xj,x2,...,хи) , в слагаемые которого одна часть

переменных входит только с отрицаниями, а другая - только без отрицания, называется полиномом Рида-Маллера (каноническим поляризованным полиномом).

Такие полиномы обозначаются P ((а (f ), где двоичное слово ((2...(„ задает поляризацию переменных, то

есть показывает какие переменные входят с отрицаниями, а какие без отрицаний, значениям 0 соответствуют положительно поляризованные переменные (без отрицаний), а значениям 1 - отрицательно поляризованные переменные (с отрицаниями). Всего таких полиномов 2n.

Назовем характеристическим полиномом функции / = /(х,х2,...,хп) , поляризация переменных которого а1а2...ап, полином ...^(/), имеющий вид:

^...а(/) = Ф /(а Фа,.....ап Фа)(х Фа^... (х Фап)(ап)

2 п а1,...,ст„ , (1)

x(a') =■

где

[1, а = о

[х, а =1

Понятно, что каждая функция / = /(х1,х2,...,хп) имеет 2П характеристических полиномов. Например, при п=2 они имеют вид:

Sоо(/) = /(0,0) Ф/(1,0)х Ф/(0,1)х2 Ф/(1,1)х1х2 Slо(f) = / (1,0) Ф / (0,0)х Ф / (1,1) Х2 Ф / (0,1) хх Sоl(/) = /(0,1) Ф /(1,1)Х Ф /(0,0)Х2 Ф /(1,0)х1Х2 /) = /(1,1) Ф /(0,1)Х1 Ф /(1,0)Х2 Ф /(0,0)х^

Пусть функция f задана таблица истинности:

Таблица 1

x y z f

0 0 0 0

0 0 1 0

0 1 0 1

0 1 1 1

1 0 0 0

1 0 1 1

1 1 0 0

1 1 1 1

Тогда по формуле (1) получаем 8 характеристических полиномов:

S000(f) = У Ф yz Ф xzФ xyz Swo(f) = z ФXy Ф yz Фxyz Sow(f) = 1Ф z Ф xzФ xyz

Sooi(f) = xФуФxyфyz Suo(f) - xФzФxzФyz SUf) = 1Фy Фxyz Ф%y

Sou(f) = 1Ф x Ф z Ф xy S111(f) - 1Ф x Ф y Ф xz Действительно, например:

S10j( f) - f (0 Ф 1,0 Ф 0,0 Ф 1)(x Ф 1)(0)(y Ф 0)(0)(z Ф 1)(0) Ф f (0 Ф 1,0 Ф 0,1 Ф 1)(x Ф 1)(0) •

(y Ф 0)(0) (z Ф 1)(1) Ф f (0 Ф 1,1 Ф 0,0 Ф 1)(x Ф 1)(0)(y Ф 0)(1) (z Ф 1)(0) Ф f (0 Ф 1,1 Ф 0,1 Ф1)

(xФ 1)(0)(y Ф 0)(1)(z Ф 1)(1) Ф f (1Ф 1,0 Ф 0,0 Ф 1)(x Ф 1)(1)(y Ф 0)(0)(z Ф 1)(0) Ф

f (1Ф 1,0 Ф 0,1 Ф 1)(x Ф 1)(1) (y Ф 0)(0) (z Ф 1)(1) Ф f (1Ф 1,1 Ф 0,0 Ф 1)(x Ф 1)(1)(y Ф 0)(1)

(z Ф 1)(0) Ф f (1Ф 1,1 Ф 0,1 Ф 1)(x Ф 1)(1)(y Ф 0)(1) (z Ф 1)(1) Откуда следует:

S101C/) = f (1,0,1) Ф f (1,0,0)z Ф f (1,1,1)У Ф f (1,1,0)y z Ф f (0,0,1)x Ф f (0,0,0)xz Ф f (0,1,1)xy Ф f (0,1,0)xy£= 1Фy Фxy Фxyf Пример 1. Найти значения полинома S000( f), полученного по таблице 1.

Открываем Excel, вводим в диапазон A1:D9 таблицу 1, затем, записывая в ячейке F2 формулу этого полинома =OCTAT(B2+B2*C2+A2* C2+ A2*B2*C2;2) и копируя ее в остальные ячейки диапазона F2:F9, получаем столбец

значений полинома S ( f) :

А Б с О Е р

1 X У г Б

2 0 0 0 0 0

3 0 0 1 0 0

4 0 1 0 1 1

5 0 1 1 1 0

6 1 0 0 0 0

7 1 0 1 1 1

Б 1 1 0 0 1

9 1 1 1 1 0

Рис. 1 - Значения полинома Б000( /) § 2. Нахождение полиномов Рида-Маллера с помощью характеристических полиномов

По характеристическому полиному Б а (/) можно, в свою очередь, найти характеристический полином (/)) .

Теорема 1. Характеристический полином Ба№ а (Б а (/)) является полиномом Рида-Маллера функции

/(Х1, Х2,..., Хп ) :

¿¿2... ап

(/) -

¿1^2... ¿п ¿1^2... ¿п

(/))

Доказательство сводится к доказательству истинности равенства:

/(х1, Х2 ,..., Хп ) =Ба1а2...ап(Б а1а2...а„(/))

Для функций двух переменных оно истинно при всех двоичных ахаг. Например, вычисляя значения характеристического полинома

Бю (/)=/ (1,0) е / (ода е / (1,1) х2 е / (0,1) х^,

получаем:

Бю(/)1(о,о) = / (1,0) е / (о,о)

Б\о(/) 1(о,1) = / (1,о) е / (о,о) е / (1,1) е / (о,1)

Б\о(/)1а,о) = / (1,о) Бю(/) 1(1,1) = / (1,о) е / (1,1)

Поэтому

БЖо(/)) = / (1,о) е (/(1,о) е / (о,о)) х е (/(1,о) е / (1,1)) Х2 е (/(1,о) е / (о,о) е / (1,1) е / (о,1)) -1X2

Вычисления значений полинома Б о (Бо (/)) показывают, что (2) выполняется:

Бю(Бю(/)) 1(о,о) = / (1,о) е / (1,0) е до,о) = / (о,о) Бю(БМ)) 1(0,1) = / (1,0) е / (1,0) е / (0,0) е / (1,о) е / (1,1) е / (1,о) е / (о,о) е / (1,1) е / (о,1) = / (о,1) ЗДо/)) 1(1,0) = / (1,0)

БЖ0(/)) |ад) = / (1,0) е / (1,0) е / (1,1) = / (1,1)

Пусть (2) истинно при п-1 переменных. Для доказательства, что оно истинно и при п переменных, воспользуемся соотношением:

/ (X\,•••, Хп ) = Хп/(X\,•••, Хп-1,0) V хп/(X\,•••, Хп-1,1) >

Так как а V Ь = а е Ь е аЬ, Хпхп = 0, из него следует:

/ (X\,•••, Хп ) = Хп/(X\,•••, Хп10) е Хп/(X\,•••, Хп-1,1)

Подстановка Хп = хп е 1, если ап = 0 , и подстановка хп = Хп е 1, если ап = 1, приводит правую часть к требуемому виду.

Следствие 1. Коэффициент при конъюнкции (x: Ф^)(i1)... (x„ Ф^)(i"), ^ е {0,1} , в полиноме Р а (f) равен значению характеристического полинома S „(f) на наборе (^Фа ).

В силу теоремы 1, справедлив следующий алгоритм нахождения Р„№ а (f) .

1. По формуле (1) находится характеристический полином S ( f) .

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

2. Составляется таблица истинности полинома S ( f ) .

3. По формуле (1) записывается полином ра^хг. ап (f ) -Saiai..an(Saa2...an(f)) .

Например, найдем с помощью алгоритма полином Р10 f), где f задана таблицей 1. В этом случае, как показано выше:

Sm(f) -1Ф y Ф xyz Ф xy

Составляя таблицу истинности полинома S ( f ) , получаем:

Таблица 2

x y z S

0 0 0 1

0 0 1 1

0 1 0 0

0 1 1 1

1 0 0 1

1 0 1 1

1 1 0 0

1 1 1 0

Применение формулы (1) дает:

Рш(/) = /(1,0,1) Ф /(1,0,0)г Ф /(1,1,1)у Ф /(1,1,0)у г Ф /(0,0,1)х Ф /(0,0,0)хг Ф /(0,1,1)ху Ф /(0,1,0)хур,

то есть

рг(/) = 1Фг Фх Фхг Фху Следует заметить, что вычисления значений полученного полинома приводят к значениям функции f=(00110101), как и должно быть.

§ 3. Положительно поляризованные характеристические полиномы

Полиномы Р00 0(/) , обозначаемые также Р(/) , являются [7, 8] положительно поляризованными полиномами

- полиномами Жегалкина функций / = /(х,х2,...,хп) . При = 00...0 формула (1) определяет

положительно поляризованные характеристические полиномы:

5(/) = Ф /(а1,а2,...,ап^^Ч.. хпа)

а1,...,ап

В силу следствия 1, коэффициент при х1 1 х2 2 ... хп п в полиноме Р(/) равен значению полинома 5(/) на

наб°ре ( £, ^,..., 4 ), то есть

Р(/) = Ф 5(£,)х1(й)х2(&)... хп(4)

й,..., #п (3)

Развернутый вид этой формулы:

Р(/) = Ф Ф /(а^,...,а)£(а) #2(а2)... )х1(й)х2( й)... хп( ^)

В частности, по значениям полинома S, показанных на рисунке 1, применяя формулу (3), получаем, что для булевой функции заданной таблицей 1 полином Жегалкина имеет вид:

р(/) = у Ф хг Ф ху

На рисунке 2 показано, что значения полученного полинома совпадают со значениями функции £

Н2

=ОСТАТ(В2+А2*С2+А2*В2;2>

А в с 0 Е ? с н

1 X V г 5 р

2 0 о 0 0 0 0

3 0 0 1 0 0 0

4 0 1 0 1 1 1

5 0 1 1 1 0 1

6 1 0 0 0 0 0

7 1 0 1 1 1 1

8 1 1 0 0 1 0

9 1 1 1 1 0 1

Рис. 2 - Значения полинома Р(/)

Для линейных функций, образующих замкнутый класс L [9, С. 33], выполняется:

/ = Р(/) = а0 Ф ах Ф а2х2 Ф... Ф апхп . Пример 2. Применяя характеристический полином, проверить функцию / = (11000011) на линейность.

1. Вводим в диапазон A1:D8 таблицу истинности и копируем ее.

2. Выделяем диапазон E9:L12, открываем контекстное меню, где выбираем опцию «Специальная вставка» и в ее диалоговом окне отмечаем «значения» и «транспонировать», что подтверждаем ОК.

3. В ячейку Е1 вводим формулу: =Е$12*ЕСЛИ(Е$9=1;$А1;1)*ЕСЛИ(Е$10=1;$В1;1)*ЕСЛИ(Е$П=1;$С1;1) Копируем ее в остальные ячейки диапазона E1:L8.

4. В ячейке М1 записываем формулу =ОСТАТ(СУММ(Е1±1);2) и копируем ее в остальные ячейки диапазона М1:М8, что возвращает в нем коэффициенты полинома Жегалкина.

5.

А Б с о Е с н 1 J к 1 м

1 0 0 0 1 0 0 0 0 0 0 0 1

г 0 0 1 1 1 0 0 0 0 0 0 0

3 0 1 0 0 0 0 0 0 0 0 0 1

4 0 1 1 0 1 0 0 0 0 0 0 0

£ 1 0 0 0 0 0 0 0 0 0 0 1

6 1 0 1 0 1 0 0 0 0 0 0 0

7 1 1 0 1 0 0 0 0 0 1 0 0

В 1 1 1 1 1 0 0 0 0 1 0

9 0 0 0 0 1 1 1

10 0 0 1 1 0 0 1

11 0 1 0 1 0 1 0

12 1 1 0 0 0 0 1

Рис. 3 - Проверка / = (11000011) на линейность

Из данных диапазонов А1:С8, М1:М8 следует / = 1 © х © у , то есть / е Ь .

Пример 3. Применяя характеристический полином, доопределить частичную булеву функцию £=(-110—0) до линейной функции.

Первые четыре пункта такие же, как в предыдущем примере, только в диапазон D1:D8 (пункт 1) вместо прочерков вставляем, например, нули и считаем значения этих ячеек изменяемыми (заливаем их желтым цветом).

5. В ячейку N9 вводим формулу суммы коэффициентов полинома Жегалкина при произведениях переменных =М4+М6+М7+М8.

6. Вызываем надстройку «Поиск решения» [3, 4] и задаем сценарий поиска решения:

Рис. 3 - Сценарий поиска решения

7. Кнопка «Найти решение» возвращает сообщение «В ходе поиска невозможно улучшить текущее решение» и текущее решение, показывающее, что f=(01100110):

А Б с D Е F G н 1 J к L м N

1 0 0 0 0 0 0 0 0 0 0 0 0 0

2 0 0 1 1 0 1 0 0 0 0 0 0 1

3 0 1 0 1 0 0 1 0 0 0 0 0 1

4 0 1 1 0 0 1 1 0 0 0 0 0 0

5 1 0 0 0 0 0 0 0 0 0 0 0 0

6 1 0 1 1 0 1 0 0 0 1 0 0 0

7 1 1 0 1 0 0 1 0 0 0 1 0 0

S 1 1 1 0 0 1 1 0 0 1 1 0 0 J

9 0 0 0 0 1 1 1 1

10 0 0 1 1 0 0 1 1

11 0 1 0 1 0 1 0 1

12 0 1 1 0 0 1 1 0

Рис. 4 - Результаты поиска решения

Нахождение f логическими рассуждениями приведено в [2, С. 68]. Пример 4. Проверить функцию f=(1001011010010110) на линейность

Шагами, аналогичными шагам 1 - 4 примера 2, получаем (данные диапазона F17:U21, для компактности рисунка, не приводятся), что / £ Ь :

Рис. 4 - Проверка f=(1001011010010110) на линейность

Заключение

Приведенные примеры показывают, что характеристические полиномы позволяют достаточно просто находить коэффициенты полиномов Рида-Маллера и решать задачи, связанные с ними, особенно, пользуясь технологиями Excel. Можно пользоваться и другими информационными математическими технологиями [5, 6].

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

Список литературы / References

1. Ерусалимский Я.М. Дискретная математика: теория, задачи, приложения. 3-е издание. / Я.М. Ерусалимский -М.: Вузовская книга, 2000. - 280 с.

2. Гаврилов Г.П., Сапоженко А.А. Задачи и упражнения по дискретной математике: Учеб. пособие. / Г.П. Гаврилов, А.А. Сапоженко - 3-е изд., перераб. - М.: ФИЗМАТЛИТ, 2003. - 416 с.

3. Сдвижков О.А. Дискретная математика и математические методы экономики с применением VBA Excel. / О.А. Сдвижков - М.: ДМК Пресс, 2012. - 212 с.

4. Сдвижков О.А. Математика в Excel 2003. / О.А. Сдвижков - М.: СОЛОН-Пресс, 2005. - 192 с.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

5. Сдвижков О.А. Математика на компьютере: Maple 8. / О.А. Сдвижков - М.: СОЛОН-Пресс, 2003. - 176 с.

6. Сдвижков О.А. MathCAD-2000. / О.А. Сдвижков - М.: Издательско-торговая корпорация «Дашков и К», 2002. -204 с.

7. Супрун В.П. Основы теории булевых функций. / В.П. Супрун - М.: ЛЕНАНД, 2017. - 208 с.

8. Супрун В.П. Табличный метод полиномиального разложения булевых функций / В.П. Супрун // Журнал «Кибернетика», 1987, № 1. - С. 116 - 117.

9. Яблонский С.В. Введение в дискретную математику. / С.В. Яблонский - М.: Наука, 1986. - 384 с.

10. Harking B. Efficient algorithm for canonical Reed-Muller expansions of Boolean functions // IEE Proc. E, Computers and Digital Techniques. 1990. Vol. 137. №5. P. 366-370.

Список литературы на английском языке / References in English

1. Erusalimskij Ja.M. Diskretnaja matematika: teorija, zadachi, prilozhenija. 3-e izdanie [Discrete mathematics: the theory, task, appendix. 3 editions] / Ja.M. Erusalimskij - M.: Vuzovskaja kniga, 2000. - 280 p. [in Russian]

2. Gavrilov G.P., Sapozhenko A.A. Zadachi i uprazhnenija po diskretnoj matematike: Ucheb. posobie. - 3-e izd., pererab. [Tasks and exercises on discrete mathematics: studies] / G.P. Gavrilov, A.A. Sapozhenko - M.: FIZMATLIT, 2003. - 416 p. [in Russian]

3. Sdvizhkov O.A. Diskretnaja matematika i matematicheskie metody jekonomiki s primeneniem VBA Excel [Discrete mathematics and mathematical methods of economy with application VBA Excel] / O.A. Sdvizhkov - M.: DMK Press, 2012. - 212 p. [in Russian]

4. Sdvizhkov O.A. Matematika v Excel 2003 [Mathematics in Excel 2003] / O.A. Sdvizhkov - M.: SOLON-Press, 2005. -192 p. [in Russian]

5. Sdvizhkov O.A. Matematika na komp'jutere: Maple 8 [Mathematics on the computer: Maple 8] / O.A. Sdvizhkov - M.: SOLON-Press, 2003. - 176 p. [in Russian]

6. Sdvizhkov O.A. MathCAD-2000 [MathCAD-2000] / O.A. Sdvizhkov - M.: Izdatelsko-torgovaja korporacija «Dashkov and C», 2002. - 204 p. [in Russian]

7. Suprun V.P. Osnovy teorii bulevyh funkcij [Bases of the theory Boolean functions] / V.P. Suprun - M.: LENAND, 2017. - 208 p. [in Russian]

8. Suprun V.P. Tablichnyj metod polinomial'nogo razlozhenija bulevyh funkcij [A tabulared method polynomial of decomposition Boolean functions] / V.P. Suprun // Journal « Cybernetics », 1987, № 1. - P. 116 - 117. [in Russian]

9. Jablonskij S.V. Vvedenie v diskretnuju matematiku [Introduction in discrete mathematics] / S.V. Jablonskij - M.: Science, 1986. - 384 p. [in Russian]

10. Harking B. Efficient algorithm for canonical Reed-Muller expansions of Boolean functions // IEE Proc. E, Computers and Digital Techniques. 1990. Vol. 137. №5. P. 366-370.

i Надоели баннеры? Вы всегда можете отключить рекламу.