Teora de las Grcas II

Primera lista de ejercicios Denicin 1. Dos grcas G y H son isomorfas (y se denota por G = H ) si y slo si existen biyecciones : V (G) V (H ) y : E (G) V (G) tales que si uv es una arista de G entonces (uv ) = (u)(v ). 1. (a) Muestra que si G = H entonces |V (G)| = |V (H )| y |E (G)| = |E (H )|. (b) Muestra que el recproco es falso. 2. Muestra que dos grcas G y H son isomorfas si y slo si existe una biyeccin : V (G) V (H ) tal que uv E (G) si y slo si (u)(v ) E (H ). 3. Dada G una grca, |E (G)| = 4. (a) E (Km,n ) = mn; (b) si G es simple y bipartita entonces |E (G)|
| V (G )| . 4 | V (G )| 2

si y slo si G es completa.

5. (***) Una grca k -partita es aquella en la que su conjunto de vrtices se puede partir en k subconjuntos de tal forma que ninguna de sus aristas tenga ambos extremos en uno de tales subconjuntos; una grca k partita completa es aquella en la que cada vrtice est unido con todos los vrtices que no estn en su mismo n n subconjunto. La grca completa m-partita con n vrtices en la que cada parte tiene m o m vertices se denota por Tm,n . Muestra que: (a) E (Tm,n ) =
nk 2

+ (m 1)

k+1 2

n ; , donde k = m

