Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Polynomial decomposition of Boolean functions by images of homogeneous operators of nondegenerate functions - MaRDI portal

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
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