"Algorithm Theory - SWAT 2002" - читать интересную книгу автора (Penttonen M., Schmidt E.M.)