sicnot

Perfil

Mundo

Resolvido problema matemático com 35 anos, mas leitura levará 10 mil milhões de anos

Um trio de informáticos britânicos e norte-americano apresentaram hoje a solução para um problema matemático com 35 anos, mas a sua verificação pode ser um outro problema, porque a sua leitura levará 10 mil milhões de anos.

Conhecido como "Atividade dos Triplos de Pitágoras", o problema era um enigma longo e sem solução, que levou o matemático Roland Graham a oferecer há 30 anos dinheiro a quem o resolvesse.

Os autodeclarados vencedores -- Marijn Heule, Oliver Kullmann e Victor Marek, das universidades do Texas, Swansea e Kentucky -- revelaram a resolução do problema durante a conferência internacional SAT 2016, que decorre em Bordéus, França.

Os informáticos desvendaram o enigma utilizando o programa "Cube-and-Conquer", o método do teste de satisfação e fiabilidade híbrido (SAD) para problemas difíceis.

Mas os colegas, disseram os informáticos, precisam de ver a prova.

"Devido ao interesse geral naquele problema matemático, o nosso resultado exige uma prova formal", afirmaram os informáticos.

O resultado, em símbolos, é o equivalente a "todos os textos digitalizados da biblioteca do Congresso dos Estados Unidos", cerca de 200 'terabytes' de dados, segundo o boletim do Centro de Pesquisa Científica francês.

O problema em si é (quase) incompreensível e questiona se é possível colorir números inteiros positivos (como 1,2,3,4,5...) a vermelho ou azul numa sequência de números que satisfaça o famoso Teorema de Pitágoras (a2+b2=c2).

Ou seja, se 'a' e 'b' forem vermelho, então o 'c' tem de ser azul, mas os três não podem ser todos vermelhos ou azuis.

A prova mostra que o esquema de coloração é, de facto, possível, mas só até ao número 7.824.

A análise aos números levou dois dias e foi feita pelo supercomputador Stampede do Centro de Informática Avançada do Texas.

Lusa

  • A casa dos horrores
    7:57
  • PGR e presidente do Supremo deixam recado à ministra da Justiça
    2:45

    País

    Durante a abertura do ano judicial, a Procuradora-Geral da República e o presidente do Supremo Tribunal aproveitaram para deixar um recado à ministra da Justiça: é urgente aprovar o novo estatuto de juízes e magistrados. O presidente do Supremo diz que é injusta a má imagem da Justiça e pediu contenção aos magistrados.

  • Rui Rio tem sentido "alguma turbulência" no PSD
    2:01

    País

    Rui Rio e Pedro Passos Coelho tiveram esta quinta-feira a primeira reunião, desde que foi eleito o novo líder do PSD. À saída, Passos Coelho desejou que esta transição decorra com naturalidade. Já Rui Rio disse que tem sentido alguma turbulência no partido.

  • Sindicatos rejeitam fim das baixas médicas até três dias
    2:02

    País

    A CGTP quer levar o tema das baixas médicas à Concertação Social, já a UGT diz que há outras matérias prioritárias. Ainda assim as duas centrais sindicais lembram que a não justificação de faltas pode dar origem a um despedimento por justa causa. Esta quinta-feira o bastonário da Ordem dos Médicos propôs ao Governo que acabe com as baixas de curta duração, até três dias.

  • Papa interrompe percurso no Chile para ajudar polícia
    0:21
  • "Mundo à Vista" no Gana
    7:38