"The Computational Complexity of Equivalence and Isomorphism Problems" - читать интересную книгу автора (Thomas Thierauf)