Polynomial decomposition of Boolean functions by images of homogeneous operators of nondegenerate functions (Q677739)

From MaRDI portal
Revision as of 00:57, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Polynomial decomposition of Boolean functions by images of homogeneous operators of nondegenerate functions
scientific article

    Statements

    Polynomial decomposition of Boolean functions by images of homogeneous operators of nondegenerate functions (English)
    0 references
    19 August 1997
    0 references
    A function \(f:\{0,1\}^n\to\{0,1\}\) is said to be degenerate if \(\sum f(\alpha)=0\), where \(\alpha\) runs over \(\{0,1\}^n\) and \(\sum\) denotes the Boolean-ring sum. For each \(i\in\{1,\dots,n\}\), the operators \(p_i\) and \(d_i\) are defined by \[ \begin{aligned} p_if(x_1,\dots,x_n) & = f(x_1,\dots,\overline x_i,\dots, x_n)\qquad\text{and}\\ d_if(x_1,\dots,x_n) & = f(x_1,\dots,x_n)+ f(x_1,\dots,\overline x_i,\dots, x_n),\end{aligned} \] respectively. By a homogeneous operator is meant any composition \(t= t_n\cdots t_1\), where each \(t_i\in\{p_i,d_i,\text{identity}\}\). The authors prove that every Boolean function has a decomposition of the form indicated in the title. The exact result is too technical to be reproduced here. Reviewer's remark. The only non-Russian literature quoted by the authors consists of the well-known papers by Muller and Reed published in 1954.
    0 references
    degenerate function
    0 references
    nondegenerate function
    0 references
    Boolean-ring sum
    0 references
    homogeneous operator
    0 references
    Boolean function
    0 references
    decomposition
    0 references

    Identifiers