Esta parte também não convence: "En cambio, si fuera P=NP, habríamos encontrado algoritmos polinomiales para todos esos problemas. La parte buena de ello es que podríamos resolver, en tiempos muy cortos, problemas del viajante con miles de ciudades y otros cientos de problemas útiles para los que hoy tenemos algoritmos muy costosos, y eso sería beneficioso para la industria, las comunicaciones y el desarrollo en general."
Da existência (exibida) de um algoritmo polinomial não se segue que ele funcionará "en tiempo muy corto". Um algoritmo pode ser "impraticável" (e praticamente inútil, na prática) sem cair na classe dos problemas *intratáveis*. JM 2017-05-23 2:15 GMT+02:00 Claus Akira Horodynski Matsushigue <[email protected]>: > > 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" > <[email protected]> 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 <[email protected]> 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 [email protected]. >> Para postar neste grupo, envie um e-mail para [email protected]. >> 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 [email protected]. > Para postar nesse grupo, envie um e-mail para [email protected]. > 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 [email protected]. > Para postar nesse grupo, envie um e-mail para [email protected]. > 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. -- http://sequiturquodlibet.googlepages.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 [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. 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_LiyTp2jTqZW7tNRZpGveVjFFF6Y5buLik175vNCwuAWzA%40mail.gmail.com.
