Caros Rodrigo e arcguede, Poderiam me esclarecer o que demonstração de uma demonstração tem a ver com problemas NP? Qual bibliografia recomendam sobre isso?
Abraços, Sérgio ----- Original Message ----- From: <[EMAIL PROTECTED]> To: <[email protected]> Sent: Tuesday, December 18, 2007 12:46 AM Subject: [obm-l] Re: [obm-l] Re: [obm-l] Demonstrações > Acredito que o problema NP seja provar que existe ou não uma forma > matemática, objetiva, de transformar problemas NP (com tempo de > processamento não polinomial) em problemas P (tempo de processamento > polinomial). Correto? > > qual seria a remissão a que você se referiu? > > ----- Original Message ----- > From: <[EMAIL PROTECTED]> > To: <[email protected]> > Sent: Monday, December 17, 2007 2:16 AM > Subject: Re: [obm-l] Re: [obm-l] Demonstrações > > > > Acho que isso nos remete ao "terceiro problema do milênio" - o problema > > NP. > > > > [EMAIL PROTECTED] escreveu: > >> Acredito que uma "demonstração de demonstração" seria algo como > >> "chover no molhado". Uma demonstração está correta se, em última > >> instância, está de acordo com os axiomas mais básicos da matéria. > >> Então, uma demonstração de demontração recorreria, também em última > >> análise, exatamente aos mesmos axiomas, sendo assim redundante. > >> > >> Se você fala inglês, aqui está um fórum onde há diversos debates > >> interessantes sobre esses assuntos, além de resolução técnica de > >> questões de matemática, física química, engenharia em geral, etc... > >> > >> http://www.physicsforums.com/ > >> > >> abraços > >> > >> ----- Original Message ----- From: "Sérgio Martins da Silva" > >> <[EMAIL PROTECTED]> > >> To: "Lista OBM" <[email protected]> > >> Sent: Sunday, December 16, 2007 10:56 PM > >> Subject: [obm-l] Demonstrações > >> > >> > >>> Doutores, > >>> > >>> Penso que a palavra mais comum nesta lista e, quiçá, da matemática é > >>> "demonstração". Por isto, gostaria de saber como se demonstra que uma > >>> demonstração está correta. E mais, que é completa. Quais são os > >>> requisitos, > >>> condições, etc ? > >>> > >>> Abraços, > >>> > >>> Sérgio > >>> > >>> ========================================================================= > >>> > >>> Instruções para entrar na lista, sair da lista e usar a lista em > >>> http://www.mat.puc-rio.br/~obmlistas/obm-l.html > >>> ========================================================================= > >> > >> > >> ========================================================================= > >> Instruções para entrar na lista, sair da lista e usar a lista em > >> http://www.mat.puc-rio.br/~obmlistas/obm-l.html > >> ========================================================================= > >> > > > > ========================================================================= > > Instruções para entrar na lista, sair da lista e usar a lista em > > http://www.mat.puc-rio.br/~obmlistas/obm-l.html > > ========================================================================= > > ========================================================================= > Instruções para entrar na lista, sair da lista e usar a lista em > http://www.mat.puc-rio.br/~obmlistas/obm-l.html > ========================================================================= ========================================================================= Instruções para entrar na lista, sair da lista e usar a lista em http://www.mat.puc-rio.br/~obmlistas/obm-l.html =========================================================================
