El número goedésico en las gráficas de lı́neas
XXXV Coloquio Vı́ctor Neumann-Lara de Teorı́a de las Gráficas, Combi-
natoria y sus Aplicaciones
1∗
Manuel Gutiérrez Espinoza , Francisco Páez Pérez
Facultad de Ciencias, UNAM
manuel ge619@ciencias.unam.mx1, dragonazul409@ciencias.unam.mx2
Resumen
A toda gráfica G = (V (G), A(G)) le corresponde su gráfica de lı́neas
L(G) donde V (L(G)) = A(G) y dados u, v ∈ V (L(G)), uv ∈ A(L(G)) si u
es adyacente a v en G. Para dos vértices u y v de G el conjunto I[u, v], consta
de todos los vértices que se encuentran en uv − geodésica en G. Para S un
conjunto de vértices de G, definimos I[S] es la unión de todos los conjuntos
I[u, v], para vértices u y v en S. El número geodésico g(G) es la cardinalidad
mı́nima entre los subconjuntos S de V (G) con I[S] = V (G). En este trabajo
estudiamos algunos resultados del número geodésico para algunas gráficas de
lı́neas que se mencionan en el trabajo de Venkanagouda, Ashalatha, Venkates-
ha y Munddebihal.
Introducción
El número geodésico en las gráficas es un concepto introducido por
Chartrand, Harary y Zhang en el año 2002. Para hablar del número
geodésico, es necesario definir distancia entre vértices.
Para dos vértices u y v de una gráfica G, se define la distancia entre
u y v como la longitud de una trayectoria de longitud mı́nima y se
denota por d(u, v). Decimos que esta trayectoria de longitud mı́nima
es una uv − geodésica. Un intervalo I[u, v] es un conjunto que tiene
a todos los vértices que están en una uv − geodésica.
En general, para S un subconjunto de vértices no vació, definimos
la clausura de S como I[S] = ∪x,y∈S I[x, y], cuando I[S] = V (G)
decimos que S es un conjunto geodésico. El número geodésico de
una gráfica G, denotado por g(G), es la cardinalidad de un conjunto
geodésico mı́nimo.
Y para las gráficas de lı́neas sea S 0 un conjunto de vértices de
L(G) = H, S 0 es un conjunto geodésico en H si I[S 0] = V (H) y
si S 0 es un conjunto geodésico de cardinalidad mı́nima, se tiene que
| S 0 | es el número geodésico de L(G) y se denota por g(L(G)).
También, decimos que un vértice v cubre a la arista a si v es extremo
de a. Una cubierta de vértices en una gráfica G es un conjunto de
vértices tal que cubre a todas las aristas de G. El número de cubierta
de vértices, denotado por α0(G), para una gráfica G es la cardinalidad
de una cubierta de vértices mı́nima.
Una cubierta de aristas de una gráfica G sin vértices aislados, es un
conjunto de aristas tal que cubre a todos los vértices de G. El número
de cubierta de aristas de G se denota por α1(G) y es una cubierta de
aristas de cardinalidad mı́nima.
El número geodésico en algunas gráficas
Para la trayectoria Pn tenemos que g(Pn) = 2, como puede obser-
varse en la Figura 1.
Figura 1: Trayectorias P2, P3, P4 y Pn
Para los ciclos Cn se tiene que g(Cn) = 2 si n es par y g(Cn) = 3 si
n es impar, como se muestra en la Figura 2.
Figura 2: Trayectorias C3, C4, C5, C6
Teorema 1. Sean r, s enteros tal que r, s ≥ 2, entonces g(Kr,s) =
min{r, s, }.
Definición 1. Un vértice v ∈ V (G) es un vértice extremo en la gráfica
G, si la subgráfica inducida por sus vecinos es completa.
Lema 1. Cada conjunto geodésico contiene los vértices extremos de
la gráfica G.
Teorema 2. El número geodésico de un árbol T es el número de hojas
en T . De hecho, el conjunto de todos los vértices extremos de T es el
conjunto geodésico mı́nimo.
Mientras que la trayectoria Pn tiene el número geodésico más pe-
queño posible para una gráfica conexa no trivial, observamos que para
2
cada número entero positivo n ≥ 2 sólo hay una gráfica conexa de
orden n que tiene el mayor número geodésico posible, es decir, n y
esa gráfica es Kn.
El número goedésico en las gráficas de lı́neas
Algunos resultados
Figura 7: Gráfica de Wn y L(Wn) con n ≥ 6
Teorema 3. Para todo árbol T de orden n ≥ 3 y con k aristas termi-
nales, g(L(T )) = k.
Teorema 4. Para cualquier ciclo Cn de orden n ≥ 3 Resultados importantes

2 si n es par Dentro del articulo [2] sugiere los siguientes teoremas:
g(L(Cn)) =
3 si n es impar
Teorema 13. Si cada vértice no extremo de un
 árbol T es adyacente
al menos a una hoja, entonces g(L(T )) ≤ n − k2 , donde k es el

Teorema 5. Sean Cn un ciclo, u ∈ V (Cn), w ∈ / V (Cn) y G0 = número de hojas en T .
Cn + uw. Entonces g(L(G0)) = 3, si n es par.
Observamos que para el Teorema 13 la gráfica K1,4 no cumple la
Teorema 6. Sean Cn un ciclo, u ∈ V (Cn), w ∈ / V (Cn) y G0 = caracterización de dicho Teorema. Ya que n = 5, k = 4 se sigue
Cn + uw. Entonces g(L(G0)) = 2, si n es impar. g(L(K1,4)) = 4. Por lo cual, 4 ≤ d5 − 42 e = 3, lo cual es una contra-
dicción. En general, para K1,t con t ∈ N y t ≥ 4, no cumple con la
cota que plantea el teorema. Dedujimos que la cota del Teorema 13 es
errónea.
Teorema 14. Para todo árbol con m aristas, entonces g(L(T )) ≤
 α1(T ) 
