Approximative evaluation of the height of the maximal upper zero of a monotone Boolean function

1991 ◽  
Vol 50 (1) ◽  
pp. 687-690
Author(s):  
A. Yu. Kitaev
2005 ◽  
Vol DMTCS Proceedings vol. AE,... (Proceedings) ◽  
Author(s):  
Kazuyuki Amano ◽  
Jun Tarui

International audience Let $T_t$ denote the $t$-threshold function on the $n$-cube: $T_t(x) = 1$ if $|\{i : x_i=1\}| \geq t$, and $0$ otherwise. Define the distance between Boolean functions $g$ and $h$, $d(g,h)$, to be the number of points on which $g$ and $h$ disagree. We consider the following extremal problem: Over a monotone Boolean function $g$ on the $n$-cube with $s$ zeros, what is the maximum of $d(g,T_t)$? We show that the following monotone function $p_s$ maximizes the distance: For $x \in \{0,1\}^n$, $p_s(x)=0$ if and only if $N(x) < s$, where $N(x)$ is the integer whose $n$-bit binary representation is $x$. Our result generalizes the previous work for the case $t=\lceil n/2 \rceil$ and $s=2^{n-1}$ by Blum, Burch, and Langford [BBL98-FOCS98], who considered the problem to analyze the behavior of a learning algorithm for monotone Boolean functions, and the previous work for the same $t$ and $s$ by Amano and Maruoka [AM02-ALT02].


2021 ◽  
Vol 11 (14) ◽  
pp. 6300
Author(s):  
Igor Smolyar ◽  
Daniel Smolyar

Patterns found among both living systems, such as fish scales, bones, and tree rings, and non-living systems, such as terrestrial and extraterrestrial dunes, microstructures of alloys, and geological seismic profiles, are comprised of anisotropic layers of different thicknesses and lengths. These layered patterns form a record of internal and external factors that regulate pattern formation in their various systems, making it potentially possible to recognize events in the formation history of these systems. In our previous work, we developed an empirical model (EM) of anisotropic layered patterns using an N-partite graph, denoted as G(N), and a Boolean function to formalize the layer structure. The concept of isotropic and anisotropic layers was presented and described in terms of the G(N) and Boolean function. The central element of the present work is the justification that arbitrary binary patterns are made up of such layers. It has been shown that within the frame of the proposed model, it is the isotropic and anisotropic layers themselves that are the building blocks of binary layered and arbitrary patterns; pixels play no role. This is why the EM can be used to describe the morphological characteristics of such patterns. We present the parameters disorder of layer structure, disorder of layer size, and pattern complexity to describe the degree of deviation of the structure and size of an arbitrary anisotropic pattern being studied from the structure and size of a layered isotropic analog. Experiments with arbitrary patterns, such as regular geometric figures, convex and concave polygons, contour maps, the shape of island coastlines, river meanders, historic texts, and artistic drawings are presented to illustrate the spectrum of problems that it may be possible to solve by applying the EM. The differences and similarities between the proposed and existing morphological characteristics of patterns has been discussed, as well as the pros and cons of the suggested method.


Sign in / Sign up

Export Citation Format

Share Document