E tem coisa mais estranha aí.  

Sent from my iPhone

> On 22 May 2017, at 22:39, Marcelo Finger <mfin...@ime.usp.br> wrote:
> 
> 2017-05-22 22:00 GMT-03:00 Famadoria <famado...@gmail.com>:
>> Tem casos em que a gente pode provar que há um algoritmo sem exibi-lo.
> 
> Certamente.  Basta mostrar que um problema é NP-completo que segue que
> há uma redução polinomial para qualquer outro problema NP-completo.
> Encontrar estas reduções são outros 500.
> 
> []s
> 
> 
> -- 
> Marcelo Finger
> Departament of Computer Science, IME
> University of Sao Paulo
> http://www.ime.usp.br/~mfinger
> 
> -- 
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
> e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Visite este grupo em 
> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver esta discussão na web, acesse 
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CABqmzx0q144ZVo-ZPZLLQXuXmAjmJ9yyeAcgZ4rahxxeeAE%3DfQ%40mail.gmail.com.

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/C98C3243-B6E0-4B53-A0AA-870C5E71499A%40gmail.com.

Responder a