Imagen extrada de http://www.opte.

org/maps/

Redes, puentes y carteros

Ricardo Prez
Paseando con Euler
Kalingrado es una ciudad rusa situada en la desembocadura del ro Pregel y es el
nico puerto ruso en el mar Bltico separado geogrficamente de Rusia. El ro Pregel
atraviesa a Kalingrado y despus se bifurca y vuelve a unirse de tal modo que se
forma la isla de Kneiphof, de modo que el terreno queda dividido en cuatro regiones
comunicadas por medio de siete puentes. Los habitantes de Kalingrado (antes
Knigsberg) se divertan con un acertijo: ser posible visitar las cuatro regiones de
la ciudad pasando por todos los puentes sin cruzarlos ms de una vez?

Teora de redes / CIENCIORAMA 1

Figura 1. Los siete puentes que cruzan el ro Pregel en Knigsberg. Ilustracin extrada y modificada
de la referencia 2.

Nos podemos imaginar mejor el problema anterior si nombramos a cada regin como
v0, v1, v2 y v3 y las representamos grficamente como puntos que llamaremos nodos
o vrtices. Las regiones estn conectadas por los puentes e0, e1, e2, e3, e4, e5 y e6,
que sern llamados como lados o aristas, los cuales unen a los nodos v0, v1, v2 y
v3.

a)

b)

Figura 2. El problema de los puentes de Knigsberg se puede representar en forma ms abstracta.

Las regiones de la ciudad se representan por vrtices o nodos unidos mediante los lados. Los
vrtices unidos por los lados forman la red.

El problema inicial se tradujo en algo ms sencillo de manipular, y el lector puede

entretenerse tratando de comprobar si existe un modo de tocar todos los vrtices
pasando por todas las aristas una sola vez. La figura 2 b) es lo que se conoce como
una red, y se ha desarrollado una teora fascinante por la gran variedad de problemas

Teora de redes / CIENCIORAMA 2

a los que se puede aplicar este enfoque.

Este problema conocido como el problema de los puentes de Knigsberg, origina
uno de los teoremas ms antiguos de la teora de redes y fue demostrado por
Leonhard Euler, matemtico y fsico suizo del siglo XVIII. Por esta razn, al posible
camino que une a todos los vrtices sin pasar dos veces por las aristas, se le llam
camino de Euler. La solucin de Euler se resume del siguiente modo: es posible

encontrar el camino sin pasar dos veces por los lados de una red, s y slo s la red
no tiene vrtices con un nmero de conexiones impares. Demostrar esto, es otra
historia...
El problema del cartero chino
El problema del cartero chino no tiene que ver con huir de los perros --tal vez porque
se los comen-- ms bien es un problema comn a todos los carteros del mundo. Para
repartir la correspondencia y ahorrar en calzado, los carteros deben buscar una ruta
cerrada, es decir que vuelva al punto inicial, cubriendo todos los domicilios y sea lo
ms corta posible. Este problema fue planteado por un matemtico chino de nombre
Mei-Ko Kuan en 1962, y lo resolvi utilizando el camino de Euler. Aunque Kuan
resolvi el problema, ste se complica porque un cartero al repartir su correspondencia
pasa por las casas (puntos o vrtices de la red) slo una vez y esto plantea otro
tipo de caminos conocidos como hamiltonianos, en honor al fsico y tambin
matemtico William Rowan Hamilton.
En 1959 Hamilton propuso un juego que consista en encontrar el recorrido por
todos los vrtices de la grfica de la figura 3, sin repetir vrtices y volviendo al punto
de partida. Este problema parece no ser muy complicado, pero an no hay una
demostracin general para una red cualquiera, slo para casos particulares; tampoco
hay una demostracin que nos diga cundo estos caminos no existen, por lo que los
matemticos siguen divirtindose para demostrar la solucin general.

Teora de redes / CIENCIORAMA 3

Figura 3. Camino hamiltoniano de una grfica, problema propuesto por Hamilton en 1959. La solucin
puede verse en este link.

