Любой рабочий пример алгоритма VF2?

Я читал алгоритм VF2 для определения, являются ли два графика изоморфными, но почему-то не хватает общей картины . Может быть, мне не хватает соответствующей информации в этой области, но все, что я вижу, - это набор правил, которые мне нужно использовать на каждом этапе, не видя интуитивного объяснения того, почему эти шаги выполняются.

Из базового поиска в Google кажется, что это считается одним из де-факто алгоритмов определения изоморфности двух графов, но по какой-то причине я не могу найти объяснение, которое было бы достаточно простым для понимания на высоком уровне. Или этот алгоритм известен под другим именем?

В любом случае, знает ли кто-нибудь какие-либо действующие примеры того, как этот алгоритм работает?