Dado un árbol (así que un gráfico no dirigido acíclico conectado es la definición con la que estoy trabajando) y otro árbol , es cierto que dado cualquier nodo en y en
Editar: .
Sugerencia: si el vértice se establece son disjuntos, luego agregando un borde entre los dos árboles hace que el gráfico compuesto sea un árbol. Demostrar aciclicidad y conectividad.
Como eliminar cualquier borde de un árbol da como resultado exactamente dos árboles, su conjetura es verdadera (para árboles disjuntos).
Además, el gráfico A no tiene ciclos, y tampoco el gráfico B. Por lo tanto, un ciclo debe viajar del gráfico A al gráfico B y viceversa, pero solo hemos proporcionado un nuevo borde para hacer esto.
Contraejemplo:
Hagen von Eitzen