(b) si G es una grca completa m-partita con n vrtices entonces |E (G)| |E (Tm,n |, la igualdad se dada slo si G = Tm,n . 6. (*) El k -cubo es la grca cuyo conjunto de vrtices son las k -adas de ceros y unos, dos vrtices son adyacentes si y slo si dieren en exactamente una coordenada. Muestra que el k -cubo posee 2k vrtices, k 2k1 aristas y es bipartita. 7. (a) El complemento Gc de una grca G es la grca cuyo conjunto de vrtices es V (G) y dos vrtices son c c adyacentes en Gc si y slo si no son adyacentes en G. Describe las grcas Kn y Km,n . c (b) (*) Una grca G es autocomplementaria si G = G . Muestra que si G es autocomplementaria entonces |V (G)| = 0, 1 (mod 4).

8. Muestra que toda grca con n vrtices es isomorfa a una subgrca de Kn . 9. Muestra que: (a) toda subgrca inducida de una grca completa es completa y (b) toda subgrca de una grca bipartita es bipartita. 10. (***) Dada G una grca y n un entero con 1 < n < |V (G)| 1. Muestra que si |V (G)| 4 y todas las subgrcas inducidas de G con n vrtices tienen el mismo nmero de aristas entonces G = K | V (G )| o G = K|cV (G)| .
| E (G )| 11. Muestra que 2 | V (G)| .

12. Muestra que si una grca bipartita k -regular con k > 0 tiene biparticin (X , Y ) entonces |X | = |Y |. 13. Muestra que, en cualquier grupo de dos o ms personas, siempre hay exactamente dos personas con el mismo nmero de personas en el grupo. 14. Prueba que si G es una grca k -regular entonces r
| V (G )| . 2

1 15. (*) Muestra que una grca G contiene una subgrca bipartita generadora H tal que dH (v ) 2 dG (v ) para todo v V (G).

16. Existe una grca bipartita G tal que + > |V (G)|? 17. (*)

(a) Prueba que toda grca con n vrtices con ms de (b) Encuentra una grca bipartita con n vrtices con

n2 4 n 4
2

aristas no es bipartita. aristas.

18. (*) Caracteriza las grcas bipartitas con la siguiente propiedad: para cada par de vrtices no adyacentes existe un vrtice adyacente a ambos. 19. Prueba que si las grcas G y H son isomorfas entonces Gc y H c son isomorfas. 20. Da un ejemplo (si es posible) de: (a) una grca bipartita k -regular de orden n; (b) una grca cbica de orden nueve (c) una grca con n vrtices y
n1 2

aristas.

21. (*) Encuentra el nmero de grcas (n 2)-regulares de orden n no isomorfas entre s. 22. Encuentra ciclos de longitudes cinco, seis, ocho y nueve en la grca de Petersen. 23. El cuello es la longitud del ciclo ms chico en una grca. Encuentra el valor del cuello en Kn , Kp,q y en la grca de Petersen. 24. (*) (a) Prueba que todo (u, v )-camino abierto contiene una (u, v )-trayectoria. Ser cierto que todo camino cerrado posee un ciclo? (b) Es cierto que todo (u, v )-camino que pasa por un vrtice w distinto de u o v contiene una (u, v )trayectoria que pasa por w? (c) Prueba que todo camino cerrado de longitud impar posee un ciclo. Es cierta la armacin para caminos cerrados de longitud par? (d) Prueba que todo paseo cerrado posee un ciclo. 25. (*) Prueba que en cualquier grca G la distancia d(u, v ) para u, v vrtices de G, es una mtrica (i.e., satisface los axiomas de una mtrica): (a) d(u, v ) 0, (b) d(u, v ) = 0 si y slo si u = v , (c) d(u, v ) = d(v , u) y (d) d(u, v ) + d(v , w) d(u, w) (Desigualdad del tringulo). 26. Prueba que una grca G es conexa si y slo si (a) dado un vrtice jo u, existen (u, v )-trayectorias en G para cualquier otro vrtice v en G, (b) para toda particin de los vrtices de G (i.e., V1 , V2 V (G) tales que V (G) = V1 V2 , V1 V2 = y Vi = para i = 1, 2) existe una arista (u, v ) de G tal que u V1 y v V2 . 27. Prueba que si una grca posee exactamente dos vrtices de grado impar entonces estn conectados por una trayectoria. 28. (*) Prueba que si el grado mnimo de una grca es mayor que uno entonces posee un ciclo. 29. (*) (a) Prueba que una grca es bipartita si y slo si no posee ciclos de longitud impar. (b) Prueba que la biparticin de una grca bipartita conexa es nica. Es cierto para grcas disconexas? 30. Encuentra todas las grcas bipartitas cuyos complementos tambin son bipartitas. Encuentra la autocomplementaria. 31. Encuentra todas las grcas bipartitas de dimetro dos. 32. (*) Prueba que para todo entero r > 1 existe una grca r-regular de orden 2r y dimetro 2. 33. (**) Describe la estructura de una grca conexa G que satisface una de las condiciones siguientes: (a) la longitud de cualquier trayectoria maximal con respecto a la inclusin es 2,

(b) para cualquier vrtice v de G, todos los vrtices de su vecindad son adyacentes dos a dos, (c) todo vrtice tiene grado uno, (d) toda arista incide en un vrtice de grado uno, (e) todas las aristas son dos a dos adyacentes, (f) el nmero de aristas es igual al nmero de vrtices de grado uno, (g) (G) = 1 y (G) = 2 o (h) G es isomorfa a su grca de lneas. 34. (*) Prueba que si borras cualquier arista en un ciclo de una grca conexa, obtienes una grca conexa. 35. (*) Cul es el mnimo nmero de aristas en una grca conexa con n vrtices? 36. Prueba que para cualesquiera dos aristas e1 y e2 en una grca conexa existe una trayectoria cuya primera arista es e1 y cuya ltima arista es e2 . 37. (*) (a) Prueba que una grca G de orden n es conexa si (G) n1 1 reemplazamos n 2 por 2 ?
n1 2 .

La armacin sigue siendo cierta si

n1 2 .

(b) Prueba que una grca G de orden n > 2 es conexa si el nmero de aristas es mayor que mos reemplazar mayor por no menor?

Pode-

(c) Prueba que una grca G de orden n y tamao m es conexa si no posee ciclos de longitud impar y 1 2 m > ( n 2 ) ? Sigue siendo cierto si reemplazamos > por ? Recuerda que la excentricidad de un vrtice u en G es la mxima de las distancia a todos los otros vrtices de G, es decir, e(u) = maxvV (G) d(u, v ). La mxima entre las excentricidades de todos los vrtices es el dimetro de la grca y se denota por diam(G). Si para algn vrtice v en G se tiene que e(v ) = diam(G) entonces se dice que es perifrico. La mnima entre las excentricidades de todos los vrtices es el radio de la grca y se denota por rad(G). Si para algn vrtice v en G se tien que e(v ) = rad(G) entonces se dice que es central. La subgrca de G inducida por sus vrtices centrales es el centro de G. 38. (*) Prueba que: (a) el dimetro de una grca es a lo ms dos veces su radio y (b) una trayectoria cuya longitud sea la del dimetro pasa por un vrtice central. 39. (*) Para todo n 4 da una ejemplo de una grca de orden n distinta de la completa que satisfaga que: (a) su radio y su dimetro sean iguales, (b) todos sus vrtices son perifricos y (c) todos sus vrtices son centrales. 40. (*) Prueba que: (a) para cualquier grca G, ella o su complemento son conexas, (b) si G no es conexa entonces el dimetro de su complemento es menor o igual que dos, (c) si G y su complemento son conexas y diam(G) 3 entonces el dimetro del complemento es menor o igual que tres. (d) 1 diam(G) 3 para cualquier grca autocomplementaria no trivial G. 41. (*) Prueba que si una grca no tiene tringulos entonces (G) + (G) |V (G)|. 42. (*) La representacin de Knig de una grca G es la grca bipartita K (G) en la que una de sus partes son los vrtices de G y la otra las aristas de G. Dos vrtices en K (G) son adyacentes si y slo si el vrtice y la aristas correspondientes en G son incidentes. Prueba que (a) K (G) puede ser obtenida de G mediante subdivisiones de sus aristas, i.e., para cada arista (u, v ) en G, aadimos un nuevo vrtice wuv y la arista la reemplazamos por dos aristas (u, wuv ) y (wuv , v ). (b) Dos grcas son isomorfas si y slo si sus representaciones de Knig lo son.

43. Prueba que: (a) la subgrca de un subgrca de una grca de G es subgrca de G, (b) la subgrca generadora de una subgrca generadora de G es subgrca generadora de G y (c) una subgrca inducida de una subgrca inducidad de G es subgrca inducida de G. 44. (*) Prueba que: (a) cualquier subgrca de una grca G se puede obtener al borrar algunos vrtices o aristas de G, (b) cualquier subgrca generadora de una grca G se puede obtener al borrar algunas aristas de G y (c) cualquier subgrca inducida de una grca G se puede obtener al borrar algunos vrtices de G. 45. Supn que G y H son grcas tales que V (G) = V (H ) y dG (v ) dH (v ) para todo vrtice v . Es cierto que H es subgrca de G? 46. Es cierto que (G) (H ) si H es (a) una subgrca de G? (b) una subgrca generadora de G? 47. Cul es la estructura de una grca en la que toda trayectoria es una subgrca inducida? 48. (*) Prueba que para cualquier grca G existe una grca autocomplementaria que posee a G como subgrca inducida. 49. (*) Ser cierto que el conjunto los vrtices de cualquir grca G puede ser partido en dos conjuntos V1 y V2 de forma tal que las subgrcas inducidas por V1 y V2 sean regulares? 50. (*) Prueba que no existen grcas de orden n 5 tales que cualesquiera cuatro vrtices inducen un ciclo de longitud cuatro. 51. (*) Prueba que toda grca G es una subgrca inducida de alguna grca (G)-regular. 52. (*) Caracteriza todas las grcas en las que los conjuntos N (v ) inducen grcas completas para todos los vrtices v .
c 53. (*) Encuentra una grca de orden diez en la que las vecindades de todos los vrtices inducen la grca P2 donde P2 es la trayectoria de longitud dos.

54. (*) Encuentra todas las grcas conexas en las que los conjuntos N (v ) para cualquier vrtice v induce la grca: (a) un ciclo de longitud tres y (b) un ciclo de longitud cuatro. 55. (*) Prueba que una grca acclica con n vrtices y k componentes posee exactamente n k aristas. 56. (*) El grado promedio de una grca de orden n es el valor d(G) = vrtices de un rbol en trmino del grado promedio. 57. (*) Prueba que para cualquier rbol no trivial: (a) posee al menos dos vrtices de grado uno y (b) posee exactamente dos vrtices de grado uno y slo si el rbol es una trayectoria. 58. (*) Encuentra todos los rboles en los que el dimetro sea igual a su radio. 59. (*) Prueba que, si T es un rbol, su radio y su dimetro tienen la relacin: rad(T ) = diam(T ) . 2
1 n v V (G) dG (v ).

Expresa el nmero de

60. (*) Construye grcas 2-conexas de orden n con diam(G) = 2 y |E (G)| = 2n 5 para todo n 5. 61. (*) Si v es un vrtice de corte en una grca G entonces v no es de corte en Gc .