REPBLICA BOLIVARIANA DE VENEZUELA MINISTERIO DEL PODER POPULAR PARA LA DEFENSA UNIVERSIDAD NACIONAL EXPERIMENTAL DE LA FUERZA ARMADA INGENIERIA

EN SISTEMAS.

PUNTO FIJO 2013

HISTORIA DE LA TEORIA DE GRAFOS El origen de la teora de grafos se remonta al siglo XVIII con el problema de los puentes de Knigsberg, el cual consista en encontrar un camino que recorriera los siete puentes del ro pregel (544212N 203056E) en la ciudad de Knigsberg, actualmenteKaliningrado, de modo que se recorrieran todos los puentes pasando una sola vez por cada uno de ellos. El trabajo de Leonhard Euler sobre el problema titulado Solutio problematis ad geometriam situs pertinentis1 (La solucin de un problema relativo a la geometra de la posicin) en 1736, es considerado el primer resultado de la teora de grafos. Tambin se considera uno de los primeros resultados topolgicos en geometra (que no depende de ninguna medida). Este ejemplo ilustra la profunda relacin entre la teora de grafos y latopologa. Luego, en 1847, Gustav Kirchhoff utiliz la teora de grafos para el anlisis de redes elctricas publicando sus leyes de los circuitos para calcular el voltaje y la corriente en los circuitos elctricos, conocidas como leyes de Kirchhoff, considerado la primera aplicacin de la teora de grafos a un problema de ingeniera. En 1852 Francis Guthrie plante el problema de los cuatro colores el cual afirma que es posible, utilizando solamente cuatro colores, colorear cualquier mapa de pases de tal forma que dos pases vecinos nunca tengan el mismo color. Este problema, que no fue resuelto hasta un siglo despus por Kenneth Appel y Wolfgang Haken en 1976, puede ser considerado como el nacimiento de la teora de grafos. Al tratar de resolverlo, los matemticos definieron trminos y conceptos tericos fundamentales de los grafos. En 1857, Arthur Cayley estudi y resolvi el problema de enumeracin de los ismeros, compuestos qumicos con idntica composicin (formula) pero diferente estructura molecular. Para ello represento cada compuesto, en este caso hidrocarburos saturadosCnH2n+2, mediante un grafo rbol donde los vrtices representan tomos y las aristas la existencia de enlaces qumicos. El termino grafo, proviene de la expresin graphic notation usada por primera vez por Edward Frankland2 y posteriormente adoptada por Alexander Crum Brown en 1884, y hacia referencia a la representacin grfica de los enlaces entre los tomos de unamolcula. El primer libro sobre teora de grafos fue escrito por Dnes Knig y publicado en 1936.3 APLICACIONES Gracias a la teora de grafos se pueden resolver diversos problemas como por ejemplo la sntesis de circuitos secuenciales, contadores o sistemas de apertura. Se utiliza para diferentes reas por ejemplo, Dibujo computacional, en toda las reas de Ingeniera. Los grafos se utilizan tambin para modelar trayectos como el de una lnea de autobs a travs de las calles de una ciudad, en el que podemos obtener

caminos ptimos para el trayecto aplicando diversos algoritmos como puede ser el algoritmo de Floyd. Para la administracin de proyectos, utilizamos tcnicas como PERT en las que se modelan los mismos utilizando grafos y optimizando los tiempos para concretar los mismos. La teora de grafos tambin ha servido de inspiracin para las ciencias sociales, en especial para desarrollar un concepto no metafrico de red social que sustituye los nodos por los actores sociales y verifica la posicin, centralidad e importancia de cada actor dentro de la red. Esta medida permite cuantificar y abstraer relaciones complejas, de manera que la estructura social puede representarse grficamente. Por ejemplo, una red social puede representar la estructura de poder dentro de una sociedad al identificar los vnculos (aristas), su direccin e intensidad y da idea de la manera en que el poder se transmite y a quines. Los grafos son importantes en el estudio de la biologa y hbitat. El vrtice representa un hbitat y las aristas (o "edges" en ingls) representa los senderos de los animales o las migraciones. Con esta informacin, los cientficos pueden entender cmo esto puede cambiar o afectar a las especies en su hbitat.

Mapas conceptuales

Plano de estaciones del metro.

Plano de autopistas.

Circuito elctrico

Sociograma de una red social

Topologa de red decomputadores

 Organigramas

TIPOS DE GRAFOS.

Simple o grafo

