Здравствуйте, xereX, Вы писали:

X>Приветствую,
X> интересует любая информация относительно сравнения двух графов. Проверка гомоморфизма не подходит, т.к. требуется развернутый отчет о различиях графов.

Откуда проистекла задача ? Если граф представляет собой модель данных, то для формирования развернутого отчета требуется наличие метамодели. Используя метамодель обходим граф (т.е. модель) и определяем различия.

Без метамодели создание отчета затруднительно, ИМХО.