Abstract
We study two generalizations of the classical problem of fast exponentiation, namely: Bellman’s problem on computational complexity (the minimal number of multiplications) based only on the variables of a normalized monomial of m variables and Knuth’s problem on the complexity of the simultaneous calculation of a system of m powers of one variable. Some results for these problems are surveyed in the paper. The asymptotic complexity bounds for Bellman’s and Knuth’s problems are improved for the cases when m and complexity behave similarly (have the same growth order). The upper and lower complexity bounds for almost all sets of exponents for Bellman’s and Knuth’s problems that are established provide the complexity growth asymptotics for a wide range of relations between parameters (the number of variables or the computed exponents, the maximal power, and the product of all powers). Moreover, they guarantee the ratio of the upper and lower bounds not exceeding 5/3 for all relations between the parameters.
Similar content being viewed by others
References
S. B. Gashkov and V. V. Kochergin, “On Addition Chains of Vectors, Gate Circuits, and the Complexity of Computations of Powers,” in Methods of Discrete Analysis in Graph Theory and Complexity, Vol. 52 (Inst. Mat., Novosibirsk, 1992), pp. 22–40 [Siberian Adv. Math. 4 (4), 1–16].
D. E. Knuth, The Art of Computer Programming, Vol. 2 (Addison-Wesley, Reading, Mass., 1969; Mir, Moscow, 1977).
V. V. Kochergin, “The Complexity of Computations in Finite Abelian Groups,” in Mathematical Questions of Cybernetics, Vol. 4 (Nauka, Moscow, 1992), pp. 178–217.
V. V. Kochergin, “On the Complexity of Computations in Finite Abelian Groups,” Dokl. Akad. Nauk SSSR 317(2), 291–294 (1991) [Sov. Math., Dokl. 43 (2), 374–376 (1991)].
V. V. Kochergin, “On the Computation of Powers Sets,” Diskretn. Mat. 6(2), 129–137 (1994) [Discrete Math. Appl. 4 (2), 119–128 (1994)].
V. V. Kochergin, “On the Complexity of Computations of Monomials and Tuples of Powers,” in Discrete Analysis, Vol. 27 (Inst. Mat., Novosibirsk, 1994), pp. 94–107 [Siberian Adv. Math. 6 (1), 71–86 (1996)].
V. V. Kochergin, “Two Generalizations of the Problem of Additive Chains,” in Proceedings of IV International Conference on Discrete Models in Theory of Control Systems (Moscow, June 19–25, 2000) (MAKS Press, Moscow, 2000), pp. 55–59.
V. V. Kochergin, “On the Complexity of Computation of a Pair of Monomials in Two Variables,” Diskretn. Mat. 17(4), 116–142 (2005) [Discrete Math. Appl. 15 (6), 547–572 (2005)].
V. V. Kochergin, “On the Computational Complexity of a System of Three Monomials in Three Variables,” in Mathematical Questions of Cybernetics, Vol. 15 (Nauka, Moscow, 2006), pp.79–155.
O. B. Lupanov, “The Synthesis of Some Classes of Control Systems,” Problemy Kibernet. No. 10, 63–97 (1963).
O. B. Lupanov, “An Approach to the Synthesis of Control Systems-the Principle of Local Coding,” Problemy Kibernet. No. 14, 31–110 (1965).
A. F. Sidorenko, “Complexity of Additive Computations of Systems of Linear Forms,” Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 105, 53–61 (1981) [J. Sov. Math. 22, 1310–1315 (1983)].
R. E. Bellman, “Addition Chains of Vectors (Advanced Problem 5125),” Amer. Math. Monthly 70, 765 (1963).
A. Brauer, “On Addition Chains,” Bull. Amer. Math. Soc. 45, 736–739 (1939).
P. Downey, B. Leong, and R. Sethi, “Computing Sequences with Addition Chains,” SIAM J. Comput. 10, 638–646 (1981).
P. Erdös, “Remarks on Number Theory. III: On Addition Chains,” Acta Arith. 6, 77–81 (1960).
D. M. Gordon, “A Survey of Fast Exponentiation Methods,” J. Algorithms 27, 129–146 (1998).
D. E. Knuth and C. H. Papadimitriou, “Duality in Addition Chains,” Bull. Eur. Assoc. Theor. Comput. Sci. 13, 2–4 (1981).
J. Olivos, “On Vectorial Addition Chains,” J. Algorithms 2(1), 13–21 (1981).
N. Pippenger, “On Evaluation of Powers and Related Problems,” in Proceedings of the 17th Annual IEEE Symposium on Foundation of Computer Science (Houston, TX, October 25–27, 1976), pp. 258–263.
N. Pippenger, “On Evaluation of Powers and Monomials,” SIAM J. Comput. 9(2), 230–250 (1980).
T. H. Southard, “Addition Chains for the First N Squares,” Tech. Rep. CNA-84 (Univ. Texas, Austin, 1974).
E. G. Straus, “Addition Chains of Vectors,” Amer. Math. Monthly 71, 806–808 (1964).
M. V. Subbarao, “Addition Chains — Some Results and Problems,” in Number Theory and Applications [NATO Adv. Sci. Inst. Ser.: Ser. C, Vol. 265] (Kluwer Acad. Publ., 1989), pp. 555–574.
A. C.-C. Yao, “On the Evaluation of Powers,” SIAM J. Comput. 5, 100–103 (1976).
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text © V.V. Kochergin, 2014, published in Diskretnyi Analiz i Issledovanie Operatsii, 2014, Vol. 21, No. 6, pp. 51–72.
Rights and permissions
About this article
Cite this article
Kochergin, V.V. Improvement of the estimates of the computational complexity for monomials and sets of powers in Bellman’s and Knuth’s problems. J. Appl. Ind. Math. 9, 68–82 (2015). https://doi.org/10.1134/S1990478915010081
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S1990478915010081