sábado, agosto 14, 2010

A/C Chica de Moebius

Very big, very exciting news in the theoretical comp sci world today!
A group at HP research has published a proof that, if correct, shows that the classic problem of computational complexity has been solved, once and for all. It’s still far from certain that it’s correct. But it’s the most credible attempt that I’ve ever seen, and it’s getting some preliminary favorable feedback from big-names in complexity theory.

2 Bitaites:

chica de moebius mandou o bitaite...

a estar correcta a prova, é um problema do milénio resolvido. muito bom!;)

segundo li, muita gente está a apostar que serão encontrados erros na prova apesar de lhe atribuirem mérito na abordagem e nas ideias.
eu passei os olhos pelo artigo e não consegui acompanhar, teria que lhe dedicar muito tempo.

parreirex mandou o bitaite...

a ser verdade, é uma prova histórica. mas tenho pena que o resultado seja P!=NP (o que praticamente toda a gente apostava). se fosse provado P=NP aí sim, haveria muito estrilho e, imagino, muito emprego para matemáticos.