1
Contra-exemplo para o algoritmo eficiente de Corneil para isomorfismo gráfico
No artigo Um Algoritmo Eficiente para Isomorfismo de Gráfico de Corneil e Gotlieb, 1970, foi declarada uma conjectura sobre a qual o algoritmo declarado se baseava na resolução de IG em tempo polinomial. Nomeadamente: que os gráficos representativos exibem a partição de automorfismo do gráfico fornecido Obviamente, essa conjectura não …