Eli
343meneos

Expertos españoles hallan soluciones a un problema matemático de un siglo

Un grupo de investigadores catalanes se acaba de enfrentar con éxito a uno de los problemas matemáticos más viejos e importantes que quedaban por resolver, y que se llevaba resistiendo a científicos de todo el mundo desde hace un siglo. Los científicos españoles, encabezados por Enrique Bendito, usaron un algoritmo que ellos mismos habían desarrollado hace unos años y mediante el cual el supercomputador Finisterrae ha logrado alcanzar soluciones sin precedentes para el problema de Fekete el cual se encuentra en el número siete de la lista Smale

 38 comentarios en: cultura, ciencia karma: 713
etiquetas: expertos, españa, solución, problema, matemático
negativos: 0  usuarios: 173  anónimos: 170  compartir:  twitter  facebook  friendfeed
  1. #1   :-O ... "El trabajo con el superordenador, que llevó dos semanas en febrero, exigió unas 350.000 horas de cálculo; de haberse usado sólo una de las CPUs del FinisTerrae, hubiera hecho falta nada menos que 40 años. En el cálculo con un millón de puntos, 1.024 CPUs trabajaron en paralelo durante día y medio"
    votos: 4, karma: 50
    por mezvan el 21-04-2008 16:48 UTC
  2. #2   ¿Cómo se sacan 350.000 horas (14583 días) de dos semanas de febrero?

    ¡Es bueno ese grupo de matemáticos!
    votos: 9, karma: 22
    por natrix el 21-04-2008 16:52 UTC
  3. #3   #2 Optimización al máximo .. :lol: :lol: :lol:
    votos: 4, karma: 48
    por mezvan el 21-04-2008 16:54 UTC
  4. #4   El Finisterrae es del cesga (CEntro de Supercomputación de GAlicia) y esta en Santiago de Compostela.
    Unos hacen el curro y otros se llevan la fama.
    votos: 3, karma: 5
    por Medka el 21-04-2008 16:55 UTC
  5. #5   #3 y eso que los domingos libraban!!!
    votos: 1, karma: 17
    por Vodker el 21-04-2008 16:55 UTC
  6. #6   » ver comentario
    por --54566-- el 21-04-2008 16:58 UTC
  7. #7   #2 350 mil horas / 1024 cpus =+- 2 semanas
    votos: 4, karma: 52
    por Medka el 21-04-2008 16:58 UTC
  8. #8   Se está asumiendo como hora/procesador. Por ello es que se indica 350 mil horas. Como bien aclararon los anteriores, 350000 horas / 1024 cpus = 341,8 horas x procesador, lo que es igual a 14.21 días por procesador. Lo que da 2 semanas.

    Es impresionante lo que se puede lograr con los sistemas de procesamiento en paralelo. Es más o menos como lo aplicado por Seti@home / Berkeley.

    Cabría preguntarse que tantas otras cosas puede hacer? Será que podría predecir el comportamiento de la bolsa? juegos? elecciones?
    votos: 4, karma: 31
    por antonioricaurte el 21-04-2008 17:26 UTC
  9. #9   Exacto, el que redactó el artículo lo hizo mal, puesto que esas 350000 horas corresponden a cuarenta años con una cpu.
    votos: 0, karma: 11
    por Utah el 21-04-2008 17:28 UTC
  10. #10   #8 Depende del problema y del tamaño que tenga. No todos los problemas son paralelizables y no todos los problemas escalan del mismo modo.
    No por tener el doble de cpu's va a ser el doble de rapido, es más puede ser incluso más lento, ya que si el "tamaño" del problema no es suficiente, el dividirlo mucho puede ser contraproducente, al usar más las cpu's para coordinarse entre ellas que resolviendo el problema en sí.
    Analizar este tipo de cosas tiene una carga matemática brutal.

    PD: Aprovecho para agradecer a mi profesor del computación paralela el haberme enseñado de forma amena todas estas cosas.
    votos: 2, karma: 20
    por Nodens el 21-04-2008 18:21 UTC
  11. #11   #8 El Seti@Home es un sistema distribuído
    votos: 1, karma: 12
    por acimut el 21-04-2008 18:35 UTC
  12. #12   #8 No entiendo eso de dar mas importancia al martillo que al herrero.

    La solución al problema no la ha encontrado la maquina, sino el científico que la ha programado.

    De ahí que confundas que con mas maquinas se puedan solucionar mas problemas, cuando en realidad la relación sería que con mas y mejores científicos se podrían solucionar mas problemas.

    Los ejemplos que pones (comportamiento de la bolsa, juegos, elecciones) se podrían resolver con facilidad si se encontrase la fórmula o algoritmo que los defina. Hasta el momento no existen ordenadores capaces de definir fórmulas ni algoritmos, solo son capaces de ejecutarlos.
    votos: 12, karma: 100
    por sorrillo el 21-04-2008 19:24 UTC
  13. #13   Tal que así, #12
    votos: 3, karma: 18
    por Vodker el 21-04-2008 19:25 UTC
  14. #14   Alguien puede explicar de manera comprensible el problema este de los puntos de Feteke, me he leídos varias veces el artículo y ni idea. ¿Se trata de distribuir puntos en una superficie? ¿Sólo eso? ¿Bajo que criterios? Es dificil de entender.
    votos: 1, karma: 26
    por mc_pollofrito el 21-04-2008 19:29 UTC
  15. #15   Catalonia is not Spain xD Tenía que decirlo... xD

    Lo que no entiendo es por qué tienen que ir a un Supercomputador que está en Galicia, teniendo la UPC al Mare Nostrum...
    votos: 5, karma: 30
    por Eversmann el 21-04-2008 19:47 UTC
  16. #16   » ver comentario
    por --73598-- el 21-04-2008 19:48 UTC
  17. #17   Investigadores de la UPC... Usaron el Finisterrae... Y el Marenostrum, que les pillaba más cerca? Estaba ocupado bajando porno?
    votos: 4, karma: 19
    por besugo el 21-04-2008 19:48 UTC
  18. #18   Sin duda somos una generación privilegiada en cuanto al acceso a grandes herramientas de computación. La de nuestros padres (incluso no hay que ir tan lejos) tenía a mano unas capacidades de cálculo que hoy en día tiene cualquier teléfono móvil. Ahora, con lo que hay, se pueden hacer cosas inimaginables hace apenas 20 años.

    Perdón por el offtopic, pero leer estas cosas siempre me trae a la cabeza el mismo pensamiento :)
    votos: 0, karma: 8
    por mfc el 21-04-2008 19:51 UTC
  19. #19   » ver comentario
    por --83795-- el 21-04-2008 19:55 UTC
  20. #20   #19 Si, el genocidio aborigen en Argentina parece ser imparable...
    xD (coña...)
    votos: 12, karma: 107
    por GrooveLove.net el 21-04-2008 20:04 UTC
  21. #21   Expertos españoles hallan (...)
    Un grupo de investigadores catalanes (...)

    ¿ESTO NO ES UN oxímoron?
    votos: 9, karma: 11
    por JOFRE el 21-04-2008 20:08 UTC
  22. #22   #12 No, y no creo que sea el tema del artículo.
    votos: 2, karma: -8
    por XinKer el 21-04-2008 20:19 UTC
  23. #23   Periodizmo hen su mácsima hezprezión. En el articulo del Inmundo pone: Ferkete, Fekete y Feteke. ¿Algún científico de verdad puede confirmar el nombre del problema?. Tantos años aprendiendo a pronunciar y escribir Dijkstra o Rijndael ... pa na.
    votos: 0, karma: 6
    por rawsock el 21-04-2008 20:25 UTC
  24. #24   #20 xDD
    votos: 2, karma: 22
    por XinKer el 21-04-2008 20:29 UTC
  25. #25   ¿La lista Smale no es esa que dan un pastón por resolver alguno de los problemas que están en dicha lista?, no sé pero se me hace raro ver españoles haciendo un trabajo bien hecho xD
    votos: 2, karma: 8
    por crypto el 21-04-2008 20:31 UTC
  26. #26   #17 En concreto. ¡El Marenostrum está en la UPC!. A mi me huele que lo único que colaboró el Gobierno en el proyecto fue con el terreno de la capilla, por lo que IBM vende tiempo de CPU principalmente a la industria privada, y a los frikis con bata blanca los ponemos al final de la job queue.

    #25 Hay científicos españoles muy cualificados, otra cosa es que en España solo los saltimbanquis, caras bonitas y esputadores de gorgoritos sean reconocidos.
    votos: 0, karma: 6
    por rawsock el 21-04-2008 20:43 UTC
  27. #27   y estos sabran resolver como puede llegar un mileurista español con hipoteca a final de mes? comiendo todos los dias vamos..
    votos: 0, karma: 7
    por enmafa el 21-04-2008 20:53 UTC
  28. #28   Diria que un profesor me comento que se haria un proyecto conjunto para gestionar todos los upercomputadores de la red española de universidades, y que la gestión de donde se ejecuta que codigo seria transparente a la gente que envia codigo. #25 diria que esos eran los millenium prizes que daba un universidad, sino tendremos que pasarnos a ver si invitan a algo, xD.
    votos: 0, karma: 6
    por Noldorin el 21-04-2008 20:56 UTC
  29. #29   No nos hagamos lios: el problema no está demostrado formalmente, solo han validado que el algoritmo se cumple para números muy altos, lo cual en matemáticas indica solamente eso, que el algoritmo funciona para un subintervalo de los números reales. Ni siquiera un subintervalo grande, recordemos que el cardinal de los reales es infinito elevado a infinito (Aleph sub uno)
    Ahora tendrán que formalizar la demostración, para demostrar que el resultado se cumple para todos los números reales. De no hacerlo, los cálculos realizados no tendrán ninguna validez. No serán más que cuentas.
    Parece tonto tener que formalizar lo anterior, pero las matemáticas son así. Nadie -salvo la demostración formal- garantiza que no haya un valor enorme o pequeñísimo en algún sitio que, por la razón que sea, no funcione. Si existe, hay que encontrarlo, y si no, hay que demostrarlo.
    Algo parecido ocurrió con la Pequeña Conjetura de Fermat a^n + b^n = c^n si y solo si n>1, y el tipo de los calculitos se quedó sin la pasta. Así es la vida...
    votos: 4, karma: 46
    por femmenue el 21-04-2008 21:30 UTC
  30. #30   #25 claro que se te hace raro.. pq son Catalanes no españoles
    votos: 7, karma: -34
    por JOFRE el 21-04-2008 21:45 UTC
  31. #31   » ver comentario
    por --23215-- el 21-04-2008 21:59 UTC
  32. #32   Nos ha jodío. Con un ordenador también lo saco yo. Eso es trampa.
    votos: 2, karma: 5
    por elzo el 21-04-2008 22:16 UTC
  33. #33   mathematica.nodo.cesga.es/content/view/61/72/

    Resumen:
    El problema de Fekete consiste en minimizar, bajo restricciones generales, funcionales de energía potencial dependientes de las distancias relativas entre N puntos o partículas. Este problema admite multitud de variantes con aplicaciones en diferentes ramas de la Física, la Biología, los Métodos Numéricos y la Teoría de la Complejidad Computacional. En particular, decidir si existe un algoritmo capaz de obtener en tiempo polinómico en N una buena estimación del mínimo absoluto asociado a la energía logarítmica de N puntos en la 2-esfera constituye el séptimo "Problema matemático para el siglo XXI" de S. Smale. En este...  » ver todo el comentario
    votos: 0, karma: 6
    por Cajonodemo el 21-04-2008 22:46 UTC
  34. #34   #30 por mucho que te votein en negativo segurian siendo catalanes

    ¿eso es lo que les jode, no?
    votos: 1, karma: 1
    por JOFRE el 22-04-2008 03:14 UTC
  35. #35   Fekete significa negro en hungaro, no sé cuál será el origen de este número pero seguro que algún físico o matemático húngaro tiene relación con el origen..
    votos: 0, karma: 6
    por pitufita el 22-04-2008 08:40 UTC
  36. #36   Ahora sólo falta que Chuck Norris nos explique cómo averiguó la explicación a P=NP.
    votos: 0, karma: 7
    por FrEeDoOm el 22-04-2008 10:04 UTC
  37. #37   99% Completado.

    error grave en 0x00453D5F.
    votos: 2, karma: 19
    por comentarista20 el 22-04-2008 14:24 UTC
  38. #38   Perdón por el engaño: en mi comentario #22 me refería al comenario #21, no al #12.
    votos: 0, karma: 6
    por XinKer el 22-04-2008 23:10 UTC
comentarios cerrados

menéame