Es aquel que acepta una sola una arista uniendo dos vrtices cualesquiera. Esto es equivalente a decir que una arista cualquiera es la nica que une dos vrtices especficos. Es la definicin estndar de un grafo.

Multigrafo o pseudografo

Son grafos que aceptan ms de una arista entre dos vrtices. Estas aristas se llaman mltiples o lazos (loops en ingls). Los grafos simples son una subclase de esta categora de grafos. Tambin se les llama grafos no-dirigido.

Grafo dirigido.

Son grafos en los cuales se ha aadido una orientacin a las aristas, representada grficamente por una flecha

Grafo etiquetado.

Grafos en los cuales se ha aadido un peso a las aristas (nmero entero generalmente) o un etiquetado a los vrtices.

Hipergrafo.

Grafos en los cuales las aristas tienen ms de dos extremos, es decir, las aristas son incidentes a 3 o ms vrtices.

Grafos conexos

Un grafo es conexo si cada par de vrtices est conectado por un camino; es decir, si para cualquier par de vrtices (a, b), existe al menos un camino posible desde a hacia b. Un grafo es doblemente conexo si cada par de vrtices est conectado por al menos dos caminos disjuntos; es decir, es conexo y no existe un vrtice tal que al sacarlo el grafo resultante sea disconexo.

Grafos completos

Un grafo es completo si existen aristas uniendo todos los pares posibles de vrtices. Es decir, todo par de vrtices (a, b) debe tener una arista e que los une.

Grafos bipartitos (es

Un grafo G es bipartito si puede expresarse como

decir, sus vrtices son la unin de dos grupos de vrtices), bajo las siguientes condiciones:

son disjuntos y no vacos.

Cada arista de A une un vrtice de V1 con uno de V2. No existen aristas uniendo dos elementos de V1; anlogamente para V2.

Bajo estas condiciones, el grafo se considera bipartito, y puede describirse informalmente como el grafo que une o relaciona dos conjuntos de elementos diferentes, como aquellos resultantes de los ejercicios y puzzles en los que debe unirse un elemento de la columna A con un elemento de la columna B.

IMPORTANCIA DE LA TEORIA DE GRAFOS EN LA INGENIERIA EN SISTEMAS. Los grafos son tiles en la ingeniera en sistemas ya que por medio de ello se modela y describe sistemas reales que se desean automatizar mediante aplicaciones computacionales. Los grafos en general los usa el ingeniero en sistemas para modelar las estructuras de datos de los objetos que interactan en una situacin real y al mismo tiempo para desarrollar los algoritmos para manipular dichas estructuras de datos. Un modelo producto de la teora de grafos pasa por varias fases de desarrollo que tienen que ver con el anlisis, el diseo y la implantacin, prueba y documentacin aunque no necesariamente en este orden. La teora de grafos es una de las ramas de la matemtica que ha crecido con ms vitalidad en los ltimos tiempos, sobre todo por su adecuacin a la modelacin y resolucin de problemas de reas muy diversas, mayoritariamente unida al vertiginoso desarrollo de la informtica y las telecomunicaciones. Proponer su aprendizaje a partir de la ejecucin de un proyecto colaborativo evidencia la estrecha relacin de sus conceptos con aquellas aplicaciones.

DESARROLLO EN LAS CAPACIDADES DEL ALUMNO Que el alumno a partir de los grafos, sea capaz de formalizar y especificar proyectos de ingeniera en sistemas computacionales. Que el alumno sea capaz de distinguir las diferentes teoras sobre grafos y la forma en que se aplican en diferentes mbitos de la ingeniera en sistemas computacionales. El alumno ser capaz de conocer la importancia de los grafos dentro del campo profesional de la Ingeniera en Sistemas Computacionales. Partiendo de los conceptos de rboles el alumno ser capaz de aplicarlo en el planteamiento formal de problemas computacionales. Partiendo del conocimiento de las estrategias de los algoritmos de bsqueda, el alumno ser capaz aplicarlos en la solucin de problemas computacionales. Partiendo del conocimiento de la teora redes, el alumno ser capaz de identificar y modelar la solucin a problemas de redes de transporte. Partiendo del conocimiento de las redes de Petri, el alumno ser capaz de formalizar y especificar aplicaciones en la ingeniera en sistemas computacionales. En general el alumno ser capaz de entender la importancia de estudiar los problemas de ingeniera en sistemas computacionales, mediante un anlisis formal apoyndose en la teora de grafos.