A computação beneficia de uns ajudantes que, embora tenham um nome místico, são na verdade bem mais úteis à ciência que os oráculos divinos: uma grande ajuda para resolver problemas matemáticos.
A ciência é inimiga da magia, costuma dizer-se, mas o jogo muda quando até os cientistas recorrem a uma vidente.
Na computação, no entanto, em vez de uma bola de cristal, os cientistas informáticos criaram dispositivos fictícios que respondem de forma rápida e correta a perguntas.
Estes tornaram-se uma ferramenta poderosa na teoria da complexidade computacional, conta a Quanta Magazine. Tal como os instrumentos que leem a fortuna das pessoas, estes dispositivos também têm o nome de oráculos.
Os teóricos da complexidade tentam perceber se estas diferenças aparentes de dificuldade são fundamentais.No fundo, têm como objetivo classificar problemas computacionais de acordo com sua dificuldade inerente. E é aqui que os oráculos entram — e são uma grande ajuda.
Os informáticos e matemáticos criam então “classes de complexidade”. Há a classe dos problemas fáceis de resolver, a que os investigadores chamam “P“, e a classe dos problemas fáceis de verificar, a “NP“.
Os teóricos da complexidade suspeitam que NP não é igual a P, mas não o conseguem provar e andarem há 50 anos a tentar perceber a relação entre as duas classes.
Os oráculos, programados para responder a uma só pergunta, ajudaram-nos a compreender melhor aquilo com que estão a trabalhar. No fundo, um oráculo é uma máquina abstrata utilizada para estudar problemas de decisão.
Por exemplo, é possível perguntar a este instrumento “este número é primo?”, e a resposta será sempre precisa e correta.
Num mundo em que cada computador tivesse uma linha direta para um destes oráculos, resume a Quanta, todos os problemas fáceis de verificar seriam também fáceis de resolver e P seria igual a NP.
Para além de todas estas características, os investigadores têm ainda estudado o desempenho dos computadores quânticos através de problemas que envolvem oráculos.
O que diz o futuro? Os oráculos da ciência ainda não predizem, mas as suas certezas podem ajudar a moldá-lo para sempre.
