Skip to main content
Log in

Improvement of the estimates of the computational complexity for monomials and sets of powers in Bellman’s and Knuth’s problems

  • Published:
Journal of Applied and Industrial Mathematics Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. 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].

    Google Scholar 

  2. D. E. Knuth, The Art of Computer Programming, Vol. 2 (Addison-Wesley, Reading, Mass., 1969; Mir, Moscow, 1977).

    MATH  Google Scholar 

  3. V. V. Kochergin, “The Complexity of Computations in Finite Abelian Groups,” in Mathematical Questions of Cybernetics, Vol. 4 (Nauka, Moscow, 1992), pp. 178–217.

    Google Scholar 

  4. 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)].

    MathSciNet  Google Scholar 

  5. V. V. Kochergin, “On the Computation of Powers Sets,” Diskretn. Mat. 6(2), 129–137 (1994) [Discrete Math. Appl. 4 (2), 119–128 (1994)].

    MathSciNet  Google Scholar 

  6. 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)].

    Google Scholar 

  7. 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.

    Google Scholar 

  8. 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)].

    Article  MathSciNet  Google Scholar 

  9. 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.

    Google Scholar 

  10. O. B. Lupanov, “The Synthesis of Some Classes of Control Systems,” Problemy Kibernet. No. 10, 63–97 (1963).

    Google Scholar 

  11. O. B. Lupanov, “An Approach to the Synthesis of Control Systems-the Principle of Local Coding,” Problemy Kibernet. No. 14, 31–110 (1965).

    Google Scholar 

  12. 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)].

    MATH  MathSciNet  Google Scholar 

  13. R. E. Bellman, “Addition Chains of Vectors (Advanced Problem 5125),” Amer. Math. Monthly 70, 765 (1963).

    Google Scholar 

  14. A. Brauer, “On Addition Chains,” Bull. Amer. Math. Soc. 45, 736–739 (1939).

    Article  MathSciNet  Google Scholar 

  15. P. Downey, B. Leong, and R. Sethi, “Computing Sequences with Addition Chains,” SIAM J. Comput. 10, 638–646 (1981).

    Article  MATH  MathSciNet  Google Scholar 

  16. P. Erdös, “Remarks on Number Theory. III: On Addition Chains,” Acta Arith. 6, 77–81 (1960).

    MATH  MathSciNet  Google Scholar 

  17. D. M. Gordon, “A Survey of Fast Exponentiation Methods,” J. Algorithms 27, 129–146 (1998).

    Article  MATH  MathSciNet  Google Scholar 

  18. D. E. Knuth and C. H. Papadimitriou, “Duality in Addition Chains,” Bull. Eur. Assoc. Theor. Comput. Sci. 13, 2–4 (1981).

    Google Scholar 

  19. J. Olivos, “On Vectorial Addition Chains,” J. Algorithms 2(1), 13–21 (1981).

    Article  MATH  MathSciNet  Google Scholar 

  20. 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.

  21. N. Pippenger, “On Evaluation of Powers and Monomials,” SIAM J. Comput. 9(2), 230–250 (1980).

    Article  MATH  MathSciNet  Google Scholar 

  22. T. H. Southard, “Addition Chains for the First N Squares,” Tech. Rep. CNA-84 (Univ. Texas, Austin, 1974).

    Google Scholar 

  23. E. G. Straus, “Addition Chains of Vectors,” Amer. Math. Monthly 71, 806–808 (1964).

    MathSciNet  Google Scholar 

  24. 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.

    Google Scholar 

  25. A. C.-C. Yao, “On the Evaluation of Powers,” SIAM J. Comput. 5, 100–103 (1976).

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to V. V. Kochergin.

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

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S1990478915010081

Keywords

Navigation