a)
Sea G un grafo de n vértices. Podemos demostrar que G puede obtenerse a partir del grafo trivial repitiendo n−1 veces el siguiente paso:
La base de la inducción es el caso n=1. El grafo trivial tiene un solo vértice, por lo que el grafo trivial es el grafo trivial.
La hipótesis de inducción es que para cualquier número natural k, si G es un grafo de k vértices, entonces G puede obtenerse a partir del grafo trivial repitiendo k−1 veces el paso anterior.
Para el paso inductivo, supongamos que G es un grafo de n vértices. Entonces podemos agregar un vértice v a G y conectarlo a cualquier número de vértices de G. El grafo resultante G′
tiene n+1 vértices y es un árbol. Esto se debe a que G es un árbol, por lo que no tiene ciclos. Cuando agregamos v a G, no creamos ningún ciclo, porque solo conectamos v a vértices que ya están en G.
Por lo tanto, por inducción, si G es un grafo de n vértices, entonces G puede obtenerse a partir del grafo trivial repitiendo n−1 veces el paso anterior.
b)
Ahora demostramos que si G es un árbol, lo dicho puede lograrse aún exigiendo que al final de cada paso se obtenga un árbol.
La base de la inducción es el caso
n
=1. El grafo trivial es un árbol, por lo que el grafo trivial es un árbol.
La hipótesis de inducción es que para cualquier número natural k, si G es un árbol de k vértices, entonces G puede obtenerse a partir del grafo trivial repitiendo k−1 veces el paso anterior, de modo que al final de cada paso se obtiene un árbol.
Para el paso inductivo, supongamos que G es un árbol de n vértices. Entonces podemos agregar un vértice v a G y conectarlo a cualquier número de vértices de G. El grafo resultante G′
tiene n+1 vértices y es un árbol. Esto se debe a que G es un árbol, por lo que no tiene ciclos. Cuando agregamos v a G, no creamos ningún ciclo, porque solo conectamos v a vértices que ya están en G.
Por lo tanto, por inducción, si G es un árbol de n vértices, entonces G puede obtenerse a partir del grafo trivial repitiendo n−1 veces el paso anterior, de modo que al final de cada paso se obtiene un árbol.
Para escribir su respuesta aquí, Ingresar o Crear una cuenta
Compartir