Algorithm, complexity of description of an
A measure which characterizes the length of description of an algorithm. The complexity of description of an algorithm is defined differently, depending on the specific definition. At present (1987) there is as yet no generally valid definition of the concept, and the most frequently occurring cases are reviewed below.
The complexity of description of a normal algorithm is usually understood to mean the length of its encoding, i.e. the length of all its substitution formulas when written in one line (a special separating character is interposed between the individual formulas). The complexity of description of a Turing machine usually means the number of its internal states and external symbols. A Turing machine may also be characterized by the number of commands of the machine in question. In the case of recursive functions (cf. Recursive function) given by recursion schemes, the number of letters in these schemes usually serves as the measure of their complexity.
An axiomatic definition of the complexity of description of an algorithm has been proposed . Below the application of this definition to Turing machines will be discussed. Let , be the natural numbering of Turing machines characterized by the fact that the machine itself (i.e. its program) may be effectively reconstituted from its number, and the number of the machine may be effectively reconstituted from the machine (i.e. from its program). A general recursive function is a measure of the complexity of the machines ( being the complexity of the machine ) if and only if: a) for any there exists not more than a finite number of machines with complexity ; and b) there exists an effective procedure which makes it possible to determine, for any , all the machines with complexity .
Let be an arbitrary measure of the complexity of a Turing machine. If is an arbitrary, effectively (i.e. algorithmically) enumerable infinite subclass of Turing machines, then there exists a machine belonging to , and there exists a machine (which may or may not belong to ) such that and compute the same function, and the complexity of is much lower than that of . Hence it follows, in particular, that there exist primitive recursive functions whose lowest complexity in the primitive recursive form (i.e. through schemes of primitive recursion) is much higher than their lowest complexity in the general recursive form (i.e. through schemes of general recursion). Let the complexity of normal algorithms and of Turing machines mean, respectively, the length of the encoding and the number of internal states. Then it will be possible to realize any function of the algebra of logic in variables (cf. Boolean function) : a) by a normal algorithm in an -letter alphabet with complexity ; and b) by a Turing machine with an -letter external alphabet with complexity . The study of the complexity of algorithms solving the finite restrictions of algorithmically unsolvable problems (the so-called bounded algorithmic problems) began in the 1960s. A.A. Markov considered the following problem: To construct, for any function of the algebra of logic in variables, an encoding of a normal algorithm in the alphabet which realizes the function and which has least complexity among all such algorithms. It has been shown ,  that the complexity of a normal algorithm which solves this problem is of the order . Another problem which has been studied is the complexity of algorithms which solve, for the first natural numbers, the problem of belonging to a recursively enumerable set (the complexity of -segments of recursively enumerable sets). It was shown that in the case of normal algorithms, the order of such a complexity is not more than , and that this estimate cannot be reduced in the general case. There also exist sets defined by simple diagonalization of which the -segments have complexity order . It was also shown that if the time of operation of algorithms is general-recursively bounded, then the complexity of -segments of recursively enumerable sets may increase exponentially, and the exponent may attain value .
Complexity of description of an algorithm is used in formalizations of the problem of the minimum complexity of an algorithm which constructs some finite object. This minimum complexity is often named simply the complexity of the finite object (for this particular specification of the complexity of description of an algorithm).
A definition of the complexity of finite objects was first proposed by A.N. Kolmogorov (cf. Algorithmic information theory). It was found that the following asymptotically exact relations exist between the complexity according to Kolmogorov, the complexity of the same objects when expressed through the length of the encoding of a normal algorithm into an -letter alphabet, and the complexity expressed by the number of internal states of a Turing machine with an external -letter alphabet:
|||A.A. Markov, "Normal algorithms connected with the computation of Boolean functions" Izv. Akad. Nauk SSSR Ser. Mat. , 31 (1967) pp. 161–208 (In Russian)|
|||M. Blum, "A machine independent theory of the complexity of recursive functions" J. ACM , 14 (1967) pp. 322–336|
|||V.A. Kuz'min, "Realization of functions of the algebra of logic by automata, normal algorithms and Turing machines" Problemy Kibernet. , 13 (1965) pp. 75–96 (In Russian)|
|||N.V. Petri, "Algorithms connected with predicates and Boolean functions" Soviet Math. Dokl. , 10 : 2 (1969) pp. 294–297 Dokl. Akad. Nauk SSSR , 185 : 1 (1969) pp. 37–39|
|||A.K. Zvonkin, L.A. Levin, "The complexity of finite objects and the developments of the concepts of information and randomness by means of the theory of algorithms" Russian Math. Surveys , 25 : 6 (1970) pp. 82–124 Uspekhi Mat. Nauk , 25 : 6 (1970) pp. 85–127|
|[a1]||J. Hartmanis, J.E. Hopcroft, "An overview of the theory of computational complexity" J. ACM , 18 (1971) pp. 444–475|
Algorithm, complexity of description of an. Ya.M. Barzdin' (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Algorithm,_complexity_of_description_of_an&oldid=14048