RUS  ENG
Full version
JOURNALS // Bulletin of Irkutsk State University. Series Mathematics // Archive

Bulletin of Irkutsk State University. Series Mathematics, 2025 Volume 51, Pages 82–100 (Mi iigum598)

This article is cited in 1 paper

Algebraic and logical methods in computer science and artificial intelligence

Concave continuations of Boolean-like functions and some of their properties

D. N. Barotov

Financial University under the Government of the Russian Federation, Moscow, Russian Federation

Abstract: In this paper, we present concave continuations of discrete functions defined on the vertices of an $n$-dimensional unit cube, an $n$-dimensional arbitrary cube, and an $n$-dimensional arbitrary parallelepiped. It is constructively proved that, firstly, for any discrete function $f_D$ defined on the vertices of $\mathbb{G}$, where $\mathbb{G}$ is one of these three sets, the cardinality of the set of its concave continuations on $\mathbb{G}$ is equal to infinity, and, secondly, there is a function $f_{NR}$ that is the minimum among all its concave continuations on $\mathbb{G}$. The uniqueness and continuity of the function $f_{NR}$ on $\mathbb{G}$ are also proved.

Keywords: discrete functions, concave continuations of discrete functions, pseudo-Boolean functions, Boolean functions.

UDC: 512.563, 519.716.322, 519.719.2

MSC: 06E30, 90C25, 46N10

Received: 28.03.2024
Revised: 17.06.2024
Accepted: 22.10.2024

DOI: 10.26516/1997-7670.2025.51.82



© Steklov Math. Inst. of RAS, 2025