Lo contrario es bastante obvio. Si G es un ciclo, entonces es isomorfo a su gráfico lineal. ¿Cómo demostrar que si L(G) es isomorfo a G, entonces G es un ciclo...?
P.D. - Supongamos que G está conectado
Lo contrario es bastante obvio. Si G es un ciclo, entonces es isomorfo a su gráfico lineal. ¿Cómo demostrar que si L(G) es isomorfo a G, entonces G es un ciclo...?
P.D. - Supongamos que G está conectado
Un vértice de $G$ de grado $d_i$ contribuye $\binom{d_i}2$ bordes a $L(G)$ . Entonces con $n$ que denota el número común de vértices y aristas de $G$ y $L(G)$ ,
$$ \sum_id_i=2n\;, $$
$$ \sum_i\frac{d_i(d_i-1)}2=n\;, $$
así que
$$ \sum_id_i^2=4n $$
y por lo tanto
\begin {align} \operatorname {Var}(d)&=E[d^2]-E[d]^2 \\ &= \frac { \sum_id_i ^2}n- \left ( \frac { \sum_id_i }n \right )^2 \\ &=4-4 \\ &=0\;. \end {align}
Así, todos los vértices de ambos gráficos tienen el mismo grado $2$ , lo que sólo ocurre en una unión de grafos de ciclos.
Gracias hombre magnífico. Me refiero a que conocía las relaciones que has utilizado. Pero no se me había ocurrido utilizar el concepto de varianza para demostrar que los grados son iguales (¡¡sobre todo resolviendo una pregunta en gráficas!!). ¿Cómo se te ocurrió esto? ¿Conoces alguna otra pregunta en la que se pueda utilizar esto?
@idpd15: Los conceptos de la probabilidad son a menudo útiles en la teoría de grafos; por ejemplo, los dos ejemplos del artículo de Wikipedia sobre el método probabilístico son sobre gráficos. En el presente caso, me di cuenta de que la suma de grados es fija y podemos contar las aristas en $L(G)$ sumando $\binom{d_i}2$ que es una función convexa (cuadrática) de $d_i$ . Si $\sum_id_i$ es fija, la suma sobre una función convexa de $d_i$ es mínimo si todos los $d_i$ son iguales. Podría haber escrito simplemente eso, pero lo he traducido al lenguaje de la varianza para hacerlo más concreto.
Dejemos que $G$ sea un grafo conexo en $n$ vértices y $m$ bordes y suponga $G$ es isomorfo a su gráfico lineal $L(G)$ . Entonces, $m=n$ y así $G$ es un gráfico conectado que tiene $n$ bordes. Esto implica $G$ es de la forma $T+e$ , donde $T$ es un árbol y $e$ es una arista que no está en $T$ . Si $G=T+e$ es el $n$ -Gráfico del ciclo, entonces hemos terminado.
Supongamos que $T+e$ no es un ciclo. Entonces, $T+e$ tiene un vértice de grado 3 o más. Tres de las aristas incidentes a este vértice en $G$ forman un ciclo de longitud 3 en $L(G)$ . Además, el ciclo único en $G$ obtenido mediante la adición de la arista $e$ al árbol $T$ induce un ciclo en $L(G)$ . Por lo tanto, $L(G)$ tiene al menos dos ciclos. Demostramos que $G$ sólo tiene un ciclo y que $L(G)$ tiene dos o más ciclos, lo cual es una contradicción porque $G \cong L(G)$ . Así que este caso es imposible, y $T+e$ debe ser un ciclo.
I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.
0 votos
@bof creo que es... por favor comprueba
0 votos
@joriki Me debo estar quedando dormido. Lo siento.
0 votos
@bof yup. Gracias. Lo he editado