A sobreposição encontra células que um bloco de pista ocupa em todas as suas colocações legais, mesmo quando ainda não sabemos exatamente onde o bloco começa e termina.
A forma mais simples de enxergar isso é comparar a posição legal mais cedo com a mais tarde. As células cobertas pelo mesmo bloco nos dois extremos não podem escapar do bloco e, portanto, são preenchimentos forçados.
Um exemplo simples de sobreposição
Considere uma linha de 10 células com uma única pista 7.
A colocação mais à esquerda ocupa as células 1–7. A mais à direita ocupa 4–10.
As células 4–7 pertencem ao bloco nas duas posições extremas. Elas estão, portanto, preenchidas em qualquer colocação legal do bloco.
As células 1–3 e 8–10 continuam desconhecidas: algumas colocações as preenchem e outras não.
Por que comparar os extremos é suficiente
Para um único bloco que se move por um intervalo contínuo de posições legais, toda colocação intermediária fica entre o início mais cedo e o mais tarde.
Se uma célula pertence ao bloco em ambos os extremos, qualquer deslocamento intermediário também a cobre. É por isso que a interseção das posições extremas identifica preenchimentos seguros.
Quando a linha já possui X ou preenchimentos confirmados, “mais cedo” e “mais tarde” significam as posições extremas que ainda respeitam todas as restrições atuais, não simplesmente encostar o bloco nas bordas da grade.
A sobreposição fica mais forte quando o espaço disponível diminui
Considere uma pista 5 em uma linha de 10 células, mas suponha que as células 1 e 10 já estejam vazias. O bloco precisa caber dentro das células 2–9, um segmento de oito posições.
Sua colocação legal mais cedo é 2–6. A mais tarde é 5–9. Assim, as células 5–6 são preenchidas forçadas.
A pista não mudou. A nova informação vazia reduziu o intervalo de colocação e criou sobreposição.
Processo passo a passo
Para um bloco que você consegue identificar:
- encontre sua colocação legal mais cedo sob as restrições atuais da linha;
- encontre sua colocação legal mais tarde;
- compare as células ocupadas por esse mesmo bloco nas duas posições;
- preencha as células compartilhadas;
- deixe as células que diferem entre os extremos como desconhecidas, salvo se outra dedução as resolver;
- reavalie as linhas cruzadas depois de cada novo preenchimento.
A condição “mesmo bloco” se torna essencial quando a linha possui várias pistas.
Sobreposição não significa “preencher tudo entre duas células conhecidas”
A técnica trata de colocações legais, não de proximidade visual.
Duas células preenchidas conhecidas podem:
- pertencer ao mesmo bloco;
- pertencer a blocos diferentes;
- ainda ter identidade ambígua.
Antes de estendê-las ou uni-las, respeite a sequência e o tamanho das pistas.
Como encontrar sobreposição rapidamente
Procure primeiro:
- pistas grandes em relação ao comprimento disponível;
- linhas com pouca folga;
- blocos restringidos por uma borda;
- blocos presos entre células vazias confirmadas;
- linhas onde deduções anteriores reduziram o intervalo legal do bloco.
Sobreposição não é apenas técnica de abertura. Ela pode reaparecer muitas vezes conforme a linha se torna mais restrita.
Erros comuns
Comparar colocações arbitrárias
Use posições extremas que sejam legais com os estados atuais. Uma colocação que atravessa uma célula vazia ou deixa de incluir um preenchimento obrigatório não serve como evidência.
Sobrepor blocos de pistas diferentes
Em linhas com várias pistas, uma mesma célula pode aparecer preenchida num arranjo compactado à esquerda e em outro compactado à direita, mas pertencer a blocos diferentes. Isso não prova que ela esteja preenchida. G-025 trata esse caso explicitamente.
Preencher todo o alcance do bloco
O alcance é a união das células que o bloco pode ocupar. A sobreposição é a interseção das células que ele deve ocupar. São ideias diferentes e não devem ser confundidas.
Parar depois de uma única análise
Cada novo X ou preenchimento pode estreitar as posições extremas. Recalcule a sobreposição quando a linha mudar.
Sobreposição e extensão mínima
A extensão mínima mostra quão apertada está toda a sequência de pistas. A folga mede a liberdade de colocação restante.
Linhas com pouca folga são excelentes candidatas à sobreposição porque seus blocos não conseguem se deslocar muito.
O que aprender depois
Quando a sobreposição com um único bloco estiver clara, avance para sobreposição com várias pistas. A ideia é parecida, mas cada bloco precisa ser acompanhado separadamente para evitar confundir uma coincidência visual entre blocos diferentes com uma célula realmente forçada.
FAQ
Sobreposição serve apenas para linhas com uma pista?
Não. Ela também funciona com várias pistas, mas cada bloco precisa ser comparado com sua própria posição mais cedo e mais tarde.
Sobreposição é o mesmo que escolher a posição mais provável?
Não. Ela marca apenas células ocupadas em todas as posições legais relevantes do mesmo bloco. Não escolhe uma possibilidade por parecer mais provável.
O que é “Simple Boxes”?
É um nome histórico/de comunidade frequentemente usado para deduções de preenchimento forçado por sobreposição. A VeyraPlay usa sobreposição como termo descritivo canônico.