Попытка придумать псевдокод (в латексе) для алгоритма, который принимает в качестве входных данных два графика - сравнивает каждый узел в графе - (я заполнил функцию сравнения), но возвращает 0, если они являются узломиз одного графа равен узлу в другом графе, иначе возвращает 1. Узлом в графе может быть другой граф.Таким образом, проверка является рекурсивной.