RDNF Oriented Analytics to Random Boolean Functions

Fuente: arXiv
Guardado en:
Detalles Bibliográficos
Autores principales: Aslanyan, Levon, Arsenyan, Irina, Karakhanyan, Vilik, Sahakyan, Hasmik
Formato: Preprint
Publicado: 2024
Materias:
Acceso en línea:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
_version_ 1866909090723135488
author Aslanyan, Levon
Arsenyan, Irina
Karakhanyan, Vilik
Sahakyan, Hasmik
author_facet Aslanyan, Levon
Arsenyan, Irina
Karakhanyan, Vilik
Sahakyan, Hasmik
contents Dominant areas of computer science and computation systems are intensively linked to the hypercube-related studies and interpretations. This article presents some transformations and analytics for some example algorithms and Boolean domain problems. Our focus is on the methodology of complexity evaluation and integration of several types of postulations concerning special hypercube structures. Our primary goal is to demonstrate the usual formulas and analytics in this area, giving the necessary set of common formulas often used for complexity estimations and approximations. The basic example under considered is the Boolean minimization problem, in terms of the average complexity of the so-called reduced disjunctive normal form (also referred to as complete, prime irredundant, or Blake canonical form). In fact, combinatorial counterparts of the disjunctive normal form complexities are investigated in terms of sets of their maximal intervals. The results obtained compose the basis of logical separation classification algorithmic technology of pattern recognition. In fact, these considerations are not only general tools of minimization investigations of Boolean functions, but they also prove useful structures, models, and analytics for constraint logic programming, machine learning, decision policy optimization and other domains of computer science.
format Preprint
id arxiv_https___arxiv_org_abs_2402_00999
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle RDNF Oriented Analytics to Random Boolean Functions
Aslanyan, Levon
Arsenyan, Irina
Karakhanyan, Vilik
Sahakyan, Hasmik
Discrete Mathematics
Dominant areas of computer science and computation systems are intensively linked to the hypercube-related studies and interpretations. This article presents some transformations and analytics for some example algorithms and Boolean domain problems. Our focus is on the methodology of complexity evaluation and integration of several types of postulations concerning special hypercube structures. Our primary goal is to demonstrate the usual formulas and analytics in this area, giving the necessary set of common formulas often used for complexity estimations and approximations. The basic example under considered is the Boolean minimization problem, in terms of the average complexity of the so-called reduced disjunctive normal form (also referred to as complete, prime irredundant, or Blake canonical form). In fact, combinatorial counterparts of the disjunctive normal form complexities are investigated in terms of sets of their maximal intervals. The results obtained compose the basis of logical separation classification algorithmic technology of pattern recognition. In fact, these considerations are not only general tools of minimization investigations of Boolean functions, but they also prove useful structures, models, and analytics for constraint logic programming, machine learning, decision policy optimization and other domains of computer science.
title RDNF Oriented Analytics to Random Boolean Functions
topic Discrete Mathematics
url https://arxiv.org/abs/2402.00999