P = NP  XML
Índice dos Fóruns » Assuntos gerais (Off-topic)
Autor Mensagem
Andre Brito
JWizard

Membro desde: 21/07/2007 17:44:31
Mensagens: 2485
Localização: Paraná
Offline

Paulo Silveira wrote:
saoj wrote:
Aquele dos primos demorou alguns séculos para virar P. Qual é o problema mais soda NP atual? Caixeiro viajante?


Caixeiro viajante ja eh diferente, pois é NP completo. Ai tanto faz qualquer problema NP completo, ja que um é tão complicado quanto o outro, e se resolverem um em tempo polinomial, todos os outros estao resolvidos... Entre os NP completo, nao existe isso de mais ou menos dificil.... sao equivalentes.

Mas o problema do TSP tem boas aproximacoes, que poderia ser um criterio para usar em relacao ao mais "dificil" entre lees.


Eu concordo com a sua última afirmação. Na verdade, eu pensava que o TSP era decidível e intratável (tem como achar resposta para um determinado número de cidades, acho que são 19, mas com 20 a explosão combinatória é tão grande que ele se torna intratável). Ele sendo decidível tem como ser NP completo?
Conheço poucos probelmas NPs. O problema da parada, ver se uma gramática é ambígua e achar um número perfeito que seja ímpar. Alguém conhece mais?

Abraço.

This message was edited 1 time. Last update was at 11/04/2008 06:56:19


Como organizar o GUJ.
Meu Twitter.
Meu blog.
Future proofing means making code easy to change, not trying to anticipate every possible way your code might need to change.
[WWW]
jmoreira
JavaChild
[Avatar]

Membro desde: 30/03/2008 05:05:16
Mensagens: 125
Offline

Paulo Silveira wrote:
MUITOs, mas MUITOS mesmo. Mas eram problemas que estavam em NP, e nao eram NP completos! Entao nao servem para "quebrar a banca", hehehe.

É possível que este professor NAO esteja "blefando", mas, considerando a amplitude do problema, seu trabalho será fortemente explorado mundo a fora. Assim, considerando que muitos NP na verdade era P, como citado, então, o foco dos que tentarão desqualificar o trabalho será provar que o problema que ele escolheu para resolver na verdade é um NP e NAO um NP-C e que, possívelmente é um P... Em fim...
Como o professor AINDA irá publicar o paper, não adianta especular muito. É esperar para ver. Mas, como citado, se dentro do prazo estabelecido ninguém no mundo conseguir desqualificar o trabalho deste professor, será um marketing fortíssimo para Brasil.

"Na vida, para alcançar seus objetivos, você pode mudar a estratégia ou alterar o caminho, mas jamais pode transigir nos princípios e transgredir a natureza."
thegoergen
Virtual Machine Man
[Avatar]

Membro desde: 24/09/2007 09:44:03
Mensagens: 583
Localização: Estrela/RS
Offline

jmoreira wrote:
... se dentro do prazo estabelecido ninguém no mundo conseguir desqualificar o trabalho deste professor, será um marketing fortíssimo para Brasil.


Exatamente. E se realmente isso se confirmar, o Brasil talvez não seja mais lembrado apenas como o país do Futebol, Praia e Carnaval.
Acredito que matemáticos famosos o país nunca teve, excetuando talvez o cara que descobriu a Superfície de Costa

"A preguiça de pensar é a maior burrice de uma pessoa." (Diego Inácio Goergen)

CV: Diego Inácio Goergen

Administrador da UNISCWiki e Medicina UNISC
[WWW] [MSN] [ICQ]
Proteu Alcebidiano
JavaEvangelist
[Avatar]

Membro desde: 23/06/2006 14:38:34
Mensagens: 390
Localização: Cidadão do Mundo
Offline

dedejava wrote:
Conheço poucos probelmas NPs. O problema da parada, ver se uma gramática é ambígua e achar um número perfeito que seja ímpar. Alguém conhece mais?


