Publisher's Synopsis
В этой книге представлены теоретические, практические и экспериментальные подходы к доказательству эквивалентности или неэквивалентности классов сложности, известных как реляционная теория.Доказательства и опровержения проводятся на основе теоремы "P versus NP", которая была впервые придумана Стивеном Куком и впоследствии нашла глубокое применение для анализа производительности алгоритмов, дав тем самым определение теории оптимизации и теории описания этой производительности в терминах, которые хорошо подходят и известны как малая o- или большая O-нотация - медианное значение также существует.