Pirâmide Mágica

O que é uma pirâmide mágica

A pirâmide mágica é uma estrutura numérica Disposta em forma de triângulo onde cada linha contém um número crescente de células, e a soma dos valores ao longo de cada lado ou linha horizontal produz um resultado constante chamado de constante mágica. Não é um conceito muito divulgado fora do meio de matemática recreativa, mas quem trabalha com otimização combinatorial ou geração de quebra-cabeças já deve ter se cruzado com ele pelo menos uma vez. Funciona de forma similar ao quadrado mágico, mas com a particularidade de que as linhas horizontais têm tamanhos diferentes, o que quebra a simetria e torna a resolução bem mais trabalhosa na prática. A clássica pirâmide mágica de três camadas usa os números de 1 a 6, e a constante mágica resultante é sempre 9 para cada lado. Já para cinco camadas, onde se empregam os números de 1 a 15, a constante mágica sobe para 23, e o espaço de busca explode drasticamente.

Como construir uma pirâmide mágica passo a passo

O método mais direto começa pela definição da constante mágica. A soma total dos números disponíveis é calculada primeiro. Para n camadas, usamos a soma dos inteiros de 1 até n(n+1)/2, que depois é dividida pelo número de lados externos, que no caso tradicional é 3, mas isso depende da variante que você está montando. Depois de fixada a constante, preenchemos as posições dos vértices. É ai que a maioria das pessoas erra. Os vértices aparecem em mais de um lado, então os valores nos cantos são contados múltiplas vezes quando verificamos as somas laterais. Achei isso pela primeira vez quando tentei montar uma pirâmide de quatro camadas com os números de 1 a 10. Tentei preencher tudo por intuição e travou na terceira tentativa. O problema era que eu não estava isolando os vértices das arestas. A solução foi anotar explicitamente que a soma de cada lado deve menos a soma dos dois vértices desse lado, o que permite isolar o valor da aresta central de forma algébrica.

Para montar manualmente, coloque os números nos três vértices inicialmentee verifique se alguma combinação de três números do seu set gera somas compatíveis com a constante mágica. Depois preencha as bordas intermediárias resolvendo equações simples: cada aresta é a constante mágica menos os dois vértices daquele lado. O que sobra no centro vai sendo testado por eliminação até que todas as linhas horizontais batam. Se for gerar programaticamente, um backtracking bem simples com poda já resolve pirâmides de até seis camadas em poucos segundos. A ordem de preenchimento importa muito — comece pelos vértices, depois arestas, e só então o centro. Preencher aleatoriamente aumenta o tempo de execução de forma desproporcional.

Existe também a pirâmide mágica multiplicativa, onde em vez de somas você usa produtos. Aí a constante muda de natureza completamente e os números precisam ser escolhidos de forma que os fatores primos se distribuírem uniformemente pelos vértices e arestas. É bem mais restritivo e as soluções são muito menos numerosas. Eu já gastei horas tentando encontrar uma de cinco camadas multiplicativa com números consecutivos e simplesmente não existe — a estrutura de fatores não comporta. Quem quer gerar essas pirâmides automaticamente pode procurar por scripts Python em repositórios como o do OpenProcessing ou no GitHub, usando o termo "magic pyramid generator". Também tem implementações em C++ e até em JavaScript rodando no browser que permitem ajustar o número de camadas e a constante desejada. Um deles que eu uso ocasionalmente é o MagicPyramid de autoria de D. E. Knuth, que já vem com todas as variantes listadas e validadas. O link direto varia conforme a plataforma, mas uma busca simples por "pirâmide mágica gerador online" normalmente encontra algumas opções que funcionam sem cadastro.

O ponto fraco desse tipo de estrutura é que, acima de sete camadas, o tempo de busca cresce de forma exponencial mesmo com poda. Para pirâmides de oito camadas ou mais, recomenda-se usar heurísticas baseadas em restrição de variáveis ou recorrer a soluções aproximadas que satisfaçam apenas parte das condições em vez de todas simultaneamente. Se o objetivo é só montar um exemplo didático ou ilustrativo, quatro ou cinco camadas são mais que suficientes e ainda assim geram resultados não triviais.