Aqui tem alguns:

http://en.wikipedia.org/wiki/List_of_NP-complete_problems

T+

Glaucio G. de M. Melo
Don't run Alone.
[gm]² on forecasting
The world is parallel, and yet most often we program real-world applications in sequential programming languages. This is unnecessarily difficult. (Joe Armstrong).
[MSN]
victorwss
JWizard
[Avatar]

Membro desde: 18/12/2007 14:46:00
Mensagens: 2409
Localização: São Paulo - SP
Offline

dedejava wrote:
Paulo Silveira wrote:
saoj wrote:
Aquele dos primos demorou alguns séculos para virar P. Qual é o problema mais soda NP atual? Caixeiro viajante?


Caixeiro viajante ja eh diferente, pois é NP completo. Ai tanto faz qualquer problema NP completo, ja que um é tão complicado quanto o outro, e se resolverem um em tempo polinomial, todos os outros estao resolvidos... Entre os NP completo, nao existe isso de mais ou menos dificil.... sao equivalentes.

Mas o problema do TSP tem boas aproximacoes, que poderia ser um criterio para usar em relacao ao mais "dificil" entre lees.


Eu concordo com a sua última afirmação. Na verdade, eu pensava que o TSP era decidível e intratável (tem como achar resposta para um determinado número de cidades, acho que são 19, mas com 20 a explosão combinatória é tão grande que ele se torna intratável). Ele sendo decidível tem como ser NP completo?
Conheço poucos probelmas NPs. O problema da parada, ver se uma gramática é ambígua e achar um número perfeito que seja ímpar. Alguém conhece mais?

Abraço.


Cara, você está confundindo as coisas. O problema da parada e o da gramática ambígua são recursivamente-enumeráveis-completos, e não NP-completos.
O do número perfeito ímpar não sei se é RE-completo, mas com certeza não é NP-completo.

Os problemas recursivamente enumeráveis completos necessitam de tempo infinito para se encontrar a solução definitiva.

Os problemas de NP sempre podem ser solucionados em tempo finito, e portanto NP e RE-completo são classes totalmente distintas.

O negócio do NP-completo é que todos os algoritmos conhecidos precisam de tempo exponencial para tratar o pior caso do problema (exponencial é muito grande, mas nunca é infinito).

Não confunda alhos com bugalhos.

Victor Williams Stafusa da Silva

Bacharel em Ciência da Computação - UFMT // Especialista em Desenvolvimento Java - CEFET/MT // Doutorando em Ciência da Computação - IME-USP
SCJP 6.0 - 19/12/2007 - PASS - 88% // SCWCD 5 - 17/05/2008 - PASS - 79% // SCJA - 09/09/2008 - PASS - 96% // SCSNI - 30/06/2009 - PASS - 68% // SCBCD 5 - 31/05/2010 - PASS - 95%
Próximos: SCJD (encalhado com o projeto), SCEA parte I (estudando). Algum dia desses: SCMAD, OCA, SCEA e SCDJWS.

Computação: uma ciência holística e esotérica!
E então veio Deus a terra e disse aos homens: Não dividireis por zero.
XML is a giant step in no direction at all. (Erik Naggum)
Arquitetura de sistemas: Eu prefiro ser essa metamorfose ambulante do que ter aquela velha opinião formada sobre tudo.
Diga não as drogas: Não use java.util.Vector.
Cuidado: Este usuário pode ter temperamento agressivo.

Always code as if the person who will maintain your code is a maniac serial killer that knows where you live.
I am the maniac serial killer that knows where you live who will maintain your code.


É impossível falar de CMMI (Capability Maturity Model Integration) sem saber o que é CIMM (Capability Im-Maturity Model).


Se você escreve "concerteza", "concerteza" você andou matando aulas de português.
[MSN]
 
Índice dos Fóruns » Assuntos gerais (Off-topic)
Ir para:   
Powered by JForum 2.1.8 © JForum Team