«Математика» 2009 2

Оценки сложности шаблонов минимизации полиномиальных форм булевых функций

Авторы: К. Д. Кириченко
Аннотация:

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

Ключевые слова: булевы функции; полиномиальные нормальные формы; функция Шеннона.
УДК: 519.71
Литература: 1. Агибалов Г. П. Методы решения систем полиномиальных уравнений над конечнымполем//ВестникТомскогоГосударственногоУниверситета. — Август 2006. — С. 4-9.
2. Винокуров С. Ф., Казимиров А. С. Верхняя оценка сложности булевых функцийв классе ПНФ // Алгебра и теория моделей. Сборник статей. Изд-во НГТУ.— 2003. — C. 160-165.
3. Кириченко К.Д. Верхняя оценка сложности полиномиальных нормальных формбулевыхфункций// Дискретнаяматематика.Том17,выпуск3. — 2005.— С. 81-88.
4. Even S., Kohavi I., Paz A. On minimal modulo 2 sums of products for switching function// IEEE Trans. Elect. Comput. — Oct. 1967. — P. 671–674.
5. SasaoT.FPGAdesignbygeneralizedfunctionaldecomposition//LogicalSynthesis and Optimization. — Kluwer Academic Publishers. — 1993. — P. 233-258.