"El LHC: La máquina del Big Bang" (III Conferencia Internacional de Cultura Científica)
Mientras Hewlett-Packard Las consecuencias de la retirada de su CEO Mark Hurd, la compañía puede disfrutar de la gloria de al menos un logro potencialmente positivo: un investigador de HP ha ofrecido lo que dice que es una solución a uno de los problemas más difíciles en informática.
El principal científico investigador de HP Labs, Vinay Deolalikar, ha publicado lo que afirma es una solución a lo que se conoce como el problema P versus NP.
Este problema es tan difícil de resolver que el Clay Mathematics Institute ha prometido otorgarle la solución. $ 1 millón. Es uno de los únicos siete problemas, colectivamente conocidos como los Problemas del Premio del Milenio, para los cuales el instituto ha ofrecido esta recompensa. Una de las siete, la conjetura de Poincaré, se resolvió oficialmente en 2006.
Aún no está claro si Deolalikar obtendrá el dinero en efectivo, ya que Clay no ha dicho que lo resuelva.
Este problema, "uno de los problemas pendientes en la ciencia de la computación "implican" determinar si existen preguntas cuya respuesta puede verificarse rápidamente, pero que requieren un tiempo increíblemente largo para resolver mediante cualquier procedimiento directo ", explica una página del Instituto. En el problema, P representa el tiempo polinomial y NP representa el tiempo polinominal no determinista.
"Me complace anunciar una prueba de que P no es igual a NP", anunció Deolalikar en un correo electrónico a un grupo de profesores de matemáticas, que luego fue publicado el domingo por Greg Baker, profesor de la Columbia Británica Simon Fraser University.
En pocas palabras, esto puede significar que ciertos problemas solo pueden resolverse mediante la búsqueda de fuerza bruta, si se pueden encontrar soluciones en Todo.
"La prueba requería el ensamblaje de principios de múltiples áreas dentro de las matemáticas. El mayor esfuerzo para construir esta prueba fue descubrir una cadena de vínculos conceptuales entre varios campos y verlos a través de una lente común", escribió Deolalikar.
Naturalmente, aquellos que conocen el problema dudan en proclamar que Deolalikar ha resuelto el problema, dada la cantidad de verificación que se necesitaría hacer. Y si bien elogian a Deolalikar por su enfoque exhaustivo, que difiere de las conjeturas más fortuitas que se suelen presentar, nadie ha afirmado definitivamente que haya descifrado el problema.
"Parece presentar algunas ideas nuevas y estimulantes, particularmente una conexión entre la física estadística y la caracterización lógica de primer orden de NP ", escribió Scott Aaronson, profesor asistente de ingeniería eléctrica y ciencias de la computación en el Instituto de Tecnología de Massachusetts, en una entrada de blog sin compromiso.
" No sé qué pensar en este momento, pero ciertamente tengo esperanzas ", escribió Dick Lipton, profesor de ciencias de la computación en el Instituto de Tecnología de Georgia.
Joab Jackson cubre software empresarial y noticias de última hora sobre tecnología general para The IDG News Service. Sigue a Joab en Twitter en @Joab_Jackson. La dirección de correo electrónico de Joab es [email protected]
Broadcom resolverá las demandas retroactivas de $ 160.5M
Broadcom resolvió una demanda de acciones vencidas por $ 160.5 millones.
E.U. El Comisario de Competencia de la UE, Joaquín Almunia, ha criticado lo que considera el fracaso de Europa en la construcción de un mercado sostenible para el contenido en línea. El comisionado de Competencia de la Unión Europea, Joaquín Almunia, afirma que es "vergonzoso". ha criticado lo que él considera el fracaso de Europa para construir un mercado sostenible para el contenido en línea.
El mercado de contenido en línea en la UE como "un vergonzoso anacronismo", dijo.
A medida que aumentan las dudas sobre Windows RT, el ejecutivo de Microsoft afirma que tiene un futuro brillante para Michael Angiulo, vicepresidente corporativo de Microsoft de la planificación de Windows, argumenta que Windows RT se fortalecerá con el tiempo. Pero sus afirmaciones se basan en algunas suposiciones importantes.
Windows RT puede apagar los consumidores y fabricantes de PC. Microsoft no comparte su ambivalencia.