A Survey of Russian Approaches to Perebor (Brute-Force Searches) Algorithms
- 1 October 1984
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Annals of the History of Computing
- Vol. 6 (4) , 384-400
- https://doi.org/10.1109/mahc.1984.10036
Abstract
Concerns about computational problems requiring brute-force or exhaustive search methods have gained particular attention in recent years because of the widespread research on the "P = NP?" question. The Russian word for "brute-force search" is "perebor. " It has been an active research area in the Soviet Union for several decades. Disputes about approaches to perebor had a certain influence on the development, and developers, of complexity theory in the Soviet Union. This paper is a personal account of some events, ideas, and academic controversies that surrounded this topic and to which the author was a witness and-to some extent-a participant. It covers a period that started in the 1950s and culminated with the discovery and investigation of non-deterministic polynomial (NP)-complete problems independently by S. Cook and R. Karp in the United States and L. Levin in the Soviet Union.Keywords
This publication has 19 references indexed in Scilit:
- A logical approach to the problem “P=NP?”Published by Springer Nature ,2005
- Feasible Computations and Provable Complexity PropertiesPublished by Society for Industrial & Applied Mathematics (SIAM) ,1989
- Observations About the Development of Theoretical Computer ScienceIEEE Annals of the History of Computing, 1981
- Sparse complete sets for NP: Solution of a conjecture of Berman and HartmanisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1980
- Frequency algorithms and computationsLecture Notes in Computer Science, 1977
- Independence results in computer scienceACM SIGACT News, 1976
- On problems solvable by successive trialsLecture Notes in Computer Science, 1975
- Formalization of Some Notions in Terms of Computational ComplexityPublished by Elsevier ,1973
- COMPUTATIONALLY COMPLEX AND PSEUDO-RANDOM ZERO-ONE VALUED FUNCTIONS††Portions of this work were carried out at Carngie-Mellon University, while the authors were in the Department of Computer Science. Portions of these results were reported in preliminary form in [1].Published by Elsevier ,1971
- A formal theory of inductive inference. Part IInformation and Control, 1964