V ätoj knige predstawleny teoreticheskie, prakticheskie i äxperimental'nye podhody k dokazatel'stwu äkwiwalentnosti ili neäkwiwalentnosti klassow slozhnosti, izwestnyh kak relqcionnaq teoriq.Dokazatel'stwa i oprowerzheniq prowodqtsq na osnowe teoremy "P versus NP", kotoraq byla wperwye pridumana Stiwenom Kukom i wposledstwii nashla glubokoe primenenie dlq analiza proizwoditel'nosti algoritmow, daw tem samym opredelenie teorii optimizacii i teorii opisaniq ätoj proizwoditel'nosti w terminah, kotorye horosho podhodqt i izwestny kak malaq o- ili bol'shaq O-notaciq - mediannoe znachenie takzhe suschestwuet.