Palestra “P vs NP“ com o Prof. Moshe Y. Vardi

O professor Moshe Vardi da Rice University, Doutor Honoris Causa pela UFRGS, realizou a palestra “P vs. NP“, no Instituto de Informática, no dia 16/06/2015. O Prof. Vardi é Fellow da AAAI, ACM, IEEE, SIAM e Membro da US National Academy of Engineering, National Academy of Science, the American Academy of Arts and Science, the European Academy of Sciences, e da Academia Europaea. Resumo da Palestra: The question of P vs. NP is one of the central questions in computer science and mathematics. (It is one of the Clay Institute Millenial Problems whose solution would yield an award of $1,000,000.) In August 2010, an HP researcher claimed to have solved the problem, using tools from mathematical logic and statistical physics, including a theorem proved by the speaker in 1982. The claim generated a huge buzz in computer science, with coverage also in the New York Times. This talk will explain what the P-vs-NP problem is, what tools were employed in the claim