Académique Documents
Professionnel Documents
Culture Documents
Resumen
Este es un apunte docente para introducir los grafos de flujo de señales, que se aplican a sistemas de ecuacio nes simultá-
neas lineales, y los teoremas de Mason, que se aplican a esos grafos. La partida se remonta al siglo 18.
1. El dilema de los puentes de Königsberg como relaciones (con letras minúsculas y en segundo
plano).
La historia cuenta que durante los siglos 17 y 18, en lo
que ahora es Alemania y entonces era Prusia Oriental, so-
bre las riberas del río Pregel y la isla Kneiphof situada en
el río, se alzaba la ciudad de Königsberg con siete puentes
uniendo cuatro sectores que resultaban separados por la
geografía. Y la misma historia cuenta que, por aquellos
Fig. 2: Recintos y pasadas en el dilema de los puentes de
tiempos, las gentes se entretenían tratando de resolver un
dilema: cómo salir a pasear de uno de los cuatro sectores Königsberg
de la ciudad, visitar los otros tres y volver al sector inicial
tras haber cruzado cada uno de los siete puentes una única Euler no propuso una representación como la recién ex-
puesta. Sin embargo, inspirados por su trabajo, otros ma-
vez. La figura 1 esboza la situación de manera parecida a
temáticos propusieron representaciones similares y dieron
la que usó Euler (1736) para dilucidar matemáticamente el
dilema concluyendo que es imposible resolverlo. comienzo a lo que denominaron teoría de grafos (Ore,
1963). He aquí algunas de sus primeras definiciones y un
teorema:
a) Def.: Segmento es cualquier parte de una línea a la que
pertenecen dos puntos terminales diferentes.
b) Def.: Nodo es cualquier punto terminal de un seg-
mento.
c) Def.: Incidencia es cualquier situación en la cual un
nodo pertenece a un segmento; cuando ella ocurre se dice
que el nodo es incidido por el segmento.
d) Def.: Grafo es cualquier conjunto de segmentos cuyos
únicos puntos comunes son nodos.
e) Def.: Sub-grafo es cualquier grafo que es sub-conjunto
de otro dado.
Fig. 1: Los puentes de Königsberg f) Def.: (Sub-)Grafo conectado es cualquier (sub-)grafo
construído empezando por algún nodo y agregando sucesi-
Para justificar la imposibilidad, Euler declaró: “todo mi vamente segmentos diferentes, con la condición de que
método se apoya en el modo apropiado y conveniente con
cada uno incida por lo menos en un nodo ya dibujado.
que designé el cruce de los puentes, en que usé letras ma- g) Def.: Tren es cualquier sub-grafo conectado en que
yúsculas, A, B, C y D, para nombrar los diversos sectores cada segmento agregado incide en el último nodo dibujado
separados por el río”. Lo primero fue establecer cuatro re- y en otro que pasa a ser el último.
cintos como elementos para la conciencia (lo que explica h) Def.: Trayectoria es cualquier tren en el cual cada nodo
el entusiasmo por cuatro letras mayúsculas).
es incidido a lo sumo por dos segmentos.
Enseguida, Euler agregó: “así, cuando una persona va del i) Def.: Circuito es cualquier trayectoria en la cual cada
sector A al B a través del puente a o b, anoto este cruce con nodo es incidido por dos segmentos.
las letras AB, la primera de las cuales designa el sector de
donde vino y la segunda el sector adonde llega después de
cruzar el puente”. Lo segundo fue ubicar siete pasadas
j) Def.: Árbol es cualquier sub-grafo conectado que in- a) Def.: Tren cíclico es cualquier tren cuyo último nodo
cluye todos los nodos de] grafo (conectado) inicial, pero es el primero.
ningún circuito. b) Def.: Tren de Euler es cualquier tren cíclico que in-
k) Def.: Rama es cualquier segmento del árbol elegido. cluye todos los segmentos del grafo (conectado) inicial.
1) Def.: Cuerda es cualquier segmento del grafo inicial, c) Def.: Grafo de Euler es cualquier grafo para el cual
pero no del árbol. puede construirse un tren de Euler.
m) Teor.: Si un grafo (conectado) tiene N nodos y S seg- d) Teor.: Todo grafo de Euler es conectado y cada uno de
mentos (1 < N, 0 < S, N∈Z , S∈Z ), toda elección de un ár- sus nodos es incidido por una cantidad par de segmentos.
bol establece N-1 ramas y S-(N-1) cuerdas. e) Teor.: Todo grafo conectado en el que cada uno de los
nodos es incidido por una cantidad par de segmentos, es un
grafo de Euler.