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

From MaRDI portal





scientific article; zbMATH DE number 999709
Language Label Description Also known as
default for all languages
No label defined
    English
    Polynomial decomposition of Boolean functions by images of homogeneous operators of nondegenerate functions
    scientific article; zbMATH DE number 999709

      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