Теория графов

22. Grafu izomorfizms.
Изоморфизм графов. Пусть G=(V,E), G1=(V1,E1) - графы и существует биекция f: V=>V1. Если для любых вершин v,w in V их образы f(v),f(w) смежны в V1 тогда и только тогда, когда v и w смежны в G, то эта биекция называется изоморфизмом графа G на граф G1 (графы G и G1 изоморфны). Очевидно, что отношение изоморфизма является эквивалентностью, т.е. оно рефлексивно, симметрично и транзитивно.
…