{"id":1654,"date":"2015-10-22T09:00:05","date_gmt":"2015-10-22T12:00:05","guid":{"rendered":"http:\/\/eic.cefet-rj.br\/portal\/?p=1654"},"modified":"2015-10-22T22:21:32","modified_gmt":"2015-10-23T01:21:32","slug":"iii-workshop-da-eic-palestra-resolver-ou-verificar","status":"publish","type":"post","link":"https:\/\/eic.cefet-rj.br\/portal\/iii-workshop-da-eic-palestra-resolver-ou-verificar\/","title":{"rendered":"III Workshop da EIC – Palestra: Resolver ou Verificar?"},"content":{"rendered":"

A Prof. Celina Figueiredo (COPPE\/UFRJ) abriu o III Workshop da Escola de Inform\u00e1tica e Computa\u00e7\u00e3o com a palestra intitulada “Resolver ou Verificar?”<\/p>\n

Resumo:<\/p>\n

“Resolver ou Verificar?” \u00e9 uma pergunta que vale um milh\u00e3o de d\u00f3lares. No ano 2000, o Instituto Clay para Matem\u00e1tica distinguiu sete problemas considerados centrais para o progresso da matem\u00e1tica, chamando-os de Os Problemas do Mil\u00eanio. A solu\u00e7\u00e3o de cada problema corresponde a um pr\u00eamio de um milh\u00e3o de d\u00f3lares. Um dos sete problemas selecionados \u00e9 um problema de Teoria da Computa\u00e7\u00e3o: existe pergunta cuja resposta pode ser verificada rapidamente mas cuja resposta requer muito tempo para ser encontrada? Esse Problema do Mil\u00eanio, conhecido como P versus NP, \u00e9 o problema central na \u00e1rea de Complexidade Computacional, onde tentamos classificar a dificuldade dos problemas de acordo com a efici\u00eancia das poss\u00edveis solu\u00e7\u00f5es atrav\u00e9s de algoritmos computacionais. Discutiremos o problema P versus NP, atrav\u00e9s da classifica\u00e7\u00e3o de problemas desafiadores em polinomial ou NP-completo e na defini\u00e7\u00e3o de classes de problemas que admitem um resultado de dicotomia, onde cada problema da classe \u00e9 classificado como polinomial ou NP-completo.<\/p>\n

\"Celina\"<\/a><\/p>\n

Slides<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

A Prof. Celina Figueiredo (COPPE\/UFRJ) abriu o III Workshop da Escola de Inform\u00e1tica e Computa\u00e7\u00e3o com a palestra intitulada “Resolver ou Verificar?” Resumo: “Resolver ou Verificar?” \u00e9 uma pergunta que vale um milh\u00e3o de d\u00f3lares. No ano 2000, o Instituto Clay para Matem\u00e1tica distinguiu sete problemas considerados centrais para o progresso da matem\u00e1tica, chamando-os de […]<\/p>\n","protected":false},"author":3,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[42],"tags":[],"class_list":["post-1654","post","type-post","status-publish","format-standard","hentry","category-palestras","entry"],"_links":{"self":[{"href":"https:\/\/eic.cefet-rj.br\/portal\/wp-json\/wp\/v2\/posts\/1654","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/eic.cefet-rj.br\/portal\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/eic.cefet-rj.br\/portal\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/eic.cefet-rj.br\/portal\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/eic.cefet-rj.br\/portal\/wp-json\/wp\/v2\/comments?post=1654"}],"version-history":[{"count":3,"href":"https:\/\/eic.cefet-rj.br\/portal\/wp-json\/wp\/v2\/posts\/1654\/revisions"}],"predecessor-version":[{"id":1659,"href":"https:\/\/eic.cefet-rj.br\/portal\/wp-json\/wp\/v2\/posts\/1654\/revisions\/1659"}],"wp:attachment":[{"href":"https:\/\/eic.cefet-rj.br\/portal\/wp-json\/wp\/v2\/media?parent=1654"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/eic.cefet-rj.br\/portal\/wp-json\/wp\/v2\/categories?post=1654"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/eic.cefet-rj.br\/portal\/wp-json\/wp\/v2\/tags?post=1654"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}