A ancoragem na borda usa o limite físico no início ou no fim de uma linha ou coluna para reduzir onde um bloco identificado pode caber. Quando uma célula preenchida confirmada fica suficientemente perto de uma borda, o bloco que precisa conter essa célula pode ser forçado a se estender para dentro da linha.
A borda da grade atua como restrição: o bloco não pode ultrapassá-la.
Uma nota terminológica sobre “edge logic”
A expressão edge logic não é padronizada entre fontes de nonogramas. Alguns tutoriais usam o termo para este efeito de borda dentro de uma única linha. Outras comunidades avançadas usam edge logic ou boundary logic para raciocínios que partem de uma pista próxima da borda e analisam consequências em várias linhas perpendiculares.
Por isso, a VeyraPlay chama a técnica desta página de ancoragem na borda: um bloco identificado é restringido pelo início ou fim físico da própria linha. O sentido multilinha mais amplo é tratado separadamente em Raciocínio multilinha.
Exemplo: um bloco de cinco células perto da borda esquerda
Pegue uma linha de 10 células com uma única pista 5. Suponha que a célula 2 já esteja confirmada como preenchida.
Como existe apenas um bloco, essa célula precisa pertencer à pista de cinco.
Um bloco de comprimento 5 que contém a célula 2 só possui duas colocações legais:
- células 1–5;
- células 2–6.
As células 2–5 ficam preenchidas nos dois casos e, portanto, são forçadas.
A borda esquerda impede o bloco de se deslocar ainda mais para esse lado, criando uma grande região compartilhada.
O mesmo raciocínio funciona na borda direita
Agora considere uma linha de 10 células com pista 4 e a célula 9 confirmada como preenchida.
O bloco pode ocupar:
- células 6–9; ou
- células 7–10.
Logo, as células 7–9 são preenchidas forçadas.
Você não precisa de uma regra especial para a direita. Basta inverter mentalmente a linha e aplicar a mesma lógica de colocação.
Ancoragem na borda é uma sobreposição restringida
Do ponto de vista lógico, deduções de borda são próximas da sobreposição.
A diferença está no que cria o intervalo apertado:
- uma sobreposição comum pode vir de um bloco longo em uma linha curta;
- a ancoragem na borda se torna forte porque uma célula confirmada fixa o bloco perto de um limite rígido.
A prova segura continua sendo baseada nas colocações legais e nas células compartilhadas por todas elas.
A identidade do bloco importa em linhas com várias pistas
A técnica exige mais cuidado quando a linha possui várias pistas.
Uma célula preenchida perto da borda esquerda não pertence automaticamente à primeira pista. É preciso provar que blocos posteriores não conseguem alcançá-la legalmente ou estabelecer por outra restrição qual pista é dona daquele fragmento.
Da mesma forma, uma célula perto da borda direita não pertence automaticamente à última pista.
A ordem ajuda, mas a identidade precisa ser justificada pelo estado atual da linha.
Um padrão útil de reconhecimento
Faça três perguntas:
- A qual bloco de pista essa célula preenchida pode pertencer?
- Até onde esse bloco pode se estender em direção à borda mais próxima?
- Em todas as colocações legais que incluem essa célula, quais outras células ficam sempre cobertas?
Essas células sempre cobertas são preenchimentos seguros.
O que a ancoragem na borda não permite fazer
Uma célula confirmada não significa “preencha para dentro o número inteiro da pista”.
Por exemplo, se uma pista 5 tem a célula 4 preenchida em uma linha de 10, o bloco pode começar nas posições 1, 2, 3 ou 4. Os extremos ainda não estão determinados.
Preencha apenas as células comuns a todas as colocações legais.
A ancoragem na borda também pode criar vazios forçados
Se um único bloco identificado fica restringido perto da borda, algumas células distantes podem ficar fora de todo o seu alcance legal. Em uma linha com uma única pista, essas células podem ser marcadas como vazias porque nenhum outro bloco poderia ocupá-las.
Essa dedução é compreendida melhor por alcance de blocos, onde separamos o que um bloco pode ocupar do que ele precisa ocupar.
Terminologia histórica “Glue”
Algumas listas antigas usam o nome Glue para situações relacionadas em que uma célula preenchida perto da borda força outras partes de seu bloco.
A VeyraPlay usa ancoragem na borda para essa dedução de uma única linha e extensão de blocos confirmados para a ideia associada de estender fragmentos. Assim evitamos sobrecarregar edge logic, que em algumas fontes avançadas descreve outro tipo de raciocínio multilinha baseado em consequências nas linhas cruzadas.
Verificação de borda passo a passo
Quando uma linha possui uma célula preenchida confirmada perto de uma borda:
- identifique qual bloco deve contê-la;
- liste ou visualize a colocação legal mais cedo e mais tarde desse bloco sem perder a célula;
- respeite o limite da grade e todas as marcas X existentes;
- preencha as células compartilhadas por todas as colocações;
- marque células distantes como vazias apenas se nenhum outro bloco não resolvido conseguir alcançá-las;
- propague a nova informação para as linhas cruzadas.
Erros comuns
Assumir que a pista mais próxima é dona da célula
A ordem das pistas, sozinha, não prova identidade. Verifique se outro bloco ainda poderia cobrir a célula legalmente.
Estender o comprimento inteiro da pista a partir de uma única célula
A célula confirmada pode estar no meio do bloco. Determine primeiro todas as colocações legais.
Tratar a borda como uma célula vazia que exige separador extra
A borda interrompe o bloco, mas não existe separador fora da grade.
Esquecer outros blocos ao marcar células inalcançáveis
Uma célula fora do alcance de um bloco ainda pode ser alcançada por outro. Marque-a vazia apenas quando toda atribuição legal de blocos a exclui.
O que aprender depois
A ancoragem na borda leva naturalmente à extensão de blocos confirmados, onde a mesma ideia é aplicada a fragmentos restringidos por X e outros limites, e ao alcance de blocos, que formaliza toda a região que cada pista ainda pode ocupar.
FAQ
Ancoragem na borda é uma regra separada dos nonogramas?
Não. É uma técnica derivada das regras normais das pistas e do fato de que os blocos não podem ultrapassar o limite da linha.
Funciona tanto em linhas quanto em colunas?
Sim. Uma linha pode ser lida da esquerda para a direita ou de cima para baixo; a lógica é idêntica.
“Glue” é a mesma coisa?
O nome histórico se sobrepõe a essas ideias, especialmente quando uma célula conhecida perto da borda força extensão. A VeyraPlay prefere termos descritivos para manter o raciocínio claro em contextos diferentes.