Preview

Philosophical Problems of IT & Cyberspace (PhilIT&C)

Advanced search

ALGORITHMICS FOR HARD PROBLEMS. PART I. SOME SIMPLE EXAMPLES AND SOME SIMPLE HEURISRICS

Abstract

The authors present their views on the hard problems and possible approaches for their algorithmics. The level of presentation is “slightly larger than the popular-science”, but “slightly less than scientific”. We call attention to the fact that we do not restrict our interpretation of hardness to so called NP-hardness in this book. Problems like primality testing, that are not known to be NP-hard (but that are also not known to be polynomial-time solvable), are in the center of our interest, too. It focuses on a systematic presentation of the fundamental concepts and algorithm design techniques. Among the examples of the tasks before us, there are the famous intellectual puzzle games, as well as the travelling salesman problem and problems of minimization of nondeterministic finite automata and disjunctive normal forms. Among the algorithms, we first consider the heuristic, which usually does not guarantee an optimal solution, but with an acceptably high probability yield a solution that is close to it. An important type is the so-called anytime- algorithms, i. e., real-time algorithms that have the best (for now) solution at any given moment; wherein the user in real-time may look these pseudo-optimal solutions, and usually, the sequence of these solutions gives in the limit the optimal one.

About the Authors

J. Hromkovič
Eidgenössische Technische Hochschule
Russian Federation


B. Melnikov
Samara State University
Russian Federation


References

1. Разборов А. Theoretical Computer Science: взгляд математика // Компьютерра. – 2001. – № 2.

2. Николенко С. Теория и практика сложности // Компьютерра. – 2005. – № 31.

3. http://habrahabr.ru/ – Habrahabr. – Режим доступа − свободный.

4. Левитин А. Алгоритмы: введение в разработку и анализ. Научно-популярное издание. – М.: Вильямс, 2006.

5. Громкович Ю. Теоретическая информатика. Введение в теорию автоматов, теорию вычислимости, теорию сложности, теорию алгоритмов, рандомизацию, теорию связи и криптографию. – СПб.: БХВ- Петербург, 2010.

6. Кормен Т., Лейзерсон Ч., Ривест Р., Штайн К. Алгоритмы. Построение и анализ. – М.: Вильямс, 2012.

7. Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи. – М.: Мир, 1982.

8. Hromkovič J. Algorithmics for Hard Problems. Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics. – Springer, 2004.

9. Мельников Б. Научим машину надежде? // Философские проблемы информационных технологий и киберпространства. – 2013. – № 1. – С. 51-64.

10. Гарднер М. От мозаик Пенроуза к надежным шифрам. – М.: Мир, 1993.

11. http://www.zcontest.ru/ – Открытый Зеленоградский турнир. – Режим доступа − свободный.

12. http://acm.sgu.ru/ – Saratov State University: Online Contester. – Режим доступа − свободный.

13. http://www.ioinformatics.org/index.shtml – International Olympiad in Informatics. – Режим доступа − свободный.

14. http:/ru.wikipedia.org/wiki/класс_NP – Класс NP. – Режим доступа − свободный.

15. Мельников Б. Программирование недетерминированных игр // Российская наука: дорога жизни. Сб. научно-популярных статей РФФИ. – М.: Октопус, 2002.

16. Мельников Б., Радионов А. О выборе стратегии в недетерминированных антагонистических играх // Программирование (РАН). – 1998. – № 5. – С. 55-62.

17. Рассел С., Норвиг П. Искусственный интеллект: современный подход. – Вильямс, 2006.

18. Люгер Дж. Искусственный интеллект. Стратегии и методы решения сложных проблем. – Вильямс, 2003.

19. Melnikov B., Radionov A., Gumayunov V. Some special heuristics for discrete optimization problems // Proceedings of 8th Int. Conf. on Enterprise Information Systems, ICEIS, 2006. – P. 360-364


Review

For citations:


Hromkovič J., Melnikov B. ALGORITHMICS FOR HARD PROBLEMS. PART I. SOME SIMPLE EXAMPLES AND SOME SIMPLE HEURISRICS. Philosophical Problems of IT & Cyberspace (PhilIT&C). 2013;(2):17-30. (In Russ.)

Views: 151


Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 License.


ISSN 2305-3763 (Online)