MACO - U3 - A2 - AUPC. Árboles

Anlisis Combinatorio
Unidad 3. Teora de Grficas
LICENCIATURA EN MATEMATICAS
ALUMNO: Aurelio Plancarte Coria
Matricula: AL12529608
Actividad 2. rboles.
Instrucciones:
Resuelve
los
siguientes
planteamientos
tomando en cuenta los conocimientos sobre rboles.

1. Demuestra que si
es un rbol en el que todos sus vrtices
tienen grado impar entonces
tiene tamao impar.
SOLUCION:
Sea
un rbol con un nmero impar de vrtices. Haremos lo
siguiente:
El conjunto de vrtices
es el mismo que el de
T |Te
E ( G ) :={e E
tiene dos componentes impares. En primer lugar vamos a demostrar que

el grado de cada vrtice en
es impar, y enseguida se har lo mismo
en cualquier camino de la subgrafica
de
debe tener grado impar que satisface la propiedad
con cada vrtice

G =G .
Vamos a considerar la posibilidad de cualquier vrtice

Asumimos por contradiccin de que
hay que eliminar todos los aristas de
d ( x)
en
G.
es par. Y a continuacin,
incidente a
de los rboles
T
{una contradiccin) que dan como resultado en nmero impar de
impar componentes. Por lo tanto, el nmero total de vrtices en

impar y as cada vrtice en
T e
en
G
un borde de
tiene dos componentes impares en
entonces decimos que
e E (G )
donde los vrtices
entonces implica que
T1 , T2
por contradiccin
y por el resultado de la incidencia
G [ V (T 1 ) ]
llegamos a la conclusin que
es
tiene grado impar. Por otra parte
considerando que sea una subgrafica

tienen grado impar .Sea
vrtices de grado impar y por tanto
tiene un nmero impar de

donde e E (G ) .
e E(G)
Se puede concluir que los dos componentes
T1 ; T2
de
Te
, ambos
tienen un nmero impar de vrtices.
2. Demuestra que la trayectoria de orden
n+1
es el nico rbol con
exactamente dos vrtices terminales.
SOLUCION:
Por definicin se considera que todo rbol no trivial tiene al menos dos
vrtices terminales.
Entonces suponiendo a que sea
longitud mxima en
con
Demostraremos que
v1
vm
un rbol y
T =v 1 , v 2 , v 3 , , v m
una trayectoria de
y con
I ( T )=m1 .
tienen grado uno, por lo que
gr G ( v 1 ) >1
tal que
v 1 v m +1
gr G ( v 2 ) >1
v 1 ady G v m +1
v m +1 v2
, lo que significa que existe un vrtice
.Si
v m +1 v ( T ) ,
por ser
conexa existe una
trayectoria para cualquier vrtice v 1 v ( T ) , i=1,2,3, , m.
.Llamemos
T1
a tal trayectoria y consideremos
C={ v 1 , , v i } T 1 {v 1 v m +1 }
Un ciclo en
tendramos
T 0 ={ v m+1 } T ,
v V (T )
que contradice a la hiptesis. Por otro lado si
contradice la eleccin de
una trayectoria de longitud
T , por lo tanto se concluye que
Anlogamente se demuestra que
que
gr G ( v 1 )=1.
tiene tambin grado uno con lo
que se concluye el teorema.

3. Es posible que un rbol sea una grfica regular? Explica.
SOLUCION:
Por el Teorema 5 del material de estudio sabemos que:
Una grfica es un rbol si y slo si existe exactamente una trayectoria
entre cualquier par de vrtices. Entonces, podemos decir que:
K1
Si
K2
vrtice y para
son nicamente arboles regulares para

K2
de un
de dos vrtices respectivamente.
4. Demuestra que si
es una grfica conexa de orden
entonces
q p1.
Dado un rbol T
de orden
p :
tamao
k1
SOLUCION:
q p1
Hay que probar por induccin

Para
p=1 tenemos
T K1
q0
sobre
p.
. Ahora supongamos que es
verdadero para todos los arboles de orden menor de

rbol de orden
Sea
y sea
un
p 2 .
e=uv E ( T ) .
As mismo, por el teorema de que una grfica de
es un rbol si, y slo si, cada dos vrtices distintos de

un camino nico.
Por lo tanto
T e
dos componentes.
T e
no contiene
uv
T son unidos por
camino.
est desconectado y, de hecho, tiene exactamente
T1 , T2
Entonces sean
los componentes y estos son arboles cada uno

p ; por lo tanto, por la Hiptesis inductiva
tiene una orden menos que

tenemos:
|E(T i)||V (T i)|1 para i=1,2.

Entonces tenemos que:
|E(T )||E (T 1 )|+|E(T 2)|+ 1

|V ( T 1 )|+|V ( T 2 )|1
p1
T
Analogamente supongamos que

q p1
es una grfica conectada
Con esto llegamos al fin de la demostracion que
rbol, y ademas hemos demostrado finalmente que

contiene un ciclo de
Entonces
T e
es un borde de
est conectado y tiene orden
5. Demuestra que si
tamao
y que
q= p1
entonces
no tiene ciclos, entonces
A continuacin, supongamos que
C .
y tamao
es un rbol.
es un rbol.
tiene ciclos.
es un
es acclico y
es una grfica conexa de orden
SOLUCION:
Si
( p , q)
p 2 .
p ,
Podemos obtener un rbol
eliminar un
Ge 1
Si
ciclo de
e1
borrando aristas de
borde. En un ciclo de
G ; a saber,
G , la produccin de
no es un rbol, entonces seleccionamos una

G,
la produccin de
e2
borde en un
Ge 1e2 .
Seguimos este procedimiento hasta que se produce un rbol

Pero
tiene orden
Ge 1 .
y menos de
p1
T .
aristas.
Esto es prcticamente imposible para un rbol.

6. Demuestra que todo rbol es una grfica bipartita.
SOLUCION:
Sea
un rbol, elegimos como raz de algn vrtice arbitrario. Sea
V el conjunto de los vrtices en los niveles pares y
el conjunto de
vrtices en los niveles impares. Como cada arista es incidente en un

vrtice de V y un vrtice de W , T es una grfica bipartita.

MACO - U3 - A2 - AUPC. Árboles

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

MACO - U3 - A2 - AUPC. Árboles

Загружено:

Авторское право:

Доступные форматы

Anlisis Combinatorio

Unidad 3. Teora de Grficas

tomando en cuenta los conocimientos sobre rboles.

es un rbol en el que todos sus vrtices

tienen grado impar entonces

tiene tamao impar.

un rbol con un nmero impar de vrtices. Haremos lo

tiene dos componentes impares. En primer lugar vamos a demostrar que

es impar, y enseguida se har lo mismo

en cualquier camino de la subgrafica

debe tener grado impar que satisface la propiedad

con cada vrtice

Vamos a considerar la posibilidad de cualquier vrtice

{una contradiccin) que dan como resultado en nmero impar de

impar componentes. Por lo tanto, el nmero total de vrtices en

tiene dos componentes impares en

entonces decimos que

donde los vrtices

entonces implica que

y por el resultado de la incidencia

llegamos a la conclusin que

tiene grado impar. Por otra parte

considerando que sea una subgrafica

vrtices de grado impar y por tanto

tiene un nmero impar de

Se puede concluir que los dos componentes

tienen un nmero impar de vrtices.

2. Demuestra que la trayectoria de orden

es el nico rbol con

exactamente dos vrtices terminales.

tienen grado uno, por lo que

, lo que significa que existe un vrtice

conexa existe una

trayectoria para cualquier vrtice v 1 v ( T ) , i=1,2,3, , m.

a tal trayectoria y consideremos

que contradice a la hiptesis. Por otro lado si

una trayectoria de longitud

T , por lo tanto se concluye que

Anlogamente se demuestra que

tiene tambin grado uno con lo

que se concluye el teorema.

son nicamente arboles regulares para

de dos vrtices respectivamente.

es una grfica conexa de orden

Hay que probar por induccin

. Ahora supongamos que es

verdadero para todos los arboles de orden menor de

As mismo, por el teorema de que una grfica de

es un rbol si, y slo si, cada dos vrtices distintos de

T son unidos por

est desconectado y, de hecho, tiene exactamente

los componentes y estos son arboles cada uno

tiene una orden menos que

|E(T i)||V (T i)|1 para i=1,2.

|E(T )||E (T 1 )|+|E(T 2)|+ 1

Analogamente supongamos que

es una grfica conectada

Con esto llegamos al fin de la demostracion que

rbol, y ademas hemos demostrado finalmente que

est conectado y tiene orden

no tiene ciclos, entonces

A continuacin, supongamos que

es una grfica conexa de orden