O negócio FreeCell que ninguém poderia resolver

O projeto FreeCell da Internet

O FreeCell da Microsoft fez algo incomum para um jogo empacotado: ele numerou suas ofertas. Digite um número entre 1 e 32,000 e você tem um layout específico, reprodutível. Essa decisão de design único transformou um jogo de cartas em um objeto compartilhado. Duas pessoas em lados opostos do mundo poderiam discutir sobre a mesma mão.

Em 1994, Dave Ring começou o que ficou conhecido como o Projeto FreeCell da Internet: um esforço distribuído e voluntário para determinar se cada um desses 32.000 negócios poderia realmente ser ganho. Os participantes reivindicaram blocos de cem ofertas sobre e-mails e grupos de notícias, jogou-os à mão, e relatou de volta. Não havia financiamento, nenhuma instituição e nenhum software fazendo o trabalho — apenas várias centenas de pessoas, jogando cartas, mantendo registros.

Dentro de cerca de um ano o mapa estava quase completo. Cada bloco voltou resolvido, exceto por um acordo, em um bloco, que ninguém poderia terminar.

O que há de errado com 11982

Falha humana não é prova. O que se resolveu foi pesquisa exaustiva: com apenas quatro células livres, oito colunas e 52 cartas, o espaço de estado alcançável de um negócio FreeCell é grande, mas finito, e um computador pode andar tudo isso. Quando isso foi feito para 11982, a resposta voltou limpa. Não há nenhuma linha vencedora. Não é uma difícil, não uma longa — nenhuma.

A razão, em termos simples, é uma falta de folga. FreeCell dá- lhe quatro células livres e quaisquer colunas vazias que você possa fabricar, e quase todos os negócios contêm armazenamento de curto prazo suficiente para desembaraçar os seus próprios nós. O negócio 11982 é organizado de modo que as cartas que você deve mudar para fazer o progresso superam sempre os espaços disponíveis para segurá-los, em cada ponto do jogo. Cada linha promissora fica sem estacionamento.

Por que FreeCell é quase sempre winnable

O zero nessa última linha é a história completa. O FreeCell dá todas as cartas viradas para cima. Não existe informação oculta, o que significa que não há sorte no sentido normal — o negócio é corrigido, você pode ver tudo, e a única variável é se você encontra a linha.

Adicione quatro células livres e a capacidade de mover sequências como unidades, e o jogo torna-se extraordinariamente perdoador de emaranhados. A fórmula supermove faz este concreto: o número de cartas que você pode mudar de uma vez é (1 + células livres) × 2^{colunas vazias}. Uma coluna vazia dobra seu alcance. Dois quádruplos. Essa exponencial é a razão pela qual quase todos os nós FreeCell podem, com bastante cuidado, ser desamarrados.

O que veio depois

O trabalho posterior estendeu a numeração muito além de 32.000 e lançou solucionadores em milhões de negócios. A imagem realizada: existem layouts insolúvel FreeCell, mas eles são muito raros – bem abaixo de um em mil para o padrão de quatro células FreeCell. O negócio 11982 não foi um acaso da pesquisa; foi um objeto genuinamente incomum que aconteceu para pousar dentro da única gama de negócios que o mundo inteiro estava olhando.

O projeto em si vale a pena lembrar separadamente do seu resultado. É um dos primeiros exemplos do padrão que agora executa uma enorme quantidade da internet: dividir um grande problema em pequenas unidades, entregá-los a estranhos que estão interessados por suas próprias razões, agregar o que volta. Ninguém foi pago. A infraestrutura era uma lista de discussão.

A lição útil para o seu próprio jogo

Sabendo que essencialmente cada negócio é winnable mudanças como você deve tratar uma perda. Em Klondike, perder é geralmente culpa do negócio. Em FreeCell, é quase sempre seu - e isso é uma boa notícia, porque significa que as perdas são informações.

Três hábitos seguem diretamente dele:

Nunca encha as quatro celas sem um plano para esvaziá-las. Um conjunto completo de células não é armazenamento, é paralisia. Cada cartão que você estacionar deve ter um destino nomeado.

Valorize uma coluna vazia acima de quase tudo. O expoente na fórmula supermove fica em colunas vazias, não em células livres. Esvaziar uma coluna normalmente vale vários movimentos de configuração.

Usar desfazer como uma ferramenta de pesquisa. Visto que o acordo é solucionável, fazer backup e tentar um ramo diferente não é trapaça — é a mesma coisa que os voluntários faziam à mão em 1994, e é assim que você aprende a ver a linha da primeira vez.

Fontes e âmbito de aplicação

Michael Keller participou no projeto original de resolução de acordos. Perguntas frequentes sobre FreeCell A exceção é #11982 dentro dessa coleção; coleções maiores contêm negócios adicionais insolvíveis. Os números de negociação da Microsoft exigem o algoritmo de negociação da Microsoft e não devem ser assumidos para corresponder às sementes de outro jogo.

Fonte verificada 8 de setembro de 2026. guia para resolver probabilidades e taxas de vitória do jogador e normas editoriais.