Target Function without Local Minimum for Systems of Logical Equations with a Unique Solution

Dostonjon Numonjonovich Barotov
Additional contact information
Dostonjon Numonjonovich Barotov: Department of Data Analysis and Machine Learning, Financial University under the Government of the Russian Federation, 4-th Veshnyakovsky Passage, 4, 109456 Moscow, Russia

Mathematics, 2022, vol. 10, issue 12, 1-8

Abstract: Many of the applied algorithms that have been developed for solving a system of logical equations or the Boolean satisfiability problem have solved the problem in the Boolean domain. However, other approaches have recently been developed and improved. One of these developments is the transformation of a system of logical equations to a real continuous domain. The essence of this development is that a system of logical equations is transformed into a system in a real domain and the solution is sought in a real continuous domain. A real continuous domain is a richer domain, as it involves many well-developed algorithms. In this paper, we have constructively transformed the solution of any system of logical equations with a unique solution into an optimization problem for a polylinear target function in a unit n -dimensional cube K n . The resulting polylinear target function in K n does not have a local minimum. We proved that only once by calculating the gradient of the polylinear target function at any interior point of the K n cube, we can determine the solution to the system of logical equations.

Keywords: polylinear functions; global optimization; algorithms; Zhegalkin polynomials; logical operations; systems of Boolean algebraic equations; algebraic cryptanalysis (search for similar items in EconPapers)
JEL-codes: C (search for similar items in EconPapers)
Date: 2022
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.mdpi.com/2227-7390/10/12/2097/pdf (application/pdf)
https://www.mdpi.com/2227-7390/10/12/2097/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jmathe:v:10:y:2022:i:12:p:2097-:d:840660

Access Statistics for this article

Mathematics is currently edited by Ms. Emma He

More articles in Mathematics from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().