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

_O_>Откуда проистекла задача ?

Задача звучит так: имеются две электрические схемы, необходимо установить их эквивалентность, а в случае обнаружения отличий — вывести диагностику.

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

В том-то и проблема, что не понятно, как обходить граф: если пройдя по пути P найдено несовпедение, то не факт, что пройдя по пути P2 мы не получим в том месте совпадение и обход придется продолжить.


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

Отчего же. Есть два графа G1, G2 (вершины и ребра пронумерованы), в отчет необходимо вывести что-то вроде:
ДЛЯ ВЕРШИНЫ 434 ГРАФА G1 НЕ НАЙДЕНО ПОДХОДЯЩЕЙ ВЕРШИНЫ ГРАФА G2
ДЛЯ РЕБРА 9454 ГРАФА G2 НЕ НАЙДЕНО ПОДХОДЯЩГО РЕБРА ГРАФА G1