¿Por qué hacemos isomorfismo, automorfismo y homomorfismo?

12

¿Cuáles son las diferencias clave entre estos tres términos isomorfismo, automorfismo y homomorfismo en lenguaje simple y laico y por qué hacemos isomorfismo, automorfismo y homomorfismo?

graph-theory

— Xara
fuente

17

El isomorfismo formaliza la noción de gráficos iguales . Por ejemplo, en esta figura, ve tres gráficos isomórficos ingrese la descripción de la imagen aquí

$G_1$ $G_2$ $f:V(G_1) \mapsto V(G_2)$

u \sim_{G_{1}} v ⟺ f (u) \sim_{G_{2}} f (v)

$u \sim_{G_1} v \iff f(u) \sim_{G_2} f(v)$

No es difícil encontrar tal biyección para cada par de gráficos en la imagen.

$G_1 = G_2$

$f$ $G$ $v$ $u$ $u$ $v$

$G$ $u,v \in V(G)$ $f:V(G) \mapsto V(G)$ $f(u) = v.$ ingrese la descripción de la imagen aquí

y como pueden ver los gráficos "se ven" bastante simétricos. Eso es precisamente porque tiene "muchos" automorfismos del tipo descrito.

Los homomorfismos de grafos generalmente no son estudiados por laicos y tienen más o menos propósitos teóricos. Por ejemplo, están estrechamente relacionados con la noción de coloración de vértices. Ver también Conjetura de Hadwiger

— Jernej
fuente

1

... los homomorfismos generalmente no son estudiados por laicos ... hilarante! +1

— Pratik Deoghare

8

$h:G\rightarrow G'$ $G=(V,E)$ $G'=(V',E')$ $e=(u,v) \in E$ $(h(u),h(v))\in E'$

Ahora un isomorfismo gráfico es un homomorfismo biyectivo, lo que significa que es inverso también es un homomorfismo. Si dos gráficos son isomorfos, entonces son esencialmente el mismo gráfico, solo con un re-etiquetado de los vértices. El problema de determinar si dos gráficas son isomorfas entre sí es un problema importante en la teoría de la complejidad.

Finalmente, un automorfismo es isomorfismo de un gráfico a sí mismo.

— Marc Khoury
fuente