Tem casos em que a gente pode provar que há um algoritmo sem exibi-lo. Sent from my iPhone
> On 22 May 2017, at 21:15, Claus Akira Horodynski Matsushigue > <claus...@mat.unb.br> wrote: > > > Pois é! Esta é uma pergunta (?) interessante!!! > > Se a solução do problema for (fosse) um EXISTE CLÁSSICO um algoritmo/programa > (i.e., existe exclusivamente da Lógica Clássica), certamente seria > interessante, mas não serviria em nada prá esta questão prática que é da > Computação. > > Prá Computação, falar que EXISTE um algoritmo, significa claramente, EXIBA - > O!!!!! > > Abraços, Claus > > > > > > Em 22 de mai de 2017 7:06 PM, "Thiago Nascimento da Silva" > <thiagnascsi...@gmail.com> escreveu: > O texto diz que se P = NP, então teríamos encontrado algoritmos, no caso > existe, encontrar é outro trabalho. > > Em 22 de maio de 2017 18:18, Joao Marcos <botoc...@gmail.com> escreveu: >> El problema que los informáticos no han podido resolver en 45 años >> - La pregunta "¿P=NP?" trae de cabeza a los programadores desde 1971 >> por Ricardo Peña Marí (Universidad Complutense de Madrid) >> http://tecnologia.elpais.com/tecnologia/2017/05/19/actualidad/1495202801_698394.html >> >> -- >> 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/CAO6j_Lgogt27%3DZtjcyDT-mrvxtC5BLD-JBW1rOxTuD%2BKdGXudw%40mail.gmail.com. > > -- > Você recebeu essa mensagem porque está inscrito 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 nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br. > Acesse esse grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOHRVBXONyhA%3Da3NGVSwWSStM8mfk4f6FWXQ_RGHKLq4BvCZQw%40mail.gmail.com. > > -- > Você recebeu essa mensagem porque está inscrito 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 nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br. > Acesse esse grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAJh6kGUUAaPSzs3%2BfW9jEX_mUydum2kyzoVhGkw2cFbQxVL6Ow%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/463C070F-29CE-4CDF-8685-A47F20511024%40gmail.com.
