Grficas y juegos

Tercera tarea

Lee, piensa y responde con cuidado. No olvides justificar bien tus re-
spuestas. La tarea se entrega estrictamente en equipos de dos personas.

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 simples.

1. Muestra que:
(G) d(v) (G)
para cualquier vrtice v 1 .

2. Dibuja las once grficas no isomorfas con cuatro vrtices.

3. Dada una grfica G, se define el complemento de G (denotado como

G) como la grfica con:
V (G) = V (G) y
uv A(G) si y slo uv
/ A(G) (siempre que u 6= v).
(a) Muestra que G es tambin una grfica.
(b) Si G y H son isomorfas entonces G y H son isomorfas?
(c) Si H es subgrfica de G entonces H es subgrfica de G?

4. Una grfica es autocomplementaria si G

= G. Dibuja todas las grficas
autocomplementarias de orden menor o igual que cinco.

5. Muestra dos grficas, con seis vrtices, tal que todos sus vrtices tengan
grado dos pero que no sean isomorfas entre s.

6. Las siguientes tres grficas son o no isomorfas? Argumenta porqu no

o prueba porqu s.
1
S, ya s, algunos ejercicios pueden parecer algo simples u obvios, pero como les dije,
esta materia es para que aprendan a escribir, aunque sea obvio. Pero recuerden, pueden
substituir cualquier problema con alguno de los extras n_n

1
 Una grfica G se dice bipartita si existe una particin {X, Y } del
conjunto de sus vrtices (i.e., X, Y V (G), XY = y XY = V (G),
a tales conjuntos se les llama las partes de la biparticin) que satisfaga
que toda arista de G tiene extremos en partes distintas. Es decir,
ninguna arista tiene ambos extremos en la misma parte.

7. Muestra que el complemento de una grfica bipartita no necesariamente

es bipartita.

8. Muestra que toda trayectoria (es decir, las grficas formadas por ex-
clusivamente una trayectoria) es bipartita.

9. Prueba que si G es bipartita y H es una grfica isomorfa a G entonces

H es bipartita.

10. Considera G una grfica, cmo se relacionan, en trminos de cardinal-

idades, V (G) y V (H)? A(G) y A(G)? Y si adems suponemos que
G es autocomplementaria?

Extras
A. Prueba que G1 y G2 (Figuras 1 y 2) no son isomorfas.

B. Demuestra que las siguientes grficas no son isomorfas:

C. Muestra que si G es autocomplementaria entonces su orden es mltiplo

de cuatro o mltiplo de cuatro ms uno (Sugerencia. Revisa el problema
cuarto).

2
  ??
w JJJ  ?? ttGGG
w
ww
ww DDD z
t GG
GG
w zz G
.w. .. 
..  .. 
..  .. 
.   .
?? ??
?? ??
? ?

Figura 1: G1 Figura 2: G2

D. Si G es una grfica bipartita con biparticin X, Y con |X| = p y |Y | = q.

Prueba que el tamao de G es menor o igual que pq.

E. Prueba, mediante el uso de grficas, que:

n(n + 1)
1 + 2 + ...+ n = .
2