O problema que você descreve foi definitivamente considerado (lembro-me de discuti-lo na escola de pós-graduação, e na época já havia sido discutido muito antes disso), embora não possa apontar para nenhuma referência específica na literatura. Possivelmente porque é linearmente equivalente ao isomorfismo gráfico incolor, da seguinte forma (isso é verdade mesmo para formas canônicas). Chame o problema que você descreve EQ-GI.
GI é apenas o caso especial de EQ-GI, em que cada gráfico possui apenas uma classe de equivalência composta por todos os vértices.
Na outra direção, para reduzir EQ-GI a GI, seja um gráfico com relação de equivalência com n vértices, m arestas ec classes de equivalência. Construa um gráfico G ′ cujo conjunto de vértices consiste nos vértices de G , juntamente com os novos vértices v 1 , … , v c , um para cada classe de equivalência em = G , bem como n + c + 1 novos vértices w 0 , … ,(G,∼G)nmcG′Gv1,…,vc=Gn+c+1 . Ligue o w i 's num caminho w 0 - W 1 - W 2 - ⋯ - w n + c , ligar cada v i a w 0 , e para todos os vértices de L , ligá-lo à correspondente equivalência classe vértice v i . Então G ′ tem no máximo n + 2 c + n + 1 ≤ O ( n )w0,…,wn+cwiw0−w1−w2−⋯−wn+cviw0GviG′n+2c+n+1≤O(n)vértices e podem ser construídos essencialmente ao mesmo tempo. (Ele também possui no máximo arestas - que é O ( m ) para gráficos conectados - mas isso é um pouco menos relevante uma vez que a maioria dos algoritmos GI tem tempos de execução que dependem essencialmente apenas de n .)m+n+c+(n+c+1)≤m+4n+1≤O(m+n)O(m)n
Atualização : Como houve alguma confusão nos comentários, estou adicionando aqui um esboço da correção do argumento acima. Dado e ( G 2 , ∼ 2 ) , sejam G ′ 1 e G ′ 2 os gráficos construídos como acima; Seja v i , 1 denotar o vértice v i de cima em G ′ 1 , e v i , 2 aquele em G ′(G1,∼1)(G2,∼2)G′1G′2vi,1viG′1vi,2 e da mesma forma parawi,1ewi,2. Se existe um isomorfismoG ′ 1 ≅G ′ 2 , ele deve enviarwi,1awi,2para todoi, pois em cada gráficown+cé o vértice único que é o ponto final de qualquer caminho de comprimento pelo menosn+c+1. Em particular,w0,1G′2wi,1wi,2G′1≅G′2wi,1wi,2iwn+cn+c+1w0,1mapeia para . Desde os vizinhos de w 0 que não são w 1 são exatamente o v i , o isomorfismo deve mapear o conjunto { v 1 , 1 , ... , v c , 1 } para o conjunto { v 1 , 2 , ... , v c , 2 } (e, em particular, ∼ 1 e ∼ 2 devem ter o mesmo número, cw0,2w0w1vi{v1,1,…,vc,1}{v1,2,…,vc,2}∼1∼2c, de classes de equivalência). Observe que o isomorfismo não precisa enviar a v i , 2 para todos os i , mas é permitido permutar os índices dos v 's desde que as classes de equivalência correspondentes possam ser mapeadas uma para a outra. Por outro lado, com base nesta descrição de como os isomorfismos entre G ′ 1 e G ′ 2 podem parecer, é fácil ver que se ( G 1 , ∼ 1 ) ≅ ( G 2 , ∼ 2 )vi,1vi,2ivG′1G′2(G1,∼1)≅(G2,∼2)então isso dá um isomorfismo .G′1≅G′2