A sobreposição com várias pistas estende o método normal de sobreposição para linhas que contêm vários blocos ordenados. A regra central é mais rigorosa do que simplesmente colocar duas versões compactadas da linha uma sobre a outra:
Uma célula só é forçada por sobreposição quando o mesmo bloco de pista a cobre em todas as colocações que estão sendo comparadas.
É essa preservação de identidade que mantém a dedução segura.
Exemplo: pistas 4 e 3 em dez células
Considere uma linha de 10 células com pistas 4 3.
Compacte as pistas o mais cedo possível:
■■■■ × ■■■ ??
Agora compacte o mais tarde possível:
?? ■■■■ × ■■■
Acompanhe cada pista separadamente.
O primeiro bloco tem comprimento 4:
- mais cedo: células 1–4;
- mais tarde: células 3–6;
- sobreposição forçada: células 3–4.
O segundo bloco tem comprimento 3:
- mais cedo: células 6–8;
- mais tarde: células 8–10;
- sobreposição forçada: célula 8.
Logo, os preenchimentos seguros são 3, 4 e 8.
O atalho perigoso: interseção visual sem identidade
Agora considere uma linha de 7 células com pistas 2 2.
O arranjo mais cedo é:
■■ × ■■ ??
O mais tarde é:
?? ■■ × ■■
A célula 4 parece preenchida nos dois desenhos. É tentador marcá-la.
Mas, no primeiro arranjo, a célula 4 pertence ao segundo bloco. No segundo arranjo, pertence ao primeiro.
Existem arranjos válidos em que a célula 4 é vazia. Portanto, ela não é forçada.
Essa é uma das regras de precisão mais importantes na resolução avançada de linhas: não faça a interseção de células preenchidas anônimas; faça a interseção dos blocos correspondentes.
Por que a ordem das pistas permite acompanhar a identidade
As pistas de um nonograma são ordenadas. Se uma linha mostra 4 3, o bloco de quatro células precisa aparecer antes do bloco de três.
Podemos pensar neles como:
- bloco A = pista
4; - bloco B = pista
3.
Ao procurar as posições mais cedo e mais tarde, A continua sendo A e B continua sendo B. Seus intervalos podem se aproximar, mas um bloco não pode silenciosamente virar o outro.
Um exemplo maior
Pegue uma linha de 15 células com pistas 5 2 4.
A extensão mínima é:
5 + 1 + 2 + 1 + 4 = 13
Sobram apenas duas células de folga.
Quando a sequência é compactada nos dois extremos, o primeiro e o terceiro blocos mantêm células de sobreposição forçada, enquanto o bloco do meio pode conservar liberdade suficiente para não produzir nenhuma.
Isso é típico em linhas com várias pistas: blocos diferentes na mesma linha podem ter graus diferentes de certeza.
Marque apenas as células comprovadas para cada bloco e deixe o restante desconhecido.
Como a extensão mínima ajuda
A sobreposição com várias pistas é especialmente produtiva quando a linha tem pouca folga.
Uma sequência cuja extensão mínima está próxima do comprimento total tem pouco espaço para redistribuir blocos e separadores. Isso estreita o intervalo entre a posição mais cedo e a mais tarde de cada bloco.
Método passo a passo
Para uma linha com várias pistas:
- preserve a ordem das pistas;
- construa a colocação legal mais cedo de toda a sequência;
- construa a colocação legal mais tarde;
- identifique a qual bloco pertence cada célula nos dois arranjos;
- interseccione bloco 1 apenas com bloco 1, bloco 2 apenas com bloco 2 e assim por diante;
- preencha as células compartilhadas pelo mesmo bloco correspondente;
- propague esses preenchimentos para as linhas cruzadas;
- recalcule quando novas restrições chegarem.
Em uma linha já bastante restrita, as colocações “mais cedo” e “mais tarde” precisam respeitar células preenchidas e vazias existentes, não apenas os limites brutos da linha.
Células conhecidas alteram o intervalo de cada bloco
Um X confirmado pode obrigar um bloco a começar mais tarde. Uma célula preenchida pode exigir que outro bloco cubra determinada região. Um bloco concluído pode retirar uma pista inteira do problema ainda não resolvido.
À medida que essas restrições se acumulam, a sobreposição com várias pistas costuma ficar mais forte do que era no início.
Erros comuns
Perder a identidade dos blocos
Esse é o erro central. Uma célula coberta pelo bloco A num extremo e pelo bloco B no outro não é automaticamente preenchida.
Compactar as pistas ilegalmente
Lembre do intervalo vazio obrigatório entre blocos monocromáticos consecutivos. Arranjos extremos que unem dois blocos são inválidos.
Assumir que toda linha com pouca folga tem sobreposição em todas as pistas
Alguns blocos podem ter sobreposição forte, enquanto outros ainda possuem liberdade suficiente para não forçar nenhuma célula.
Ignorar estados já conhecidos
Depois que a resolução começou, as posições extremas reais devem satisfazer todas as células preenchidas e vazias atuais. Diagramas iniciais simplesmente compactados à esquerda/direita podem deixar de ser legais.
O que aprender depois
A sobreposição com várias pistas fica muito mais fácil quando você calcula rapidamente extensão mínima e folga. Depois disso, limites de colocação baseados na ordem dos blocos oferecem uma forma ainda mais explícita de raciocinar sobre onde cada pista pode começar e terminar.
FAQ
Dois blocos diferentes podem cobrir a mesma célula visual nos diagramas extremos?
Sim. Essa coincidência visual não é suficiente para provar preenchimento. O mesmo bloco de pista precisa forçar a célula.
Preciso listar todos os arranjos válidos?
Normalmente não. Posições mais cedo e mais tarde corretamente calculadas costumam ser suficientes para encontrar sobreposição segura, embora a análise avançada de padrões válidos possa encontrar deduções que os extremos não revelam.
Sobreposição com várias pistas é uma técnica avançada?
A ideia fundamental continua sendo sobreposição, mas acompanhar identidade dos blocos e restrições atuais exige mais cuidado do que no caso de uma única pista.