Anlisis Combinatorio

Unidad 3 Actividad 2

RBOLES
14 de septiembre de 2015
Autor: Laura Pontn Becerril

Anlisis Combinatorio
Unidad 3 Actividad 2
1. Demuestra que si es un rbol en el que todos sus vrtices tienen grado impar entonces tiene
tamao impar.
Definicin de grado: El nmero de aristas de incidentes en se llama el grado de y se denota ().
Definicin de orden: El orden de es el nmero de vrtices del grafo. Se denota por .
Definicin de rbol. Un rbol es una grfica acclica y conexa.
Definicin de tamao de : es el nmero de aristas del grafo. Se denota por .
Definicin de tamao de rbol de : Si es un rbol de rden entonces su tamao es = 1
Busquemos la relacin entre grado y tamao de un rbol
El Corolario 1 dice: Toda grfica tiene un nmero par de vrtices de grado impar.
El teorema 6 dice: Si es un rbol de orden , entonces su tamao es = 1
Anlisis:
Si las aristas incidentes en un vrtice dan grado impar, y todos los grados de todos los vrtices es impar, los
vrtices totales (orden) son pares. Y si el tamao de es impar, las aristas totales son impares.
El teorema 6 dice = 1, eso quiere decir que el tamao de es igual al nmero total de vrtices
(orden) menos uno, lo que quiere decir que si a un nmero par le restamos uno, el resultado ser impar.

2. Demuestra que la trayectoria de orden + es el nico rbol con exactamente dos vrtices
terminales.
Los vrtices de grado uno de un rbol se llaman vrtices terminales. Si hay dos vrtices terminales, hay dos
vrtices seguros en el grafo de grado uno.
Anlisis Combinatorio | 14/09/2015

Cualquier rbol que si tenga aristas siempre tiene vrtices terminales.

Una trayectoria es un rbol dirigido, donde el orden de este, es el nmero de vrtices por donde pasa la
trayectoria.
Una trayectoria con orden , en un rbol, tiene un solo vrtice terminal, un rbol con 2 vrtices terminales,
tendr trayectoria + 1, pues los vrtices, y por lgica el orden, totales sern + 1

3. Es posible que un rbol sea una grfica regular? Explica.

Definicin de grafica regular. Si es una grfica en la que todo vrtice , tiene el mismo grado se llama regular
de grado -regular.
Definicin de rbol: Un rbol es una grfica acclica y conexa.
Teorema 4. Todo rbol con al menos una arista tiene al menos dos vrtices terminales.
Entonces, al existir un rbol con solo una arista, este ser un rbol regular u homogneo, y creo sera el nico
caso.
El rbol con un solo vrtice, no tiene grado, y no creo que entre a esta consideracin.
4. Demuestra que si es una grfica conexa de orden y tamao entonces .
Definicin de orden: El orden de G es el nmero de vrtices del grafo. Se denota por p.
Definicin de tamao de G: es el nmero de aristas del grafo. Se denota por q.
Definicin de grfica conexa: Decimos que es una grfica conexa si todo par de vrtices de estn conectados y
es disconexa en otro caso.
La pregunta del problema se refiere a que si es una grfica conexa donde el nmero de aristas es mayor al
nmero de vrtices menos uno.
El simple hecho de ser conexa implica que todos los vrtices estn conectados entre s, tenemos pues entonces
vrtices conectados entre s.
Un grafo de 1 solo vrtice, no aplica, pues no hay par de vrtices conectados entre s.
Un grafo de 2 vrtices conexo, tiene una arista, cumple:
2 11
Un grafo de 3 vrtices conexo, tiene 3 aristas, cumple:
3 31
Un grafo de k vrtices conexo, cumplir esta condicin.

5. Demuestra que si es una grfica conexa de orden , tamao y = entonces es un

Por lgica de definiciones, si es conexa, debemos de tener par de vrtices conectados entre s, para:
= 0: No aplica, no hay vrtices, no es grafo.
= 1: No aplica, na hay par de vrtices conectados entre s
= 2: Aplica, hay un par de vrtices conectados entre s, entonces:

Si es rbol, porque es acclico

Cumple = 1 porque el nmero de aristas es 1, entonces 1=2-1

3: Para 3 no cumple, pues ya no sera rbol al existir par de vrtices conectados entre s.
Esto solo cumple para = 2.

Anlisis Combinatorio | 14/09/2015

rbol.

6. Demuestra que todo rbol es una grfica bipartita.

Si experimentamos en cualquier rbol de orden :

Un rbol tiene al menos dos vrtices terminales, tommoslos, y pongmoslos en un conjunto, es obvio
que al ser ambos terminales, ambos vrtices estn desconectados entre s, cmo eliminamos dos vrtices
terminales, el resto de la grfica sigue siendo un rbol

Repetimos el proceso anterior y ponemos los vrtices en el otro conjunto, entonces ambos vrtices al ser
terminales estn desconectados entre s. El resultado de la grfica ser de nuevo un rbol

Si repetimos lo anterior hasta tener solo el vrtice inicial y el resto en conjuntos diferentes, cumple con
las definiciones de grfica bipartita y de rbol.

Si seguimos esta particin, se divide todo el rbol en dos conjuntos donde los vrtices de un mismo conjunto estn
desconectados entre s, por lo que el rbol es una grfica bipartita.

Referencias

Anlisis Combinatorio | 14/09/2015

http://docencia.udea.edu.co/regionalizacion/teoriaderedes/definicionesu1.html
http://mat.izt.uam.mx/mcmai/documentos/tesis/Gen.06-O/Javier-NY-Tesis.pdf