El problema de los caminos hamiltonianos puede ser utilizado en otras redes para
encontrar rutas de transporte eficientes, rutas de recoleccin, por ejemplo de basura,
construir circuitos elctricos, establecer rutas de suministros, etctera. Para las rutas
de transporte en ocasiones se busca encontrar el camino ms corto entre un vrtice
y otro de la red, a los que se conoce como caminos geodsicos.
Navegando naufragu en este artculo
Hay muchos fenmenos en la naturaleza que intentamos describir con el lenguaje de
las matemticas para poder entenderlos, y hay otros problemas que no son tan
naturales a los que tambin les aplicamos una llave matemtica para domarlos. El
internet es uno de ellos, y lo utilizamos cotidianamente como cuando leemos las
notas de Cienciorama.
La Internet es una red hecha por los seres humanos y se estudia con diversos
fines, por ejemplo mejorar su eficiencia. En esta red se transmite informacin entre
personas de todo el mundo por medio de las computadoras, que son vrtices de la
Internet, para lo cual la informacin se divide en paquetes que viajan de un vrtice a
otro utilizando protocolos de comunicacin conocidos por sus siglas IP --Internet
Protocols--, los cuales bsicamente asignan la direccin de salida y de llegada de
cada paquete enviado, para que stos no se pierdan y lleguen completos a su destino.

Teora de redes / CIENCIORAMA 4

La estructura general de la Internet se puede esquematizar en tres niveles

representados por crculos concntricos. El crculo interior es la columna vertebral de
la Internet ya que provee el transporte de banda ancha a travs de lneas de fibra
ptica que atraviesan grandes distancias por todo el mundo con ayuda de enrutadores
y conmutadores que unen las lneas. La infraestructura es operada principalmente por
gobiernos y grandes compaas de comunicacin. Puedes ver el siguiente video que
muestra la estructura de esta red, dando clic a este hipervnculo: Internet.
El segundo crculo est formado por los proveedores del servicio de internet
que son comnmente compaas, gobiernos y universidades conectados directamente
a la columna de la red. stos revenden o proveen la conexin final a los usuarios
que forman el tercer crculo de la Internet; en este tercer crculo estn las oficinas,
los negocios, los acadmicos de las universidades, los hogares, etc.

Figura 4. Representacin esquemtica de la estructura de la Internet. Los vrtices y los lados son de
distintos tipos. Por ejemplo, la columna vertebral son conexiones de alto ancho de banda que
atraviesan grandes distancias por todo el mundo, Los proveedores de Internet son vrtices de esta
red conectados a la columna vertebral, que estn divididos en regionales y locales, adems de los
usuarios finales, hogares, compaas, etc. y que son vrtices de la red; stos se conectan con los
proveedores. Figura modificada de la referencia 1.

La Internet es la una red fsica de computadoras conectadas por cables o de forma

inalmbrica, pero paralelamente hay otra red que no es fsica, a la que podramos
Teora de redes / CIENCIORAMA 5

llamar virtual. Esta red es la World Wide Web a la cual se le conoce como la web o
red virtual, la cual funciona por medio del software que permite direccionar las pginas
por las que navegamos e intercambiamos informacin. En esta red los vrtices son
las pginas como Cienciorama y los lados son los hipervnculos, comnmente llamados

