Professional Documents
Culture Documents
: LIC.PULACHE JUAREZ
CURSO
: MATEMATICA DISCRETA
SIGLA
: MA-142
INTEGRANTE
INTRODUCCIN
En el presente trabajo se abarca dos conceptos bsicos de las matemticas
discretas: los caminos y circuitos matemticos, ambos dentro del mbito de la
teora de grafos; ms especficamente nos referiremos a los caminos y circuitos
euclidianos y hamiltonianos.
Se define, de manera breve, cada uno de los conceptos nombrados
anteriormente, todos con sus respectivos teoremas de existencia y suficiencia;
adems, para su mejor entendimiento, los acompaaremos con ejemplos claros
y concisos que nos ilustrarn correctamente lo que en realidad significan y
pueden ofrecer al ser aplicados correctamente.
IMPORTANCIA
La importancia tanto de los circuitos como de los caminos, radica en que nos
permiten simular situaciones cotidianas que se presentan a diario en la vida real,
por citar algunos ejemplos tendramos: situaciones relacionadas con transporte,
realizacin de comunicaciones, asignacin de recursos, etc. En ellos podemos
asignar valores predeterminados que representen distancia, cantidad o cualquier
variable a estudiar, evitndonos as engorrosos procedimientos que consumiran
muchos recursos y, sobre todo, tiempo.
MARCO TERICO
CAMINO.- En un grafo, un camino es una sucesin finita en la que aparecen
alternadamente vrtices y aristas de dicho grafo.
CIRCUITO.- Es un camino cerrado (que comienza y termina en el mismo vrtice)
que no posee ningn vrtice repetido.
*EN OTRAS PALABRAS:
Sea G = (V , E) un grafo no dirigido. Un camino entre los nodos u y v es una
secuencia e1,e2 en tal que existen nodos
x0, x1, x2, . . . , xn que satisfacen lo siguiente:
x0 = u y xn = v, y
para cada 1 i n, ei = (xi1, xi)
En tal caso, decimos que el camino es de largo n.
*Si el grafo es simple podemos denotarlo tan solo por
u, x1, x2, . . . , xn1, v.
Decimos que el camino es un circuito si u = v. Es simple si todos los ei son
distintos.
CIRCUITO EULERIANO.- Un circuito Euleriano en un grafo o multigrafo G es un
circuito que recorre cada arista una y slo una vez.
TEOREMA:
Son equivalentes, para G grafo o multigrafo conexo:
G es Euleriano.
Todo vrtice de G tiene grado par.
Las aristas de G pueden particionarse en circuitos.
CAMINO EULERIANO.- Un camino Euleriano en un grafo o multigrafo G es un
camino que recorre cada arista una y slo una vez.
TEOREMA:
Un grafo o multigrafo conexo tiene un camino Euleriano si y slo s todos sus
vrtices tienen grado par salvo dos.
CIRCUITO HAMILTONIANO.- Un circuito Hamiltoniano en un grafo G es un
circuito que recorre cada vrtice una y slo una vez.
CAMINO HAMILTONIANO.- Un camino Hamiltoniano en un grafo G es un
camino que recorre cada vrtice una y slo una vez.
TEOREMA (CONDICIN NECESARIA):
Definiciones
Multigrafo Un multigrafo G=(V,E) es una funcion que asigna a cada elemento e
de E (ramas) un par no ordenado {u,v} de elementos de V (vertices) que
llamamos los extremos de e. Por ejemplo,
V={1,2,3,4}
a
b
c
d
e
f
{1,2}
{1,4}
{1,4}
{3,4}
{2,3}
{2,2}
fig .1
d
Nota: Las ramas b y c tienen los mismos extremos (ramas multiples). Los
extremos de la rama f son iguales (bucle).
Grafo Sea V un conjunto finito de elementos que llamamos vertices y sea E un
conjunto de pares de vertices que llamamos ramas. Al par G=(V,E) lo llamamos
grafo. Advertimos que un grafo es un multigrafo que no tiene ramas multiples ni
bucles. Por ejemplo,
Nota: En adelante consideraremos slo grafos. Cuando se trate de un multigrafo
1
fig 2
V={1,2,3,4}
E={{1,2},{2,3},{3,4},{1,4},{1,3}}
lo aclararemos explicitamente.
Adyacente: Si (u,v)E decimos que los vertices u y v son adyacentes.
Tabla de adyacencia de un grafo Es una tabla que asigna a cada vertice u de G
la
1
1
2
3
Tabla
(1,2) (1,3)
(1,2)
(1,3)
V= {1,2,3,4}
E={(1,2),(3,2),(4,3),(1,4),(4,1).(2,4)}
4
En un grafo dirigido una sucesion de vertices u1, u2, ..., up tales que (ui,ui+1)E lo
llamamos un camino dirigido. Si u1 =up decimos que es un circuito dirigido.
Arbol Un grafo aciclico y conexo se llama arbol.
Arbol con raiz A rooted tree es un grafo dirigido cuyo arbol subyacente es un
arbol que tiene un vertice distinguido, raz, tal que hay un solo camino dirigido de
la raiz a cualquier otro vertice.
Si uv decimos que u es el padre de v y v es el hijo de u. Si v se encuentra en
un camino dirigido a partir de u, decimos que v es descendiente de u. Si no
existe v tal que uv decimos que u es una hoja. Decimos que los hijos de la raiz
tienen profundidad 1, los hijos de los hijos de la raiz tienen profundidad 2, etc. La
mxima profundidad de un vertice se llama altura del arbol. Un vertice que no es
una hoja o la raiz se llama vertice interno.
Un arbol es m-ario significa que cada vertice tiene m hijos o menos.
Nota: Sea T un arbol m-ario con n vertices y altura h entonces
h 1 n (m h 1 1) /(m 1)
Nota: El arbol binario completo tiene 2h+1 1 nodos (vertices).
Ejemplos
Circuitos Eulerianos
En la ciudad de Knigsberg habia una isla en medio de un ro y 7 puentes
dispuestos segun lo que muestra la figura
fig 3
Ro
A
R1
R3
R2
Teorema
En todo torneo existe un camino hamiltoniano.
Demostracion
Por induccion. Supongamos tener un camino v1v2...vivi+1...vk (k<n). Sea z
un vertice distinto de los k vertices. Si para algn i=1,2,...,k-1 se tuviera
vizvi+1 podemos agregar z extendiendo el camino a k+1 vertices. Quedan 2
casos
zv1 con lo cual podemos extender el camino por la izquierda
v1z, v2z,...,vn-1z, vkz. Pero vkz permite extender el camino por la
derecha
Definiciones equivalentes de arbol
Teorema
Las siguientes afirmaciones son equivalentes
1) T es un conexo y no tiene ciclos (definicion original)
2) T es conexo y todo e desconecta a T
Mostramos que T no tiene ciclos. Si tuviera un ciclo C eC no desconectaria
3) Cualesquiera u,vT son conectados por un solo camino.
Si hubiera 2 caminos habria un ciclo y los e del ciclo no desconectarian a T
4) T no tiene ciclos y si e es un nuevo edge el grafo T+e tiene un solo ciclo.
Si T tuviera un ciclo C y (u,v) perteneciera a C dos caminos distintos conectarian
a u y v. Por tanto no hay ciclos. Si (u,v) no pertence a T al agregarlo a T (u,v)
mas el camino de u a v forman un ciclo.
4)1) Hay que demostrar que T es conexo. Sea C el ciclo que se forma al
agregar (u,v). Entonces C\(u,v) es un camino que une a u con v T es conexo
GRAFOS
1. La matriz de adyacencia del grafo G es
1
1
1
1
0
1
1
0
1
1
1
1
entonces,
A) G es un pseudografo
B) G es un grafo completo
G no es conexo
Solucin: Supongamos V={v1,v2,v3,v4} son los vrtices del grafo. En los
pseudografo estn permitidas las aristas cuyos extremos coinciden, es decir, los
lazos.
En la matriz de adyacencia dada se observa que
m11=1, un lazo en v1
m22=1, un lazo en v2
m33=1, un lazo en v3
m44=1, un lazo en v4
Se trata de un pseudografo.
v1
v7
v2
v3
v6
v5
v4
A) Es hamiltoniano
B) Es euleriano
Es bipartito
Solucin: el subgrafo de la figura siguiente contiene un ciclo hamiltoniano
x
2
1
1
3
2
2
2
y
0
1
2
2
3
1
A
0
1
0
1
1
0
1
0
1
0 5 0
1
1
;
B
1
1
0
1
1
C
1
1
0
1
1
1
1
0
1
1
1
A) A y B son isomorfos
B) A y C son isomorfos
1
0
0
0
1
0
0
1
0
;
1
C) B y C son isomorfos
Solucin: el grado de un vrtice se obtiene sumando los elementos de la fila.
Matriz A: gr(v1)=1; gr(v2)=3; gr(v3)=2; gr(v4)=2
Matriz B: gr(v1)=3; gr(v2)=1; gr(v3)=2; gr(v4)=2
Matriz C: gr(v1)=3; gr(v2)=3; gr(v3)=3; gr(v4)=3
No se puede establecer un isomorfismo entre A y C, ni entre B y C, puesto que
no se pueden hacer corresponder los grados de los vrtices.
Entre A y B se puede establecer el isomorfismo:
v2
v1
v2
v1
Grafo A
Grafo B
v4
v3
v4
v3
B)
C)
Solucin: para resolver este ejercicio hay que analizar el grado de cada vrtice.
Para que se pueda dibujar en las condiciones pedidas debe ocurrir una de:
- Todos los grados son pares, entonces es un grafo euleriano, es decir, admite
un circuito euleriano.
- Dos y exactamente dos vrtices tienen grado impar, entonces se podra
dibujar un camino eulariano que parta de uno de los vrtices de grado impar
y termine en el otro.
Grafo A:
4
2
4
Admite un camino euleriano, partiendo
de uno de los vrtices sealados por una
flecha y terminando en el otro
Grafo B:
2
4
3
2
3
4
5
4
3
3
Tiene ms de dos vrtices con grado impar, luego no admite camino euleriano y
no se puede dibujar sin levantar el lpiz del papel y sin dibujar dos veces la
misma arista
10. Dado un grafo con matriz de adyacencia
1
0
1
1
1
0
1
0
0
0
1
0
1
1
1
0
1
0
1
0
1
1
0
A) El grafo es euleriano
B) El grafo es conexo
C) Es un multigrafo
Solucin: considerando el conjunto de vrtices V={v1,v2,v3,v4,v5} y
representando el grafo asociado a la matriz, tenemos:
v1
v2
v3
v5
C) Kn es bipartito
Solucin: dos ejemplos de grafos completos nos permiten decidirnos por una de
las tres opciones:
v1
v3
v2
v1
k3
v2
v4
k4
v3
v1
v2
v3
La matriz de adyacencia es:
0 1 0
0 1 0
1 0 0
3
2
M 1 0 0 M 0 1 0 M 1 0 0
0 0 0
0 0 0
0 0 0
Por tanto:
1 2 0
C M 3 M 2 M 2 1 0
0 0 0
0 0 0
C 0 0 0
0 0 0
y no es conexo.
v1
v2
v3
En este caso:
0 1 1
0 2 2
2 0 0
3
2
M 1 0 0 M 0 1 1 M 2 0 0
1 0 0
2 0 0
0 1 1
Por tanto:
2 3 3
C M 3 M 2 M 3 1 1
3 1 1
gr(vi ) 2#E
i 1
gr(vi ) 4#V
i 1
4
3
1
1
2
3
1
1
1
0
1
1
0
1
0
0
1
1
0
1
1
0
1
1
0
0
0
1
0
1
v1
v5
v3
2
1
10
9
8
8 6
10
7
5
u
1
6
3
v4
2
1
2
1
v1
Entonces:
A) L(v4)=6 y L(v2)=2 B) L(v3)=4 y L(v4)=6
B) L(v3)=3 y L(v4)=5
Solucin: siguiendo el algoritmo de Dijkstra y colocando L(vi) en cada vrtice
tenemos:
L(v1)=1
0
L(v2)=2
L(v3)=3
L(v4)=5
5
3
2 adyacencia
19. Dado un grafo con matriz de
1
0
1
1
1
0
1
0
0
0
1
0
1
1
1
0
1
0
1
0
1
1
0
A) El grafo es euleriano
B) El grafo es conexo
C) Es un multigrafo
Solucin: grficamente tenemos
v1
v5
v2
v3
Solucin: Todo grafo completo es hamiltoniano, siempre existir el ciclo (v1, v2,
v3,..., vn,v1), dado que cualquier pareja de vrtices est conectados por una
arista.
Todo grafo completo de n vrtices, con n pary n>2, no es euleriano, porque
cada vrtice tendr grado (n-1), que es impar, y por tanto no admite circuito
euleriano.
Todo grafo completo con n>2, no puede ser bipartito, porque tiene ciclos de
longitud impar, concretamente tres puntos cualesquiera forman un ciclo de
longitud 3:
vi
p
p-1
21. a M la matriz de adyacencia de
vk un grafo con p>1. Sea C=M +M +...+M
vk
A) Si C0 entonces el grafo es conexo
B) Si la entrada (i,j) de C es igual a 1 entonces existe una arista entre los
vrtices i y j.
C) Si el grafo es conexo entonces todas las entradas de C son no
nulas.
Solucin: es similar al ejercicio 12
22. Cul es el nmero de veces que se debe levantar el lpiz para dibujar la
figura siguiente sin repetir ninguna arista?
A) Ninguna vez
B) Una vez
C) Dos veces
Solucin: los grados son:
3
3
3
4
4
6
4
3
Al haber ms de exactamente
dos grados impares tendremos que levantar el
lpiz al menos una vez.
Si eliminamos la lnea vertical central, tendremos
2
3
3
4
4
4
4
4
2
2
4
4
Este se podr dibujar sin levantar el lpiz desde un vrtice de grado impar hasta
el otro de grado impar.
Luego se levanta el lpiz y se dibuja la lnea vertical, con lo que se completa el
grafo.
A) Es plano
No es plano
B) No es bipartito
Solucin: es fcil ver que es bipartito
0
1
0
1
1
0
Como es conexo, si fuera plano debera cumplir la desigualdad: #E 2#V-4
En nuestro caso: #E=16, #V=8 y #E>2#V-4
Luego no puede ser plano.
18
s
28
14
10
15
7
36
18
27
55
Con lo que:
(s,a)=18
(s,d)=22
15
(s,b)=27
(s,t)=55
22
(s,c)=15
A) No son planos
B) Son isomorfos
C) No son isomorfos
Solucin: ambos grafos son visualmente planos (mapas: las aristas solo se
cruzan en los vrtices).
Los grados de los vrtices del primer grafo son:
2, 4, 3,4, 4, 4, 3
Los grados de los vrtices del segundo grafo son:
4, 3, 3, 4, 2, 4
Un isomorfismo podra ser:
3
1
Solucin: en los grafos la diagonal son elementos nulos porque no hay lazos, es
decir aristas con origen y extremo en el mismo vrtice.
En los pseudografos estn permitidos los lazos.
En los pseudografos, por tanto, en la diagonal deben haber elementos no nulos.
La definicin de matriz de adyacencia para multigrafos y pseudografos viene
propuesta en el problema 5 (pgina 167 del libro base).
En esencia el elemento mij debe reflejar el nmero de aristas que hay entre el
vrtice vi y vj.
En los pseudografos afecta a la diagonal principal y a los multigrafos afecta a los
elementos que no se limitan a ser 0 y 1. As-i, mij=3 nos indicara que existen 3
aristas que unen los vrtices vi y vj.
27. Sea G el grafo de la figura
A) G es hamiltoniano
B) No tiene un camino simple que pase por todos los vrtices
No es hamiltoniano
Pistas: Es fcil encontrar un camino simple que pase por todos los vrtices.
Hay, por tanto, que decidir si es o no hamiltoniano.
Supongamos que es hamiltoniano, entonces si eliminamos k vrtices y sus
aristas no deben obtenerse ms de k componentes conexas.
Tambin podemos intertar buscar eun ciclo hamiltoniano.
Vase al final de este documento
28. Cul de las siguientes afirmaciones sobre los grafos de la figura es cierta
C
A
1
A
1
1
0
1
C
0
1
0
0
0
1
0
0
1
1
0
0
1
0
0
0
1
1
0
0
1
;
B
1
1
0
1
1
1
1
1
0
1
1
1
1
0
0
1
;
0
A) A y B son isomorfos
B) A y C son isomorfos
C) B y C son isomorfos
Solucin: analizando los grados tenemos
Grafo A: 3,1,2,2
Grafo B: 3,3,2,2
Grafo C: 2,2,1,3
De ser isomorfos los sern A y C.
30. Sea K6 el grafo completo con 6 vrtices, entonces:
A) Es bipartito ya que tiene un nmero par de vrtices
B) Es hamiltoniano
C) Es euleriano
Solucin: K6
Es hamiltoniano como todos los grafos completos.
No es euleriano porque todos seis vrtices son de grado 5 (impar).
No esa bipartito porque tiene ciclos de longitud impar (3, por ejemplo).
31. Consideremos el grafo G de la figura:
A)
El grafo no es plano porque dos aristas se cortan.
B)
El grafo no es plano porque todo vrtice es de grado 3.
C)
El grafo es plano
Solucin: Es plano porque es isomorfo al mapa
vi
A) El grafo es euleriano
B) El grafo es 3 regular
C) El grafo es hamiltoniano
Solucin:
Los grados de los vrtices son: 3, 3, 3, 3, 3, 3, 2 luego no puede ser grafo
euleriano.
Un grafo es k-regular si todos los vrtices tienen el mismo grado k.
Evidentemente hay un vrtice que no es de grado 3, luego no puede ser 3regular
Es hamiltoniano puesto que el camino cuyo subgrafo:
es un ciclo hamiltoniano, pues es un camino cerrado, pasa por todos los vrtices
y no repite ninguno.
36. En el mapa de la figura las regiones que se designan por Ri:
R2
R1
R3
R5
R4
v1
v2
R2
R1
R3
v8
v4
v6
v5
R5
R4
v7
v3
v1
v2
v3
v6
K6
v5
v4
A) es euleriano
B) es bipartito
C) es hamiltoniano
Solucin: este es un ejercicio que ha aparecido en varias ocasiones. En
general, para cualquier n>2 tenenmos:
- Kn es hamiltoniano
- Kn es euleriano si n es impar, no lo es si n es par.
- Kn no es bipartito
40. La matriz de adyacencia del grafo G es
1
1
1
1
0
1
1
0
1
1
1
1
A) G es pseudografo
B) G es un grafo completo
C) G no es conexo
Solucin: dado que tiene en los elementos de la diagonal un 1, hay lazos en
cada vrtice, por tanto es un pseudografo.
No es completo porque, por ejemplo, m14=0 y por tanto no hay arista entre v1 y
v4.
Es conexo porque el camino (v1,v2,v4,v3,v1) recorre todos los vrtices, y dicho
camino es posible porque:
m12=1 v1v2
m24=1 v2v4
m43=1 v4v3
m31=1 v3v1
41. Sea A la matriz de adyacencia de un digrafo con {v1, v2, v3,...,v7} vrtices, y
sea a14=3, una de las entradas de la matriz A2.
Entonces:
A) Hay un camino entre v1 y v4 con tres vrtices intermedios.
B) Hay tres caminos de longitud 2 de v1 a v4.
C) Hay tres aristas distintas que unen v1 y v4.
Solucin: la entrada a14 de A2 es el nmero de caminos de longitud 2 con
extremos v1 y v4. Como es un digrafo, y por tanto las aristas estn orientadas
dichos caminos de longitud 2 tienen origen en v1 y extremo en v4
42. Sea G un grafo (no pseudografo ni multigrafo) plano conexo con 15 aristas.
Entonces el nmero de vrtices de G es como mnimo
A) 5
B) 7
C) 9
Solucin: si es un grafo plano conexo debe cumplirse
#E 3#V 6 con #V>2
(Tal aspecto terico puede consultarse en la pgina 174 del libro base)
Es decir: 15 3#V 6 #V 7
43. Sea el grafo de la figura:
A) Es bipartito
B) No es bipartito ya que todos los vrtices tienen el mismo grado
C) Es euleriano ya que todos los vrtices tienen el mismo grado.
Solucin: es bipartito dado que se puede colorear con dos colores.
3
2
u
1
2
2
v4
2
1
1
v3
v2
v1
1
3
A) L(v4)=6 y L(v2)=2
B) L(v3)=3 y L(v4)=4
C) L(v3)=2 y L(v4)=3
Solucin:
L(v2)=1 siguiendo el camino (u(1)v2)
L(v3)=2 siguiendo el camino (u(1)v2(1)v3)
L(v4)=3 siguiendo el camino (u(1)v2(1)v3(1)v4)
Recordamos, L(vi) se forma con los recorridos ms cortos.
49. Dado el grafo G con matriz de adyacencia:
1
1
0
1
1
0
1
0
0
1
1
0
1
1
0
0
1
0
1
0
1
1
0
A) Tres
B) Cuatro
C) Cinco
Solucin:
1
2
1
1
1
1
1
0
1
1
0
1
1
1
1
A) G es un pseudografo
B) G no es conexo
C) G es un grafo completo
Solucin:
Dado que en la diagonal principal hay unos, significa que hay lazos, es decir, se
trata de un pseudografo.
Existe el camino (v1,v2,v4,v3,v1) porque:
m12= m24= m43= m31= 1
Es conexo porque (v1,v2,v4,v3,v1) es un camino que recorre todos los vrtices,
por tanto estn conectados
53. Sea el grafo con matriz de adyacencia:
1
0
1
0
1
1
0
1
0
1
1
1
1
0
1
0
1
1
es:
A) Un pseudografo
B) Tiene un camino euleriano
C) Tiene un circuito euleriano
Solucin: su representacin grfica es
v1
v2
v4
v3
0
1
0
1
1
1
No es pseudografo porque la diagonal est formada por ceros y por tanto no hay
lazos.
Contiene un camino euleriano (v2,v3,v4,v2,v1,v4)
v1
v2
v4
3
No admite circuito eulerianovporque
hay vrtices con grado impar.
Es euleriano dado que es conexo y todos los vrtices tienen grado par.
No es bipartito porque tiene ciclos de longitud 3 y ciclos de longitud 5 (impar).
No es pseudografo poruqe no tiene aristas con origen y extremo el mismo
vrtice.
56. Sea G un grafo y A su matriz de adyacencia. Cul de las siguientes
informaciones dan los elementos de la diagonal principal de la matriz A2?
A) Los grados de los vrtices de G
B) Los ciclos con a lo sumo dos vrtices
C) Ninguna de las anteriores
Solucin: recordamos la teoria.
La entrada (i,j) de la matriz Mn es el nmero de caminos de longitud n con
extremos vi y vj.
En nuestro caso el elemento (i,i) de la diagonal de A2 es el nmero de caminos
de longitud 2 con extremos vi y vi. Como el origen y el extremo coinciden, se trata
de ciclos de longitud 2.
57. Dado el grafo de la figura:
A) Es bipartito
B) Es hamiltoniano
C) Es euleriano
Solucin: contiene un ciclo hamiltoniano
Podemos eliminar
Tenemos ahora dos nuevos vrtices con dos aristas, estn obligadas a participar
en el ciclo:
Hemos obtenido, as, un vrtice que no puede participar en el ciclo con dos
aristas.
CONCLUSIN
Del presente trabajo, se desprende, una vez ms, la importancia de los caminos
y circuitos en la representacin de situaciones de la vida real. Y en cuanto a los
grafos en general, su variedad y diversidad aplicativa.
A pesar del paso del tiempo y la inversin del mismo hecha en el estudio de la
teora de grafos, an no se han podido generar algoritmos cien por ciento
eficaces para bsqueda de caminos y circuitos complejos.
En lo que a informtica respecta, los algoritmos implementados han conseguido
dar solucin a muchos casos que antes implicaban mucho tiempo en su
resolucin; sin embargo, tampoco son cien por ciento eficaces.
BIBLIOGRAFIA
WWW.DC.UBA.AR/MATERIAS/AED3/2013/1C/TEORICA/ALGO3_TEO_EULERI
ANO
TEORIADEGRAFOS.BLOGSPOT.COM/.../GRAFOS-EULERIANOS-YHAMILTONIANOS.HTM
HTTPS://PREZI.COM/.../CAMINOS-EULERIANOS-HAMILTONIANOS-Y-DELONGITUD
HTTPS://WWW.U-CURSOS.CL/INGENIERIA/2011/1/CC3101/1/MATERIAL