1

Faculty of Mathematics and Engineering Discrete Mathematics

“Documentación – Proyecto Urbanización”

Santiago Lozano Orrego - 506221033

Daniel Enrique García Sánchez - 506221007

Danna Sofía Calderón Alegre – 506221002

Fundación Universitaria Konrad Lorenz

23012: Ingeniería de Sistemas

Ginna Juliana González Fandiño

Noviembre 2022
 2

Contents
Resumen ................................................................................................................................................. 3
Problema ................................................................................................................................................. 4
Modelización del problema...................................................................................................................... 5
Solución teórica del problema .................................................................................................................. 6
Solución computacional........................................................................................................................... 7
Solución problema de conteo ................................................................................................................. 11
Interpretación a la vida real del problema............................................................................................... 12
Conclusión ............................................................................................................................................ 13
Referencias............................................................................................................................................ 14
 3

Resumen

El siguiente documento contiene el desarrollo del proyecto urbanización, donde se presenta la

problemática analizada. Se desarrollo un grafo donde se buscaba establecer la conexión en cada

uno de sus vértices, cuando un grafo cumple con dicha característica se denomina “fuertemente

conexo”, es decir, para cada par de vértices existe un camino entre sí. El resultado de la

problemática depende de la relación directa entre la característica anteriormente mencionada y el

grafo implementado.

Para el desarrollo del problema se utilizó:

o Python como parte computacional, donde se desarrolló el grafo planteado y a su vez,

resuelve la problemática principal, anulando cualquier tipo de posibilidad de encontrar un

camino entre cada uno de los vértices en el grafo planteado.

o Conteo como parte lógica y funcional del proyecto. Este proceso matemático tuvo como

resultado una serie de diversas posibilidades para la implementación de los semáforos

que buscan la reducción de tiempo en tráfico de los habitantes del sector.

 4

Problema

Proyecto Urbanización

Considere el Barrio San Vicente Ferrer de Bogotá, ¿Es posible que usted parta de un cruce A se

pueda mover en un carro y pueda llegar a cualquier cruce B de ese barrio? Haga el grafo que

representa la situación.

Parte computacional

realice un algoritmo que resuelva la situación y responda la pregunta.

Conteo

Dentro del barrio se quieren que en total haya 15 semáforos, ¿De cuántas formas distintas se

puede hacer?
 5

Modelización del problema

San Vicente Ferrer es un Barrio al Sur de Bogotá con poca administración vial, además de tener

poca amplitud cuenta con una señalización casi nula. Se logró construir un grafo a partir de cada

uno de sus cruces (vértices) y sus calles (aristas); Teniendo como resultado la Figura 1.

Figura 1. Estructura del grafo con los respectivos vértices y aristas.

Teniendo en cuenta la Figura 1, se busca optimizar el tiempo en tráfico implementando así la

construcción de 15 semáforos a lo largo del barrio, teniendo en cuenta los 5 semáforos que se

encuentra actualmente.
 6

Solución teórica del problema

Haciendo uso de Google Maps se generó el boceto del grafo a partir de los límites del barrio, se

logró encontrar el sentido de cada una de las calles en la que se interpreta como una arista

dirigida dependiendo de su dirección. Adicionalmente fue de gran utilidad el uso de doble aristas

dirigidas, en calles cuyo sentido es doble vía.

Figura 2. Boceto del grafo por medio de Google Maps.

 7

Solución computacional

Para la implementación se utilizó una biblioteca de Python (NetworkX). Esta extensión

desarrollada para el estudio de grafos y análisis de redes. Representando en la Figura 3.

Figura 3. Import networkx

Por definición conocemos como (Graph) como una colección de nodos (vértices), gracias a la

biblioteca NetworkX estos nodos son modificables, es decir, que puede leer valores enteros y los

caracteres de texto.

Figura 4. Agregar un Nodo

A su vez se utilizó el nodo representado en la Figura 4. Con contenedores iterables, estos son los

tipos de secuencia como lista, tupla o str. Dentro de estos agregamos todos sus vértices con un

total de “72N”, que se encuentra en el grafo.

Figura 5. Número de nodos en el Grafo

 8

Figura 6. Agregar bordes

Después de agregar la cantidad de nodos junto con sus atributos, se agregó los bordes (aristas),

entre los nodos correspondientes, como se muestra en la Figura 7.

Figura 7. Número de bordes en el Grafo

Para resolver la incógnita si el grafo es fuertemente conexo, usamos un componente representado

en la Figura 8. que nos brinda la biblioteca de NetworkX, donde su parámetro principal es ser un

grafo dirigido, lo cual aplica en nuestro proyecto.

Para ello creamos la variable (fuertemente_conexo), a esta le asignamos

(nx.is_stronly_connected(G)), esto permite llamar a la biblioteca y usar su componente donde ya

esta preprogramado para verificar si cada unos de sus nodos esta conectados entre sí, asignándole

el grafo, después de esto se imprime la variable con un (print) y como resultado se muestra en la

consola Figura 9.
 9

Figura 8. Código si un grafo es fuertemente conexo

