Geodesic
Concave continuations of Boolean functions and some of their properties and applications
The Bulletin of Irkutsk State University. Series Mathematics, Tome 49 (2024), pp. 105-123

Voir la notice de l'article provenant de la source Math-Net.Ru

In this paper, it is proved that for any Boolean function of $n$ variables, there are infinitely many functions, each of which is its concave continuation to the $n$-dimensional unit cube. For an arbitrary Boolean function of $n$ variables, a concave function is constructed, which is the minimum among all its concave continuations to the $n$-dimensional unit cube. It is proven that this concave function on the $n$-dimensional unit cube is continuous and unique. Thanks to the results obtained, in particular, it has been constructively proved that the problem of solving a system of Boolean equations can be reduced to the problem of numerical maximization of a target function, any local maximum of which in the desired domain is a global maximum, and, thus, the problem of local maxima for such problems is completely solved.
Keywords: concave continuation of a Boolean function, Boolean function, concave function, global optimization, local extremum. 
@article{IIGUM_2024_49_a7,
     author = {D. N. Barotov},
     title = {Concave continuations of {Boolean} functions and some of their properties and applications},
     journal = {The Bulletin of Irkutsk State University. Series Mathematics},
     pages = {105--123},
     publisher = {mathdoc},
     volume = {49},
     year = {2024},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/IIGUM_2024_49_a7/}
}
TY  - JOUR
AU  - D. N. Barotov
TI  - Concave continuations of Boolean functions and some of their properties and applications
JO  - The Bulletin of Irkutsk State University. Series Mathematics
PY  - 2024
SP  - 105
EP  - 123
VL  - 49
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IIGUM_2024_49_a7/
LA  - ru
ID  - IIGUM_2024_49_a7
ER  - 
%0 Journal Article
%A D. N. Barotov
%T Concave continuations of Boolean functions and some of their properties and applications
%J The Bulletin of Irkutsk State University. Series Mathematics
%D 2024
%P 105-123
%V 49
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IIGUM_2024_49_a7/
%G ru
%F IIGUM_2024_49_a7
D. N. Barotov. Concave continuations of Boolean functions and some of their properties and applications. The Bulletin of Irkutsk State University. Series Mathematics, Tome 49 (2024), pp. 105-123. http://geodesic.mathdoc.fr/item/IIGUM_2024_49_a7/