Homem Aranha ajuda a resolver o cubo de Rubik

Todos conhecem o cubo de Rubik. Algumas pessoas mostram habilidade em resolvê-lo em menos de um minuto. Na verdade, um minuto é bastante tempo. São conhecidas mais de 36000 situações que podem ser resolvidas com vinte movimentos e nenhuma com 21 movimentos. A pergunta que falta ser respondida é: “Quantos movimentos são realmente necessários para resolver qualquer configuração”? Até o ano passado, já havia sido provado que todas as configurações podem ser resolvidas com menos de 27 movimentos. O matemático Tomas Rokicki recentemente publicou no arXiv.org o artigo “Twenty-Five Moves Suffice for Rubik’s Cube”, mostrando que nenhuma configuração precisa de 26 movimentos, baixando o limite para 25 movimentos. Ele precisou de 1500 horas de CPU em um Quad-core Q6600, com 8Gb de RAM para testar várias combinações. Só usando argumentos de simetria, ele já havia baixado o número de configurações a serem testadas para 2 bilhões de combinações (cada combinação representa cerca de 20 bilhões de configurações que são resolvidas com os mesmos conjuntos de movimentos).

O que é novo agora (o artigo é de março) é que usando o cluster da Sony Pictures Imageworks, que tinha sido usado para o Homem Aranha 3, ele conseguiu mostrar que bastam 23 movimentos. O tempo de CPU foi 7,8 anos/core!! Ele continua a busca pelo limite inferior (acredita-se que sejam vinte movimentos).