sábado, 22 de septiembre de 2012

Lester Randolph Ford, Jr




Lester Randolph Ford, Jr. nació el 23 de Septiembre de 1927 en Houston, es un matemático americano especializado en la red de flujo de problemas. Él es el hijo del Matemático Lester R.  Ford, padre.

El papel de Ford con DR Fulkerson en el problema de flujo máximo y el algoritmo de Ford-Fulkerson para resolverlo, y se publicó un informe técnico en 1954 y en un diario en 1956, estableció el máximo de flujo de min-cut teorema.  Con Richard Bellman , Ford también ha desarrollado el algoritmo de Bellman-Ford para encontrar el camino más corto en los gráficos que tienen bordes negativamente ponderados.


 Es el hijo de L.R. Ford Sr. (quién también es un matemático distinguido) y nació el 23 de septiembre de 1927. L. R. Ford Sr es elogiado por su ejemplar trabajo en matemáticas al inventar una interpretación geométrica absolutamente maravillosa de la serie de Farey. También le acredita su trabajo 'Pointwise Discontinuous Functions' que era la base de su trabajo para un grado de M.S. del departamento de matemáticas en la universidad de Missouri-Colombia en 1912. Tal fue su contribución a las matemáticas, que en 1964 se estableció el Lester R. Ford Award para reconocer la contribución a las matemáticas de excelentes autores matemáticos publicados en The American Mathematical Monthly o Mathematics Magazine. Fue redactor de American Mathematical Monthly, de 1942-1946, y el presidente de Mathematical Association of America, 1947-1948. Ford Sr. y Ford Jr. son co-autores de Automorphic Functions cuál fue publicado cerca por McGraw-Hill en 1963.

Mientras trabajó en RAND CORPORATION, Ford Jr publicó numerosos artículos que no solo establecieron la base de los flujos de red sino también la futura investigación en este campo. En 1962 Priceton University Press publicó su libro Flow in Networks con D. R. Fulkerson como co-autor. Este libro contiene todo su trabajo sobre redes.

"L. R. Ford, Jr." Wikipedia. Wikimedia Foundation, 09 July 2012. Web. 22 Sept. 2012. <http://en.wikipedia.org/wiki/L._R._Ford,_Jr.>.

"Algoritmo bellman ford €“ Grafos - Software Para La Construcción, Edición Y Análisis De Grafos."  Algoritmo bellman ford €“ Grafos.   N.p., n.d. Web. 22 Sept. 2012. <http://arodrigu.webs.upv.es/grafos/doku.php?id=algoritmo_bellman_ford>.

Delbert Ray Fulkerson


Delbert Ray Fulkerson nació el 14 agosto 1924 y murió el 10 enero 1976 fue un matemático que co-desarrolló el algoritmo de Ford-Fulkerson , uno de los más conocidos algoritmos para resolver el problema de flujo máximo en redes.

Fulkerson se crió en un pequeño pueblo del sur de Illinois y se convirtió en un estudiante de la Southern Illinois University. Su carrera académica se vio interrumpida por el servicio militar durante la Segunda Guerra Mundial. Habiendo regresado a completar su grado después de la guerra, él fue a hacer un doctorado en matemáticas en la Universidad de Wisconsin-Madison, bajo la supervisión de Ciro MacDuffee, que era un estudiante de LE Dickson. Fulkerson recibió su Ph.D. en 1951.

Tenía entonces con el departamento de matemáticas en la RAND Corporation hasta 1971 cuando se trasladó a la Universidad de Cornell como el profesor Maxwell Upson de Ingeniería. Permaneció en Cornell hasta su suicidio en 1976.

En 1956, publicó su documento se señalaba en el algoritmo de Ford-Fulkerson junto con la LR Ford, Jr. . En 1979, el renombrado Premio Fulkerson se estableció que ahora se concede cada tres años para trabajos sobresalientes en matemáticas discretas en forma conjunta por la Sociedad de Programación Matemática y de la Sociedad Americana de Matemátcas.

"D. R. Fulkerson." Wikipedia. Wikimedia Foundation, 09 May 2012. Web. 22 Sept. 2012. <http://en.wikipedia.org/wiki/D._R._Fulkerson>.

Robert W. Floyd



Robert W. Floyd (8 de junio de 1936 - 25 de septiembre de 2001) fue un prominente científico estadounidense en informática.

Nacido en Nueva York, Floyd culminó bachillerato a los 14 años. Se graduó en la Universidad de Chicago en 1953 a los 17 años y como Físico en 1958.


Operador de computadoras en los años 60, publicó sus primeros artículos los cuales fueron de gran influencia y fue nombrado profesor asociado en la Universidad de Carnegie Mellon. Seis años más tarde fue nombrado profesor en la Universidad de Stanford.

