RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирские электронные математические известия // Архив

Сиб. электрон. матем. изв., 2019, том 16, страницы 523–541 (Mi semr1076)

Эта публикация цитируется в 1 статье

Дискретная математика и математическая кибернетика

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

А. С. Францева

Irkutsk State University, 1, Karl Marx str., Irkutsk, 664003, Russia

Аннотация: In this paper, we study the problem of receiving the complexity's value of Boolean functions' representations in some classes of polynomial normal forms or exclusive-or sum-of-products expressions (ESOPs). These classes are extensions of known classes of polarized Zhegalkin polynomials or Reed-Muller forms and the Kronecker forms' class. An operator approach for the ESOPs classes' description is used in the work. A Boolean function is represented as a sum of operator images with respect to some basis function. If we consider the product's function as the basic function, then the classes of operator forms are becoming the ESOPs. In this paper, we received estimates of the complexity's value in various classes of extended pair-generated operator forms. The lower bound of the complexity's value to the class of all extended pair-generated operator forms (A. Baliuk and S. Vinokourov, 2001) was improved.

Ключевые слова: Boolean functions, polynomial normal forms, exclusive-or sum-of-products expressions, extended pair-generated operator forms.

УДК: 519.714.4

MSC: 06E30

Поступила 26 июля 2019 г., опубликована 19 апреля 2019 г.

DOI: 10.33048/semi.2019.16.034



Реферативные базы данных:


© МИАН, 2024