m− 2 + 2.
Para el Teorema 14 la gráfica K1,5 con m = 5, α1(T ) = 5 y
Figura 3: Gráfica G0 y L(G0) de los Teoremas 5 y 6 g(L(K1,5)) = 5, entonces 5 ≤ 5 − d 52 e + 2 = 5 − 3 + 2 = 4, lo
cual es una contradicción. En general, para K1,t con t ∈ N y t ≥ 5,
no cumple con la cota que plantea el Teorema. Dedujimos que la cota
Teorema 7. Sean Cn un ciclo con V (Cn) = {x1, x2, . . . xn}, S =
del Teorema 13 es errónea.
{w1, w2, . . . wn} un conjunto de vértices ajenos a Cn y G0 tal que
V (G0) = V (Cn) ∪ S y A(G0) = A(Cn) ∪ {xiwi | xi ∈ V (Cn) y wi ∈
En este trabajo proponemos el siguiente Teorema:
S}. Entonces g(G0) = g(L(G0)) = n.
Teorema 15 (Gutiérrez-Páez). Para todo árbol T con m ≥ 2 aristas,
 α0(T ) 
entonces g(L(T )) ≤ m − 2 + 2.
Teorema 16. Para Wn = Cn−1 + K1, con n ≥ 9 y n impar, entonces
g(Wn) = g(L(Wn)) = n+1
2 .
En [2] se propone el Teorema 16 el cual es falso, ya que no se cumple
para Wn con n impar y n ≥ 9. Por lo cual, en este trabajo proponemos
el Teorema 17.
Figura 4: Gráfica G0 y L(G0) de los Teorema 7
n
Teorema 8. Para todo ciclo Cn con n par, entonces g(L(Cn)) = α (C
0 n)
donde α0(Cn) es la cardinalidad mı́nima de una cubierta de vértices.
Teorema 9. Para todo ciclo Cn con n impar, entonces g(L(Cn)) =
n+1 + 1.
α (C )
0 n
Teorema 10. Para enteros m, n ≥ 2, se tiene g(L(Km,n)) ≤ mn − 1.
(n−2)(n+1)
Teorema 11. Para un entero n ≥ 4, se tiene g(L(Kn)) ≤ 2 . Figura 8: Gráfica de L(W9), observamos que los vértices en rojo forman un con-
junto geodésico mı́nimo.
Para las gráficas Wn = Cn−1 + K1. Para n = 4, sea V (W4) =
{a1, a2, a3, w} tenemos W4 y con S = V (W4), entonces I[S] =
V (W4). Por lo tanto, g(W4) = 4. Para L(W4), con S1 = {a1a3, wa3}, Teorema 17 (Gutiérrez). Para Wn = Cn−1 +K1, con n ≥ 9 y n impar,
entonces I[S] = V (L(W4)), pero también S2 = {a3a1, wa2} y entonces g(Wn) = g(L(Wn)) = n−1 2 .
S3 = {a2a3, wa1}, se sigue I[S2] = I[S3] = V (L(W4)). Por lo tanto,
g(L(W4)) = 2, como se muestra en la Figura 6.
Conclusiones
Observamos que el Teorema 13 es falso, ya que, en general, para
K1,t con t ∈ N y t ≥ 4, no cumple con la cota que plantea el teorema.
Se demostró que el Teorema 14 es erróneo, pues para las estrellas K1,r
con r > 4 no cumple con la cota que propone dicho Teorema. Se pro-
puso y se demostró el Teorema 15 con α0, es decir, con la cubierta de
Figura 5: Gráfica de W4 y L(W4) vértices.
Por último, mejoramos la cota para el Teorema 16, ya que solo cumple
Para n = 5, tenemos W5, sea V (W5) = {a1, a2, a3, a4, w}. Con para n = 7. El Teorema 17 cumple para n impar y n ≥ 9.
M1 = {a1, a3}, M2 = {a2, a4}, entonces I[M1] = I[M2] =
V (W5). Por lo tanto, g(W5) = 2. Para L(W5) y con P =
{a1a2, a3a4, wa1, wa2}, entonces I[P ] = V (L(W5)). Por lo cual, Referencias
g(L(W5)) = 4, como se observa en la Figura 7.
[1] G. CHARTRAND, F. HARARY y P. ZHANG, On the geodetic
number of a graph. Networks. 39(2002) 1-6.
[2] VENKANAGOUDA M. GOUDAR, K. S. ASHALATHA,
VENKATESHA y M. H. MUNDDEBIHAL, On the geode-
tic number of line graph, Int.J.Contemp.Math.Sciences, Vol.7,
No.46(2012), 2289-2295.
Agradecimientos
Figura 6: Gráfica de W5 y L(W5)
Al Comite Organizador del XXXV Coloquio Vı́ctor Neumann-Lara
Teorema 12. Sea Wn = Cn−1 + K1 con n par y n ≥ 6, entonces de Teorı́a de las Gráficas, Combinatoria y sus Aplicaciones.
g(Wn) = g(L(Wn)) = n.
2 A la Facultad de Ciencias de la UNAM.