O alcance de um bloco é o conjunto de células que esse bloco ainda pode ocupar legalmente sob as restrições atuais da linha. Se uma célula fica fora do alcance de todos os blocos ainda não resolvidos, ela não pode ser preenchida e, portanto, é confirmadamente vazia.
É o complemento vazio da sobreposição: a sobreposição pergunta onde um bloco precisa estar; o alcance pergunta onde ele pode estar.
Exemplo: uma pista ancorada por uma célula preenchida
Considere uma linha de 10 células com uma única pista 4 e a célula 5 confirmada como preenchida.
Como existe apenas um bloco, ele precisa incluir a célula 5.
Um bloco de quatro células que contém a posição 5 pode começar em 2, 3, 4 ou 5. Considerando todas essas colocações, ele consegue alcançar as células 2–8.
Isso significa que 1, 9 e 10 ficam fora do alcance. Como não há outro bloco na linha, essas células são forçadamente vazias.
A célula 5 está preenchida porque isso já era conhecido; as células dentro de 2–8 não ficam todas preenchidas. A maioria delas é apenas uma possibilidade para o bloco.
Alcance é união; sobreposição é interseção
Vale a pena memorizar esta diferença:
- alcance / união = toda célula ocupada pelo bloco em pelo menos uma colocação legal;
- sobreposição / interseção = células ocupadas pelo mesmo bloco em todas as colocações legais.
Células na sobreposição são preenchidas forçadas.
Células fora do alcance de todos os blocos são vazias forçadas.
Células dentro do alcance, mas fora da sobreposição, continuam não resolvidas até que outra dedução as determine.
Por que âncoras preenchidas reduzem o alcance
No início de uma linha com uma única pista e sem restrições, um bloco pode conseguir alcançar quase todas as células.
Quando uma célula preenchida é identificada como parte daquele bloco, toda colocação legal precisa cobrir essa âncora. Isso pode reduzir fortemente o intervalo e tornar células distantes impossíveis.
Marcas X confirmadas podem reduzir ainda mais o alcance ao eliminar colocações que passariam por elas.
Linhas com várias pistas exigem considerar todos os blocos
Uma célula fora do alcance de um bloco não é necessariamente vazia. Outro bloco ainda pode ocupá-la.
Para marcar uma célula como vazia com segurança, você precisa saber que nenhuma atribuição válida de qualquer bloco não resolvido consegue cobri-la.
É aqui que ordem das pistas, atribuição a segmentos, blocos concluídos e limites de colocação se tornam importantes.
Terminologia histórica “Simple Spaces”
Explicações antigas de nonogramas frequentemente chamam deduções de vazio forçado baseadas no intervalo dos blocos de Simple Spaces.
A VeyraPlay usa alcance de blocos e células inalcançáveis porque o nome torna a prova explícita:
- determine onde os blocos podem chegar;
- elimine as células que nenhum deles pode alcançar.
O termo histórico continua útil como alias para leitores que o encontrarem em outras fontes.
Células inalcançáveis podem dividir uma linha
Depois que uma célula inalcançável é marcada com X, ela pode separar uma grande região aberta em segmentos menores.
Esse novo separador pode então:
- tornar um intervalo pequeno demais para uma pista restante;
- isolar um fragmento preenchido;
- forçar uma pista a um segmento específico;
- criar um encaixe exato;
- fortalecer uma sobreposição.
Por isso, uma dedução de alcance frequentemente dispara uma cascata de técnicas mais simples.
Análise de alcance passo a passo
Para um bloco identificado:
- determine todas as colocações legais que respeitam preenchimentos e marcas X atuais;
- obtenha a união das células ocupadas por essas colocações;
- chame essa união de alcance atual do bloco;
- repita para outros blocos não resolvidos que possam ocupar a região;
- marque uma célula como vazia apenas quando ela ficar fora do alcance de todos os blocos relevantes;
- reavalie a linha depois de adicionar as novas marcas X.
Em exemplos simples, isso pode ser feito visualmente. Solvers avançados podem representar cada bloco por limites explícitos de posição mais cedo/mais tarde ou enumerar padrões válidos completos da linha.
O alcance muda depois de cada dedução
O alcance não é determinado apenas pela pista original.
Um novo X pode remover várias colocações. Uma nova célula preenchida pode ancorar um bloco. Uma pista concluída pode sair do conjunto ainda não resolvido. Uma dedução na linha cruzada pode alterar a qual segmento um bloco precisa pertencer.
Sempre que uma linha ganhar informação relevante, reconsidere os intervalos de seus blocos.
Erros comuns
Preencher todas as células dentro do alcance
Alcance significa possível, não certo. Apenas sobreposição ou outra prova produz preenchimentos forçados.
Marcar uma célula vazia porque um bloco não consegue alcançá-la
Verifique se algum outro bloco ainda não resolvido poderia ocupá-la legalmente.
Ignorar a ordem das pistas
Em linhas com várias pistas, blocos anteriores e posteriores não podem trocar de posição. Seus limites ordenados afetam o alcance.
Tratar um fragmento preenchido como pertencente a uma pista sem prova
Se a identidade do bloco é ambígua, o alcance calculado pode estar associado à pista errada.
O que aprender depois
Alcance de blocos cria muitas das marcas X usadas pela eliminação de intervalos. Com mais células vazias confirmadas, você pode dividir a linha em segmentos e descobrir quais blocos conseguem caber em cada região.
FAQ
Toda célula fora do alcance de um bloco é vazia?
Somente numa linha com uma única pista ou quando você já sabe que nenhum outro bloco não resolvido pode ocupá-la. Em linhas com várias pistas, considere todos os blocos relevantes.
Alcance é igual ao intervalo entre a posição mais cedo e a mais tarde?
Muitas vezes esse intervalo é uma boa representação, mas separadores existentes e restrições complexas podem tornar as colocações legais mais estruturadas. A definição central é a união de todas as células legais daquele bloco.
O que é “Simple Spaces”?
É um nome histórico/de comunidade para raciocínios relacionados de vazio forçado. A explicação canônica da VeyraPlay usa alcance de blocos e células inalcançáveis.