Abstract
Possibilities of the application of dedicated processors based on the use of associative memory for solving systems of Boolean equations is considered. An algorithm for solving systems of Boolean equations using associative dedicated processors is proposed. Classes of systems of Boolean equations that can be efficiently solved by this algorithm are found. Subexponential estimates of the expectation of the computational complexity of the proposed algorithm for solving systems of equations belonging to these classes are obtained.
Similar content being viewed by others
References
D. Cox, J. Little, and D. O’shea, Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra (Springer, New York, 1997; Mir, Moscow, 2000).
M. Bardet, J.-C. Faugére, and B. Salvy, “On the Complexity of Gröebner Basis Computation of Semi-Regular Overdetermined Algebraic Equations,” ICPSS, (2004), pp. 71–75.
V. K. Leont’ev and G. P. Tonoyan, “Approximate Solution of Systems of Boolean Equations,” Zh. Vychisl. Mat. Mat. Fiz. 33(9), 1383–1390 (1993).
H. Raddum and I. Semaev, “New Technique for Solving Sparse Equation Systems,” http://eprint.iacr.org/2006/475.pdf.
I. Semaev, “On Solving Sparse Algebraic Equations over Finite Fields. I,” in Proc. WCC’07, Versailles, France (INRIA, 2007), pp. 361–370.
I. Semaev, “On Solving Sparse Algebraic Equations over Finite Fields. II,” http://eprint.iacr.org/2007/280.pdf.
C. C. Foster, Content Addressable Parallel Processors (Van Nostrand Reinhold, New York, 1976; Energoizdat, Moscow, 1981).
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text © A.S. Meluzov, 2010, published in Zhurnal Vychislitel’noi Matematiki i Matematicheskoi Fiziki, 2010, Vol. 50, No. 11, pp. 2028–2044.
Rights and permissions
About this article
Cite this article
Meluzov, A.S. The use of associative information processing for constructing algorithms for solving systems of Boolean equations. Comput. Math. and Math. Phys. 50, 1925–1940 (2010). https://doi.org/10.1134/S0965542510110151
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0965542510110151