Um padrão válido de linha é um arranjo completo de células preenchidas e vazias para uma linha ou coluna que satisfaz suas pistas e todos os estados de célula já confirmados.
Quando técnicas mais simples deixam de produzir deduções, raciocinar sobre os padrões sobreviventes oferece uma forma completa de perguntar o que aquela linha ainda permite.
Exemplo: reduzir uma linha 2 2 a dois padrões
Considere uma linha de sete células com pistas 2 2. Suponha que a célula 3 esteja preenchida e a célula 5 vazia:
??■?×??
Apenas dois padrões completos satisfazem todas essas restrições:
.##..##
..##.##
Compare os dois padrões célula por célula:
- a célula 3 está preenchida nos dois;
- as células 6 e 7 estão preenchidas nos dois;
- as células 1 e 5 estão vazias nos dois;
- as células 2 e 4 diferem.
Portanto, 3, 6 e 7 são preenchidas forçadas; 1 e 5 são vazias forçadas; 2 e 4 continuam desconhecidas.
Células forçadas são concordância entre todos os padrões válidos
Isso fornece uma definição precisa:
uma célula é forçada quando todo padrão válido da linha lhe dá o mesmo estado.
Se todos os padrões a preenchem, marque-a preenchida.
Se todos a deixam vazia, marque X.
Se ao menos um padrão a preenche e outro a deixa vazia, a linha sozinha ainda não decide aquela célula.
Como construir padrões válidos manualmente
Em uma linha grande, você raramente precisa escrever todos os padrões. Mas o processo mental é útil:
- coloque os blocos na ordem exigida;
- mantenha pelo menos uma célula vazia entre blocos monocromáticos consecutivos;
- rejeite colocações que atravessem marcas X confirmadas;
- rejeite colocações que não cubram células preenchidas confirmadas;
- rejeite arranjos que deixem algum fragmento preenchido sem ser coberto por uma pista;
- compare o que sobreviver.
Esse é o modelo geral por trás de encaixe exato, sobreposição, alcance, atribuição a segmentos e limites de colocação.
Técnicas simples são atalhos sobre o mesmo espaço de possibilidades
Muitas deduções familiares podem ser vistas como formas eficientes de evitar a enumeração explícita:
- encaixe exato → existe apenas um padrão válido;
- sobreposição → um bloco cobre as mesmas células em todas as suas colocações legais;
- células inalcançáveis → nenhum padrão válido preenche essas células;
- limites de colocação → representação compacta de onde cada bloco ordenado pode aparecer.
O raciocínio por padrões unifica essas ideias sem substituir as técnicas mais rápidas.
Por que padrões válidos importam em linhas difíceis
Colocações extremas esquerda/direita podem perder algumas deduções em linhas parcialmente resolvidas e complexas. Uma análise completa considera todo arranjo compatível com o estado atual, não apenas dois extremos.
Solvers de computador costumam usar algoritmos especializados para obter a mesma informação sem armazenar literalmente todos os padrões, porque o número de combinações pode crescer rapidamente.
Exemplo trabalhado: quatro padrões sobrevivem e ainda forçam seis estados
Considere uma linha de 10 células com pistas 3 2, com a célula 2 preenchida, a célula 5 vazia e a célula 9 preenchida:
?■??×???■?
Apenas quatro padrões completos sobrevivem:
###....##.
###.....##
.###...##.
.###....##
Ao compará-los:
- as células 2, 3 e 9 estão preenchidas nos quatro;
- as células 5, 6 e 7 estão vazias nos quatro;
- as células 1, 4, 8 e 10 continuam variáveis.
Isso mostra que uma linha não precisa estar próxima de um único arranjo final para a comparação de padrões ser útil. Várias possibilidades podem sobreviver e ainda concordar em muitas células.
Famílias de padrões podem ser mais úteis que padrões individuais
Em uma linha longa, enumerar cada arranjo pode ser impraticável. Muitas vezes é melhor agrupar padrões por uma escolha significativa:
- qual segmento recebe uma pista;
- se dois fragmentos se unem ou se separam;
- se um bloco começa antes ou depois de um limite separado por X;
- qual de duas identidades de pista cobre um fragmento preenchido.
Depois compare as consequências compartilhadas pela família inteira.
Se toda possibilidade de toda família sobrevivente preenche uma célula, essa célula é forçada. Você não precisa escrever milhares de arranjos um a um.
Essa visão por famílias é a ponte entre raciocínio completo de uma linha e análise de casos em várias linhas.
Zero padrões é um estado diagnóstico
A análise de padrões não serve apenas para encontrar células forçadas. Ela pode provar que o estado atual da linha é impossível.
Se a filtragem deixa zero padrões válidos, então ao menos uma marca confirmada que alimenta essa linha está errada ou — dentro de um ramo temporário — a suposição testada criou uma contradição.
A distinção importa:
- zero padrões no tabuleiro real → rastreie e corrija uma marca anterior sem suporte;
- zero padrões em um ramo provisório → o ramo é impossível e pode ser rejeitado.
A contagem de padrões pode diminuir de repente
Uma dedução de linha cruzada pode transformar uma célula desconhecida em X. Essa única marca pode invalidar muitos padrões de uma vez.
Depois da filtragem, células que antes variavam podem passar a ter o mesmo estado em todos os padrões sobreviventes, criando novas células forçadas. Esses estados então afetam as linhas perpendiculares.
Essa é a ponte entre análise de padrões e propagação de restrições.
Raciocínio por padrões passo a passo
- escolha uma linha não resolvida;
- gere ou teste mentalmente todas as colocações que respeitam as pistas e as células conhecidas;
- descarte qualquer padrão que viole sequer um estado confirmado;
- compare os padrões sobreviventes célula por célula;
- marque as células que concordam em todos eles;
- mantenha sem resolver as células que diferem;
- propague os novos estados pela grade.
Erros comuns
Manter padrões que satisfazem as pistas, mas contradizem células conhecidas
Um padrão válido precisa satisfazer a sequência de pistas e o estado atual da linha.
Forçar uma célula porque “a maioria” dos padrões concorda
Nonogramas são quebra-cabeças de lógica determinística. Maioria não é prova. Todos os padrões válidos precisam concordar.
Tratar duas pistas de mesmo tamanho como intercambiáveis
Os padrões preservam ordem e identidade dos blocos.
Enumerar o quebra-cabeça inteiro em vez de uma linha
Esta Guide ainda trata de análise de linha. Raciocínio de casos na grade inteira pertence a técnicas multilinha, contradição e busca.
O que aprender depois
Quando padrões de linha estão claros, técnicas entre linhas ficam mais fáceis de formalizar: um novo estado filtra os padrões válidos da linha perpendicular, que pode forçar outra célula e assim por diante.
FAQ
Preciso listar todos os padrões no papel?
Normalmente não. O conceito é mais importante que a lista literal. Em segmentos curtos e difíceis, escrever algumas possibilidades pode ajudar.
Uma célula é forçada se 9 de 10 padrões a preenchem?
Não. Um único padrão válido sobrevivente com o estado oposto já é suficiente para mantê-la sem resolver.
Uma linha pode ficar sem nenhum padrão válido?
Sim, mas em um nonograma válido jogado corretamente isso significa que o estado marcado ou assumido no momento é inconsistente. Essa ideia se torna central no raciocínio por contradição.