Teoría de las Gráficas

Tarea 1∗

Lee, piensa y responde con cuidado. No olvides justificar bien tus respues-
tas. La tarea se entrega a las 8.10 h. del viernes 14 de octubre en el salón de
clases. Individualmente deben responder al menos siete de los siguientes
problemas y por parejas al menos diez, el último problema cuenta como
tres.
Recuerden que las definiciones son las importantes. Para probar algo no
siempre es bueno sobreargumentar (ni tampoco quedar falto de argumentos).
Los mejores argumentos suelen ser los más simples.

1. a) Considera una gráfica G tal que V (G) = {2, 3, 4, 5, 11, 12, 13,
14} y dos vértices u y v son adyacentes si y sólo si mcd(u, v) = 1.
Dibújala y determina A(G).
b) Considera G una gráfica con V (G) = {1, 2, . . . , 10}, tal que dos
números i y j en V (G) son adyacentes si y sólo si |i − j| ≤ 3.
Dibuja la gráfica G y determina A(G).
c) Considera G una gráfica con V (G) = {1, 2, . . . , 10}, tal que dos
números i y j en V (G) son adyacentes si y sólo si i + j es múltiplo
de cuatro. Dibuja la gráfica G y determina A(G).
d ) Considera G una gráfica con V (G) = {1, 2, . . . , 10}, tal que dos
números i y j en V (G) son adyacentes si y sólo si i · j es múltiplo
de diez. Dibuja la gráfica G y determina A(G).

2. Si X y Y son dos conjuntos finitos, prueba que:

|X ∪ Y | + |X ∩ Y | = |X| + |Y |.

3. Considera dos gráficas G y H que sean isomorfas.

a) Prueba que G y H tienen el mismo tamaño.

∗
Versión 1.00 de las 8.00 h. del cuatro de octubre de 2016.

1
 b) Un p-ciclo o ciclo de longitud p en una gráfica G es un camino
(x1 , x2 , . . . , xp , x1 )
tal que p ≥ 3 y xi 6= xj para todo i, j ∈ {1, 2, . . . , p} con i 6= j.
Dado p ≥ 3, prueba que G posee un p-ciclo si y sólo si H posee
un p-ciclo.
c) Da dos gráficas G y H del mismo orden, del mismo tamaño y
que sólo tengan vértices de grado dos, tres y cuatro que no sean
isomorfas.
4. ¿Cuántas gráficas no isomorfas de cinco vértices hay? Dibújalas.
5. Si G es una gráfica de orden n y tamaño m, utiliza la suma de los
grados para probar que
 
n n(n − 1)
m≤ = .
2 2

6. Prueba que en cualquier grupo de amigos (en el que la relación de

amistad sea simétrica) siempre existen dos personas que tienen el mismo
número de amigos dentro del grupo.
7.
Definición 1. Dada una gráfica G = (V (G), A(G)), diremos que G
es bipartita si existe una partición {X, Y } de V (G) tal que ningún
par de vértices en X es adyacente y ningún par de vértices en Y es
adyacente (lo anterior es equivalente a pedir que toda arista de G
tiene un extremo en X y el otro en Y ). A X y Y se los llama las partes
de la gráfica.
Si G es una gráfica bipartita con partes X y Y tales que |X| = r y
|Y | = s, muestra que m ≤ rs, donde m es el tamaño de G.
8. El grado promedio de una gráfica G se define como:
1 X
d(G) = d(v),
n
v∈V (G)

muestra con todo detalle que δ(G) ≤ d(G) ≤ ∆(G), donde δ(G) es
el grado mínimo y ∆(G) es el grado máximo de G.

2
 9. Muestra que los conceptos de subgráfica propia, subgráfica inducida por
vértices y subgráfica generadora no están relacionados, es decir, de-
bes exhibir un ejemplo de una gráfica con una subgráfica propia que no
sea subgráfica inducida por vértices y así para cada uno de los conceptos
(en ambos sentidos).

10. Considera una gráfica G = (V (G), A(G)) con la siguiente propiedad:

para toda partición {A, C} de V (G) existe una arista con un extremo
en A y otro en B. Con base en esta propiedad, etiquetaremos los vértices
de G.

i. Tomamos un vértice en V (G), lo llamamos v1 y definimos A1 =

{v1 } y C1 = V (G) \ A1 .
ii. Habiendo etiquetado los vértices v1 , v2 , . . . , vi , definimos Ai = {v1 ,
v2 , . . . , vi } y Ci = V (G) \ Ai , por la propiedad de G sabemos que
existe una arista con un extremo en Ai y otro en Ci . Al extremo
en Ci lo nombramos vi+1 .
iii. Repetimos el paso anterior hasta etiquetar todos los vértices de G.

a) Si H = (V (H), A(H)) es una gráficas, y ∈ V (H) y x ∈ / V (H),

definimos H como la gráfica con V (H ) = V (H) ∪ {x} y A(H ′ ) =
′ ′

A(H) ∪ {{x, y}}. Si H es conexa, prueba que H ′ es conexa.

b) Prueba por inducción que para todo i ∈ {1, . . . , n}, la subgráfica
inducida G[Ai ] es conexa. Concluye que G es conexa.

11. a) Muestra que existe una gráfica con siete vértices y doce aristas tal
que el grado de cada vértice es dos, tres o cuatro.
b) Muestra que no existe una gráfica de orden doce y tamaño vein-
tiocho en la que el grado de cada vértice sea tres o cuatro.

12. Sea S un conjunto finito de enteros positivos cuyo mayor elemento sea
n. Prueba que existe una gráfica G de orden n + 1 tal que (i) dG (u) ∈ S
para todo vértice u en G y (ii) para todo b ∈ S, existe un vértice v en
G tal que dG (u) = b.