Книга посвящена эквивалентным преобразованиям графов. Предполагается, что доказанные теоремы решают проблему изоморфизма графов, проблему нумерации графов с помощью эффективных алгоритмов без их предварительного построения, проблему построения нормальных алгоритмов и т.д. Исследование преобразования вершинных графов в реберные демонстрирует причины возникновения NP-трудных задач с точки зрения теории графов, а также одновременную возможность и невозможность их успешного решения. Книга предназначена для тех, кто посвятил свою жизнь той области, которая справедливо зовется решением очень трудных задач. Для студентов и ученых, для программистов, создателей сложных моделей и систем.