Entre sus contribuciones se encuentran el diseño y análisis de algoritmos eficientes para encontrar el camino más corto en un grafo y para el problema de reconocimiento de frases, pero probablemente su logro más importante fue el ser pionero, con su artículo de 1967 «Assigning Meanings to Programs», en el área de verificación de programas utilizando aserciones lógicas, donde aparece la importante noción de invariante, esencial para demostrar propiedades de programas iterativos.

Floyd recibió el Premio Turing de la ACM en 1978 «por tener una clara influencia en las metodologías para la creación de software eficiente y confiable, y por haber contribuido a la fundación de las subáreas teoría del reconocimiento de frases, semántica de los lenguajes de programación, verificación automatizada de programas, síntesis automatizada de programas y análisis de algoritmos».

"Robert W. Floyd." Wikipedia. N.p., n.d. Web. 22 Sept. 2012. <http://es.wikipedia.org/wiki/Robert_W._Floyd>.

domingo, 16 de septiembre de 2012

¿Quién invento el algoritmo de Kruskal?

(29 de enero de 1928 – Maplewood, Nueva Jersey, 19 de septiembre de 2010)

Joseph B. Kruskal el inventor del algoritmo de Kruskal, fue un matemático y estadístico estadounidense. 

Joseph era hermano del matemático y estadístico William Kruskal (autor de la Prueba de Kruskal-Wallis), y del matemático y físico Martin Kruskal (autor de las coordenadas de Kruskal-Szekeres).

Investigador del Math Center (Bell-Labs), en 1956 descubrió un algoritmo para la resolución del problema del árbol recubridor mínimo, el cual es un problema típico de optimización combinatoria, que fue considerado originalmente por Otakar Boruvka (1926) mientras estudiaba la necesidad de electrificación rural en el sur de Moravia en Checoslovaquia.
El objetivo del algoritmo de Kruskal es construir un árbol (subgrafo sin ciclos) formado por arcos sucesivamente seleccionados de mínimo peso a partir de un grafo con pesos en los arcos.
Un árbol (spanning tree) de un grafo es un subgrafo que contiene todos sus vértices o nodos. Un grafo puede tener múltiples árboles. Por ejemplo, un grafo completo de cuatro nodos (todos relacionados con todos) tendría 16 árboles.
La aplicación típica de este problema es el diseño de redes telefónicas. Una empresa con diferentes oficinas, trata de trazar líneas de teléfono para conectarlas unas con otras. La compañía telefónica le ofrece esta interconexión, pero ofrece tarifas diferentes o costes por conectar cada par de oficinas. Cómo conectar entonces las oficinas al mínimo coste total.

Otra aplicación menos obvia es que el árbol de coste total mínimo puede ser usado como solución aproximada al problema del viajante de comercio, el cual es NP-completo. La manera formal de definir este problema es encontrar la trayectoria más corta para visitar cada punto al menos una vez. Nótese que si se visitan todos los puntos exactamente una vez, lo que se tiene es un tipo especial de árbol. En el ejemplo anterior, 12 de los 16 árboles son trayectorias de este tipo. Si se tiene una trayectoria que visita algunos vértices más de una vez, siempre se puede soltar algunos nodos del árbol. En general el peso del árbol total mínimo es menor que el del viajante de comercio, debido a que su minimización se realiza sobre un conjunto estrictamente mayor. Existen diferentes algoritmos y maneras de usar el árbol de coste total mínimo para encontrar la solución al problema del viajante de comercio (con resultados cercanos al óptimo).

"Joseph Kruskal." Wikipedia. N.p., n.d. Web. 16 Sept. 2012. <http://es.wikipedia.org/wiki/Joseph_Kruskal>.


¿Quién invento el algoritmo de PRIM?


El señor de la foto es el creador de lo que se conoce como algoritmo de PRIM, su nombre Robert C. Prim nacido en 1921 en Sweetwater, Estados Unidos,  es un matemático e ingeniero informático.

En 1941 se licenció en ingeniería eléctrica en la Universidad de Princeton. Más tarde, en 1949 recibe su doctorado en matemáticas en la misma universidad. Trabajó en dicha universidad desde 1948 hasta 1949 como investigador asociado.

En plena Segunda Guerra Mundial, Prim trabajó como ingeniero para General Electric. Desde 1944 hasta 1949 fue contratado por la United States Naval Ordnance Lab como ingeniero y más tarde como matemático. En los laboratorios Bell, trabajó como director de investigación matemática desde 1958 hasta 1961. Allí Prim desarrolló el conocido Algoritmo de Prim. Después de su estancia en los laboratorios Bell, Prim pasó a ser vicepresidente de investigación en Sandia National Laboratories

