Psychology of Computing: Crash Course Computer Science #38
O principal cientista de pesquisa do HP Labs, Vinay Deolalikar, postou o que ele alega ser uma solução para o que é amplamente conhecido como problema P versus NP.
É tão intratável esse problema que o Clay Mathematics Institute prometeu conceder a pessoa que o resolveu. US $ 1 milhão. É um dos apenas sete problemas, coletivamente conhecidos como Problemas do Milênio, o instituto ofereceu essa recompensa. Uma das sete, a conjectura de Poincaré, foi oficialmente solucionada em 2006.
Ainda não está claro se Deolalikar receberá o dinheiro, já que Clay não disse que considera o problema resolvido.
Esse problema, "um dos Os problemas pendentes na ciência da computação "envolvem" determinar se existem perguntas cuja resposta pode ser rapidamente verificada, mas que exigem um tempo impossivelmente longo para resolver por qualquer procedimento direto ", explica uma página do Instituto. No problema, P significa tempo polinomial e NP significa tempo polinomial não determinístico.
"Tenho o prazer de anunciar uma prova de que P não é igual a NP", anunciou Deolalikar em um e-mail para um grupo de professores de matemática., que foi então publicado no domingo por Greg Baker, professor da Universidade de Colúmbia Britânica Simon Fraser.
Em suma, isso pode significar que certos problemas só podem ser resolvidos pela busca de força bruta, se as soluções podem ser encontradas em "A prova exigiu a junção de princípios de múltiplas áreas dentro da matemática. O grande esforço em construir esta prova foi descobrir uma cadeia de ligações conceituais entre vários campos e visualizá-los através de uma lente comum", escreveu Deolalikar.
Naturalmente, aqueles conhecedores do problema hesitam em proclamar que a Deolalikar resolveu o problema, dada a quantidade de checagem que precisaria ser feita. E enquanto elogiam Deolalikar por sua abordagem minuciosa, uma que difere das suposições mais aleatórias que são geralmente apresentadas, ninguém tem definitivamente afirmado que ele resolveu o problema.
"Parece introduzir algumas novas idéias instigantes, particularmente uma conexão entre a física estatística e a caracterização lógica de primeira ordem do NP ", escreveu Scott Aaronson, um professor assistente de engenharia elétrica e ciência da computação no Instituto de Tecnologia de Massachusetts, em uma entrada de blog não comprometida. para pensar agora, mas estou certamente esperançoso ", escreveu Dick Lipton, professor de ciência da computação no Instituto de Tecnologia da Geórgia.
Joab Jackson cobre software empresarial e tecnologia geral para as últimas notícias de
O IDG News Service
. Siga Joab no Twitter em @Joab_Jackson. O endereço de e-mail de Joab é [email protected]
A Red Hat lançou uma pilha Linux OS de alto desempenho que prejudica a Microsoft no preço de sua empresa A Red Hat divulgou nesta quinta-feira uma pilha de softwares Linux para ambientes de TI com uso intensivo de computação que custa menos que o preço da Microsoft para sua oferta comparável.
A Red Hat cobra US $ 249 por nó, ou servidor, por ano para Red Hat HPC Solution, uma nova oferta que combina o Red Hat Enterprise Linux com Platform Open Cluster Stack 5, software de cluster licenciado pela Platform Computing.
Cuda faz parte da estratégia da Nvidia para posicionar suas GPUs, tradicionalmente fortes em gráficos e jogos de ponta, como finalidade, para Os processadores de computação, que podem ser usados em uma variedade de aplicações científicas e aplicações comerciais, como computação financeira, disse Huang.
"Acreditamos que uma GPU não é mais apenas para gráficos, e pode ser realmente usada para qualquer coisa que envolva muitos dados e matemática ", acrescentou Huang.
A Micro Focus elevou sua oferta da Borland Software para contrariar uma oferta rival de uma empresa anônima A Micro Focus International aumentou sua oferta para a Borland Software para US $ 1,50 por ação na terça-feira, ante US $ 1 no início de maio, para conter uma oferta rival de uma licitadora misteriosa. É a segunda vez que a Micro Focus teve que aumentar sua oferta. Outro concorrente abandonou a corrida no mês passado.
O repentino interesse nas ferramentas de gerenciamento de ciclo de vida da Borland quase dobrou o valor da empresa nos dois meses desde o início da guerra de licitações, com o último lance da Micro Focus avaliando em torno de US $ 113 milhões.