Title: Problems of reducing the exhaustive search
Subjects: Computational complexity