> -- Владислав Жаринов писал(а):
> Включая нагрузку/разметку графа, наверное?.. Ведь неэквивалентность м.б. в текстах вершин при одинаковых структурах?.. И, кстати, в части объявлений тоже?..
Да. Потому как граф программы может иметь и вершины и ребра разных типов, да еще нагруженные.
Одно радует: для специального вида графов (коим является наше семантическое дерево) можно придумать более-менее нормально работающий по времени алгоритм.