Figura 9. Consola ¿El Grafo es Fuertemente conexo?

Después de verificar si el grafo es fuertemente conexo, lo cual ahora comprendemos que no es

así, creamos una variable (conexos), para llamar los nodos que cumplen con que sean

fuertemente conexos, dando como resultado la Figura 11.

Figura 10. Código si un grafo es fuertemente conexo

Figura 11. Consola nodos que son conexos.

Como muestra la imagen anterior se tiene que “69” nodos son conexos de “72”, es decir que 3 de

ellos no lo son, que si verificamos los nodos del (1N, 2N, 3N, …. 72N) concluimos que (39N,

52N, 63N) no se encuentran como conexos.

 10

Por ende, de estos 3 nodos sacamos 6 posibles caminos en los que podamos verificar si existen

caminos entre estos, lo podemos ver representado en la Figura 12.

Creamos seis variables de prueba y a este le asignamos (nx.has_path), este devuelve si el grafo,

desde la ruta inicial hasta la final, que se les asigno existe un camino.

Figura 12. Caminos para comprobar cuales no son conexos.

Imprimimos el resultado por consola representado en la Figura 13. En la cual indica que 3 de

estos posibles caminos si son conexos (“63N” y “52N”), (“63N” y “39N”), (“52N” y “39N”) y

los 3 restantes no lo son, los cuales son (“39N” y “63N”), (“52N” y “63N”), (“39N” y “52N”).

Figura 13. Consola de los posibles caminos.

 11

Solución problema de conteo

Para resolver la incógnita planteada, fue necesario el uso de la técnica matemática de

permutación, implementando su fórmula general, se comprenderá que (n) es el número de

espacios posibles que no cuentan con semáforo. Y a su vez (r) es el número de objetos

(Semáforos) necesarios para cumplir con la igualdad.

Figura 14. Implementación 10 nuevos semáforos.

Si se busca implementar 15 semáforos en su totalidad, técnicamente es necesario usar solo 10

semáforos nuevos, debido a que el barrio ya cuenta con 5, en la Figura 3 se expresa la ecuación

necesaria para encontrar todas las formas posibles en que se pueden ubicar dichos semáforos.
 12

Interpretación a la vida real del problema

La falta de semáforos y de administración vial generan tráfico, estrés, ansiedad y congestión, un

barrio como San Vicente que tiene limite con principales como la Avenida Boyacá y la Calle 25

y diariamente es usado como atajo para llegar a distintos lugares del sur de Bogotá, normalmente

esta congestionado durante el transcurso del día, en muchos casos los semáforos presentes no

están del todo bien sincronizados entre sí, es decir, unos tienden a durar 15 segundos, mientras

que otros duran más de 1 minuto, por este inconveniente los conductores deciden tomar rutas en

contra vía, aumentando así el tráfico en dicho lugar de la ciudad de Bogotá.

Quizás en un contexto real la implementación de 10 nuevos semáforos cooperaria con la

reducción de tráfico en el barrio y el estrés que produce en los conductores al atravesar ese

sector.
 13

Conclusión

Para concluir, se logró obtener respuesta para cada uno de los requerimientos dados sobre el

problema de movilidad de San Vicente Ferrer, utilizando diferentes herramientas tecnológicas,

lógicas, analíticas y matemáticas, que facilitaron la recopilación de datos, consiguiendo un

balance positivo en cada uno de los enigmas resueltos.

Se utilizo únicamente el recurso gráfico (grafo) para lograr entender cuál era la necesidad real de

este lugar y así mismo lograr buscar una solución eficaz que sirviera de manera inmediata para

lograr un cambio en la movilidad diaria que se vive en este sector con el fin de mantener las vías

descongestionadas y que a su vez, sea ameno el tránsito en las mismas.

Se comprendió la necesidad de reformas viales en cada uno de los barrios que quizás han sido

abandonados por el estado y así mismo, encontrar un beneficio a corto y largo plazo para los

habitantes de dicha zona.

 14

Referencias

Gonzales, L. (2017, septiembre 6). Permutaciones y Combinaciones. Instituto de Estudios

Políticos y Relaciones Internacionales. https://epri.ufm.edu/pensamientocritico/permutaciones-y-
combinaciones/#:~:text=Una%20permutaci%C3%B3n%20es%20una%20serie,a%20ti%20cara
%20hacia%20abajo.

García, A. (2020, febrero 12). Manejo de grafos con NetworkX en Python. El laberinto del
Falken. https://www.ellaberintodefalken.com/2020/02/grafos-con-networkx.html

Google Maps (2021). Barrio San Vicente Ferrer.

https://www.google.com/maps/place/San+Vicente+Ferrer,+Tunjuelito,+Bogot%C3%A1/@4.580
2318,-
74.1394779,17z/data=!3m1!4b1!4m5!3m4!1s0x8e3f9f24efeea96f:0xd84aef164ea93b63!8m2!3d
4.5796818!4d-74.1401447

NetworkX Developers. (2004 - 2022). Network Analysis in Python.

https://networkx.org/documentation/stable/reference/index.html
 15

Anexos

Graph_Code