Advertisement

What can we do with problems of exhaustive search?

  • G. M. Adel'son-Vel'skii
  • A. O. Slisenko
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 122)

Keywords

Inference Rule Travel Salesman Problem Theorem Prove Hard Problem Polynomial Complexity 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Rogers H. Theory of recursive functions and effective computability. — McGraw Hill Co., 1967.Google Scholar
  2. 2.
    Слисенко А.О. Сложностные задачи теории вычислений. — М., 1979 (Препринт/Научн. совет по компл. проблеме "Кибернетика" АН СССР).Google Scholar
  3. 3.
    Fischer M.J., Rabin M.O. Super-exponential complexity of Presburger arithmetic. —In: Complexity Comput.: SIAM-AMS Proc., v.7, Providence, 1974, p. 27–41.Google Scholar
  4. 4.
    Cook S.A. The complexity of theorem-proving procedures. —In: Conf. Rec. 3d Annu. ACM Symp. Theory Comput., Shaker Heights, 1971, p. 151–158.Google Scholar
  5. 5.
    Aho A.V., Hopcroft J.E., Ullman J.D. The design and analysis of computer algorithms. — London a.o.: Addison Wesley, 1974.Google Scholar
  6. 6.
    Garey M.R., Johnson D.S., Tarjan R.E. The planar Hamiltonian circuit problem is NP-complete. — SIAM J. Comput., 1976, v.5, no.4, p. 704–714.CrossRefGoogle Scholar
  7. 7.
    Land A.H., Doig A.G. An automatic method of solving discrete programming problems. — Econometrica, 1960, v.28, no.3, p. 497–520.Google Scholar
  8. 8.
    Слисенко А.О. Финитный подход к задаче оптимизации алгорифмов установления выводимости. — Записки научн. семинаров Ленингр. отд. Матем. ин-та АН СССР, 1975, т.49, с. 123–130.Google Scholar
  9. 9.
    Lewis H.R. Complexity of solvable cases of decision problem for the predicate calculus. —In: IEEE 19th Annu. Symp. Found. Comput. Sci., Ann Arbor, 1978, p. 35–47.Google Scholar
  10. 10.
    Матросов В.М., Василъев С.Н., Каратуев В.Г., Новиков М.А., Суменков Е.А., Ядыкин С.А. Мащинный вывод теорем о динамических свойствах с вектор-функциями Ляпунова. — Кибернетика, 1979, No2, с. 27–36.Google Scholar
  11. 11.
    Калужнин Л.А., Стогний А.А. Теория и практика применения ЭВМ в алгебраических исследованиях. — В кн.: Вычисления в алгебре и комбинаторике, Киев, 1978, с. 3–40.Google Scholar
  12. 12.
    Стругацкий А.Н., Стругацкий Б.Н. Понедельник начинается в субботу. — В. кн.: Библиотека современной фантастики, т. 7, М., 1966.Google Scholar
  13. 13.
    Corneil D.G., Gotlieb C.C. An efficient algorithm for graph isomorphism. — J. Assoc. Comput. Mach., 1970, v.17, no.1, p. 51–64.Google Scholar
  14. 14.
    Slisenko A.O. Computational complexity of string and graph identification. — In: Lect. Notes Comput. Sci., 1979, v.74, p. 182–190.Google Scholar
  15. 15.
    Аделъсон-Велъский Г.М., Диниц Е.А., Карзанов А.В. Потоковые алгоритмы. — М.: Наука, 1975.Google Scholar
  16. 16.
    Galil Z., Naamad A. Network flow and generalized path compression. — In: Proc. 11th Annu. ACM Symp. Theory Comput., Atlanta, 1979, p. 13–26.Google Scholar
  17. 17.
    Hačijan L.G. A polynomial algorithm in linear programming. — Soviet Math. Dokl., 1979, v.20, no.1, p. 191–194.Google Scholar
  18. 18.
    Келлен Дж. Календарное планирование. — В кн.: Экономические модели в управлении. М., 1967.Google Scholar
  19. 19.
    Маслов. С.Ю. Информация в исчислении и рационализация переборов. — Кибернетика, 1979, No2, с. 20–26.Google Scholar
  20. 20.
    Sahni S., Gonzales T. P-complete problems and approximate solutions. — In: IEEE 15th Annu. Symp. Switch. and Automata Theory, New Orleans, 1974, p. 28–31.Google Scholar
  21. 21.
    Ibarra O.H., Kim C.E. Fast approximation algorithm for the knapsack and sum of subset problems. — J. Assoc. Comput. Mach., 1975, v.22, no.4, p. 463–468.Google Scholar
  22. 22.
    Christofides N. Worst-case analysis of a new heuristic for the traveling salesman problem. — In: Algorithms and complexity: New directions and recent results, ed. J. Traub. New York a.o., Academic Press, 1976, p. 441.Google Scholar
  23. 23.
    Нигматуллин Р.Г. Сложностъ приближенного решения комбинаторных задач. — Докл. АН СССР, 1975, т. 224, No2, с. 289–292.Google Scholar
  24. 24.
    Диниц Е.А., Карзанов А.В. Булева задача оптимизации при ограничениях одного знака. М., 1978, — 42 с. (Препринт/ВНИИ системных исследований).Google Scholar
  25. 25.
    Yao A.C.-C. Probabilistic computations: toward a unified measure of complexity. —In: IEEE 18th Annu. Symp. Found. Comput. Sci., Providence, 1977, p. 222–227.Google Scholar
  26. 26.
    Lueker G.S. Maximization problems on graphs with edge weights chosen from a normal distribution. —In: Proc. 10th Annu. ACM Symp. Theory Comput., San Diego, 1978, p. 13–19.Google Scholar
  27. 27.
    Гимади Э.Х., Глебов Н.И., Перепелица В.А. Алгоритмы с оценками для задач дискретной оптимизации. — В кн.: Проблемы кибернетики, М., 1976, вып.31, с. 35–42.Google Scholar
  28. 28.
    Angluin D., Valiant L.G. Fast probabilistic algorithms for Hamiltonian circuits and matching. — Edinburgh, 1977, — 59 p. (Univ. of Edinburgh, Dept. Comput. Sci., CSR-17-77).Google Scholar
  29. 29.
    Solovay R., Strassen V. A fast Monte-Carlo test for primality. — SIAM J. Comput., 1977, v.6, no.1, p. 84–85.CrossRefGoogle Scholar
  30. 30.
    Аделъсон-Велъский Г.М., Арлазаров В.Л., Донской М.В. Программирование игр. — М.: Наука, 1978.Google Scholar
  31. 31.
    Zermelo E. Uber eine Anwendung der Mengenlehre auf die Theorie des Schachspiel. —In: 5th Intern. Congress Mathem., Cambridge, v.2, 1912, p. 501.Google Scholar
  32. 32.
    Shannon C. Chess playing machine. — The world of math., 1956, no.4, p. 2124–2134.Google Scholar
  33. 33.
    Shannon C. Game playing machines. — J. Franklin Inst., 1955, v.260, no.6, p. 447–453.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • G. M. Adel'son-Vel'skii
    • 1
  • A. O. Slisenko
    • 2
  1. 1.VNIISIMoscowUSSR
  2. 2.LOMILeningradUSSR

Personalised recommendations