Analysis of solution searching algorithms on the model of functional relations

Here are given the results of studying the size of direct and inverted inference algorithms computations for solving the tasks of diagnostics, optimal designing, planning and complex systems control. The model of the subject area is set as a directed net without loops, where the attributes are the vertexes and functional dependences between attributes are arches. The dependences between attributes of the simulated subject area can be specified in different ways - as production rules, analytic dependences or function procedures. Formulae for defining the size of the subject area model calculus by direct and inverted inference algorithms are given. It is shown with the increasing of number of sources (and the corresponding decreasing of number of non-source attributes) the size of computations of direct inference algorithm is increasing and the size of computations of inverted inference algorithm fails. At limited number of sources the task of optimization is rather solved by the method of direct inference, and the method of inverted inference is more efficient at large amount of sources.