Dois grafos são isomorfos se eles possuem a mesma estrutura, diferindo apenas na representação geométrica ou rotulação de vértices e arestas. Dois grafos G1 e G2 são isomorfos se existirem funções K e X tal que K mapeia vértices de G1 para vértices de G2 de forma correspondente e X mapeia arestas de G1 para arestas de G2.