Synthesis method and complexity bounds for programms with some structural restrictions

Abstract

The work is devoted to the study of various classes of software circuits. type that implement Boolean functions, and the establishment of asymptotic estimates of Shannon functions for the complexity of implementing Boolean functions in schema classes. Models are introduced and explored reflexive-recursive schemes of functional elements and programs, in which recursive procedure calls are allowed. Influence is being explored the depth of recursion on the complexity of the implementation of the functions of the algebra of logic. For considered models, methods for the synthesis of schemes and programs are proposed, implementing arbitrary Boolean functions, as well as getting methods lower bounds for the Shannon function for the complexity of implementing Boolean functions, with the help of which, under certain restrictions, it was the asymptotic behavior of the corresponding Shannon functions is established.