Durante su carrera en los laboratorios Bell, Robert Prim junto a su compañero Joseph Kruskal desarrolló dos algoritmos diferentes para encontrar los árboles abarcadores mínimos en un grafo ponderado. El algoritmo que lleva su nombre fue originalmente descubierto por el matemático Vojtech Jarnik y más tarde e independientemente por Prim en 1957. Dos años más tarde fue redescubierto por Edsger Dijkstra.

"Robert C. Prim." Wikipedia. N.p., n.d. Web. 16 Sept. 2012. <http://es.wikipedia.org/wiki/Robert_C._Prim>.

lunes, 10 de septiembre de 2012

Tarea 1

Holo que tal esta ves estoy escribiendo no para traerles alguna biografía de alguien o hablar de algún método, si no que traigo una liga para ir a un trabajo que realice junto con mi compañera y amiga Cinthya, es sobre el problema de transporte sus características a si como ventajas y un ejemplo resuelto bueno sin mas pre-ambulos les dejo el link, no se olviden comentar.


Triptico PROBLEMAS DE TRANSPORTE

domingo, 9 de septiembre de 2012

Edsger Wybe Dijkstra

En esta ocasión toca hablar de un Físico y Científico de la Computación el señor Edsger Wybe Dijkstra(Pronunciación) el cual fue el inventor del Algoritmo de Dijkstra (nombrado así por su nombre claro esta), el cual nos arroja el camino mas corto entre dos vértices.


Biografía:
(1930-2002)

Dijkstra estudió física teórica en la Universidad de Leiden. Trabajó como investigador para Burroughs Corporation a principios de los años 1970. En la Universidad de Texas en Austin, Estados Unidos, ocupó el Schlumberger Centennial Chair in Computer Sciences. Se retiró en 2000.

Entre sus contribuciones a las ciencias de la computación está la solución del problema del camino más corto, también conocido como el algoritmo de Dijkstra, la notación polaca inversa y el relacionado algoritmo shunting yard, THE multiprogramming system, el algoritmo del banquero y la construcción del semáforo para coordinar múltiples procesadores y programas. Otro concepto debido a Dijkstra, en el campo de la computación distribuida, es el de la auto-estabilización, una vía alternativa para garantizar la confiabilidad del sistema. El algoritmo de Dijkstra es usado en la ruta más corta primero (SPF) que es usado en el protocolo de enrutamiento Open Shortest Path First (OSPF). También se le debe la autoría de la expresión "Crisis del software", aparecida en su libro The Humble Programmer y usada ampliamente en la famosa reunión de la OTAN de 1968 sobre desarrollo del software. Recibió el Premio Turing en 1972.

Era conocido por su baja opinión de la sentencia GOTO en programación, que culminó en 1968 con el artículo Go To Statement Considered Harmful (La sentencia Goto considerada perjudicial), visto como un paso importante hacia el rechazo de la expresión GOTO y de su eficaz reemplazo por estructuras de control tales como el bucle while. El famoso título del artículo no era obra de Dijkstra, sino de Niklaus Wirth, entonces redactor de Comunicaciones del ACM. Dijkstra era un aficionado bien conocido de ALGOL, y trabajó en el equipo que desarrolló el primer compilador para este lenguaje. En ese mismo año creó el primer sistema operativo con estructura jerárquica, de niveles o capas. Fue denominado THE (Technische Hogeschool, Eindhoven) que se utilizó con fines didácticos.

Desde los años 1970, el principal interés de Dijkstra fue la verificación formal. La opinión que prevalecía entonces era que uno debe primero escribir un programa y seguidamente proporcionar una prueba matemática de su corrección. Dijkstra objetó que las pruebas que resultan son largas e incómodas, y que la prueba no da ninguna comprensión de cómo se desarrolló el programa. Un método alternativo es la derivación de programas, «desarrollar prueba y programa conjuntamente». Uno comienza con una especificación matemática del programa que se supone va a hacer y aplica transformaciones matemáticas a la especificación hasta que se transforma en un programa que pueda ser ejecutado. El programa que resulta entonces es sabido correcto por la construcción. Muchos de los últimos trabajos de Dijkstra tratan sobre las maneras de hacer fluida la argumentación matemática.

Respecto a su carácter árido y ácido, conocidas son su oposición a la instrucción GOTO y al lenguaje BASIC ("mutila la mente más allá de toda recuperación"). Alan Kay expuso que "en informática, la arrogancia se mide en nanodijkstras" enlace roto.

Dijkstra murió el 6 de agosto de 2002 después de una larga lucha contra el cáncer.


Referencias:

"Edsger Dijkstra." Wikipedia. N.p., n.d. Web. 09 Sept. 2012. <http://es.wikipedia.org/wiki/Edsger_Dijkstra>.

Cteccocula. "Algoritmo De DIJKSTRA." YouTube. YouTube, 07 Dec. 2011. Web. 09 Sept. 2012. <http://www.youtube.com/watch?v=LLx0QVMZVkk>.