links, a los que damos clic con el ratn para dirigirnos a otras pginas electrnicas
de la web. Esta red virtual no podra existir sin la red fsica, llamada Internet, ya que
depende de toda la infraestructura (cables de fibra ptica, modems, computadoras,
etc.).
En 1980 un grupo de cientficos del Laboratorio de Alta Energa del Consejo
Europeo para la Investigacin Nuclear, conocido como CERN por sus siglas en francs,
invent la red virtual para intercambiar informacin entre colaboradores, debido a que
el tamao del grupo de investigadores era muy grande. Rpidamente se not la
potencialidad de esta herramienta y sus inventores optaron por liberar su creacin
para que todos pudieran utilizarla de forma gratuita, y con esto revolucionaron al
mundo entero. Comnmente se piensa que la investigacin bsica, como la que se
desarrolla en el CERN, no tiene relacin con las necesidades cotidianas; pero al
realizar estos proyectos surgen aplicaciones muy diversas que luego podemos ocupar.
Este ejemplo es prueba de la necesidad de seguir desarrollando ciencia bsica, ya
que las aplicaciones pueden surgir al tratar de responder preguntas fundamentales
como lo es la estructura de la materia. Por esa razn se necesitan desarrollar
proyectos de ciencia bsica e impulsar a jvenes para estudiar ciencias en nuestro
pas.
Adems de la Internet hay una variedad muy grande de redes posibles en el
transporte terrestre o areo, en la biologa, en las comunicaciones, en el mbito social
e incluso en las publicaciones cientficas, ya que al publicar un artculo de investigacin
se abre la posibilidad de ser citado por otro autor y que se forme una red de citas
bibliogrficas. El estudio de esta red bibliogrfica es til ya que los buscadores de
artculos especializados pueden hacerse cada vez ms precisos, y con ello encontrar
rpidamente los trabajos sobre cualquier tema que se hagan en el mundo.

Teora de redes / CIENCIORAMA 6

Tejiendo las redes

Para poder introducirse en las redes se deben analizar algunas de sus propiedades.
En primer lugar es til clasificarlas segn algunos criterios, entre los que destaca la
direccionalidad. Por ejemplo, en una red alimenticia los vrtices pueden ser animales
clasificados como depredadores y como presas. Sabemos que los depredadores se
alimentan de las presas, por lo que la relacin ser unidireccional --el len se come
a la gacela--. Otro ejemplo de una red direccionada es la web o red virtual, ya que
en una pgina pueden haber hipervnculos que nos dirigen a otras pginas. En este
ejemplo de la red virtual hay pginas (vrtices de la web) que son ms visitadas que
otras, por lo que ests pginas tendrn ms enlaces o lados de la red. El nmero de
enlaces que tiene un vrtice sirve para caracterizarlo y a esta propiedad se le conoce
como el grado de un vrtice.

Figura 5. Red alimenticia de especies de la Antrtica. Los vrtices de la red alimenticia representan
a las especies y las aristas representan la interaccin depredador-presa que va en direccin del flujo
de energa, es decir de la presa al depredador. Figura modificada de la referencia 1.

Teora de redes / CIENCIORAMA 7

Ahora se podra estar convencido de la posibilidad de representar gran variedad de

situaciones mediante redes; pero tal vez te queda la sensacin de que hay algo
incompleto en todo esto y se puede preguntar: una vez que se traduce un problema
en la grfica de una red qu sigue?
Las redes matemticas
Adems de la representacin grfica de las redes (figuras 2, 3, 4 y 5), tambin se
pueden representar matemticamente por medio de elementos muy tiles llamados

matrices. Las matrices son arreglos bidimensionales de nmeros como se muestra en

la figura 6.

Figura 6. Arreglo bidimensional conocido como matriz, sus entradas toman valores numricos. Figura
extrada de la referencia 1.

Las entradas de la matriz representa la existencia o la ausencia de conexiones en

una red, para establecer esa relacin se muestra la siguiente figura, que consiste en
una red a cuyos vrtices nombramos como 1, 2, 3, 4, 5 y 6.

Figura 7. Red no direccionada, las conexiones se establecen entre los vrtices o nodos por medio de
los lados o aristas. Figura modificada de la referencia 1.

Teora de redes / CIENCIORAMA 8

