Las nociones de isomorfismo y simetría son consideradas los conceptos más importantes de todas las áreas de la computación. La detección de estructuras isomorfas es importante en la construcción de algoritmos prácticos. A finales de la década de los 70's y principios de los 80s hubo grandes avances en la solución del problema de isomorfismo de grafos, estos avances se basaron en la teoría de grupos. La teoría de grupos puede verse como el estudio algebraico de la simetría. Lo que relaciona las estructuras de grafos y grupos es el problema de determinar si dos grafos son los mismos conociendo únicamente la simetría que estos dos grafos poseen. Basándonos en este enfoque, se construyeron algoritmos eficientes (de orden polinomial) para determinar si dos grafos son isomorfos.