Puede parecer que el objeto llamado matriz de la figura 6 no tiene nada que ver con
la grfica que se muestra en la figura 7, pero los vrtices de la grfica y las entradas
de la matriz estn relacionados del siguiente modo: la entrada a12 de la matriz
representa la conexin entre los vrtices 1 y 2 de la grfica, y dado que la conexin
existe, le asignaremos el valor 1 a a12. La entrada a21 representa la misma conexin,
por lo que a sta tambin se le asignar el valor 1. Pero si observamos la figura 7,
notaremos que los vrtices 3 y 1 no estn conectados, por lo que a la entrada que
representa la conexin a31, se le asignar el valor 0 y a a13 tambin. La asignacin
de 1 o 0 a las entradas es para denotar la existencia o la ausencia de un vnculo
entre nodos; hay redes donde a los vnculos se les puede asignar otro nmero menor
que 1 y mayor que 0 (por ejemplo 0.1, 0.5) para representar qu tan conectados
estn dos nodos o qu tanto intercambio tienen.
De forma similar a las entradas a12 y a31 se hace para el resto de entradas de
la matriz de la figura 6, y dado que existen conexiones entre los puntos 1 y 5, 2 y
3, 2 y 4, 3 y 4, 3 y 5, 3 y 6, las entradas de la matriz de la figura 6, a15, a51, a23,
a32, a24, a42, a34, a43, a35, a53, a36, a63, sern iguales a 1 y el resto de entradas sern
igual a cero. Debe sealarse que los elementos a11, a22, a33, a44, a55 y a66 representan
a los vrtices, y se supone que no hay lados que conecten a cada vrtice consigo
mismo, por lo que su valor es nulo. En la figura 8 se muestra la matriz que representa
a la grfica de la figura 7.

Figura 8. Matriz que representa a la red de la figura 7. Figura extrada de la referencia 1

Las matrices son una herramienta matemtica muy estudiada por el lgebra de
matrices, la cual nos permite manipular estos objetos matemticos para describir sus
propiedades y operar con ellos, de modo que nos sea posible obtener informacin
con la cual podamos caracterizar a las redes, y as explicar algn fenmeno que
Teora de redes / CIENCIORAMA 9

estemos considerando con este enfoque.

En este texto se presentaron al lector algunos tipos de redes y tambin se
habl un poco de cmo se inici este campo de las matemticas dedicado a estudiar
distintos sistemas representados en forma de redes, que con la ayuda de ciertas
herramientas matemticas, como es el caso del lgebra de matrices, es posible analizar
las propiedades de la estructura de la red. En el anlisis de stos sistemas puede ser
necesario manejar una gran cantidad de datos (por ejemplo piense en todos los
usuarios de la web) y por esta razn el uso de computadoras y de mtodos
estadsticos se hace imprescindible. Por otro lado, la combinacin de conocimientos
de distintas disciplinas como las matemticas y la biologa, hace necesario establecer
colaboraciones interdisciplinarias entre cientficos de distintos campos. La conjuncin
de estas disciplinas permite el estudio de distintos tipos de redes biolgicas como las
neuronales, las de regulacin gentica o las metablicas, con las que se pueden trazar
todas las posibles reacciones qumicas y sus productos posibles. En sociologa se
puede estudiar la configuracin y el funcionamiento de distintas redes sociales y en
lingstica para estudiar el lenguaje, por mencionar algunos otros ejemplos distintos a
los que ya se describieron de pasada en el texto. Entender la formacin de redes y
su comportamiento nos permite aprovecharlas como es el caso de la Internet o del
transporte de mercancas, por poner algunos casos tangibles.
La idea de brindar esta representacin matemtica de una red con grficas y
matrices es que se sienta a la teora de redes no como algo de otro mundo, sino
del nuestro. La teora de redes es un campo que est dando muchos resultados
sorprendentes en diversas reas del conocimiento y se ha convertido en una
herramienta muy poderosa gracias a la existencia de las computadoras que pueden
analizar cada vez ms informacin con la que podemos reconstruir redes ms
complejas y conocer el funcionamiento de las mismas.
Referencias
1.

Newman, M.E.J., Networks. An introduction, Oxford University Press, EU, 2010.

2.

Steen, M., (2010). Graph Theory and complex networks, Maarten van Steen, ISBN 978-90-8154061-2, 2010.

Teora de redes / CIENCIORAMA 10

3.

Grtschel, M. and Yuan Ya-Xiang, Euler, Mei-Ko Kwan, Knigsberg and a chinese postman,

Documenta Mathematica, 2012, volumen extra, pp. 43-50.

Teora de redes / CIENCIORAMA 11