Um Empty Rectangle, ou Retângulo Vazio, é uma técnica de um único dígito construída com duas peças de lógica de candidatos:
- dentro de um bloco 3×3, todos os candidatos de um dígito ficam restritos à união de uma linha e uma coluna;
- um par conjugado externo do mesmo dígito se conecta a um dos lados dessa estrutura.
Juntas, essas relações formam uma Chain curta de inferência.
Um candidato que veja os dois extremos relevantes dessa Chain pode ser eliminado.
O ponto importante não é o bloco desenhar literalmente um retângulo vazio. O que importa é que as posições do candidato dentro do bloco estão restritas a uma estrutura em L de linha e coluna.
Dentro do bloco, o dígito precisa ficar no lado da linha do ER ou no lado da coluna. Um Enlace Forte externo transforma essa relação de ou/ou em uma eliminação.
Empty Rectangle pertence ao mesmo universo de um único dígito de Skyscraper, Two-String Kite, Turbot Fish, X-Chains e algumas interpretações de Finned Fish.
Regra rápida
Para um candidato X:
- encontre um bloco onde todos os X estejam na união de uma linha e uma coluna;
- trate o lado da linha e o lado da coluna como uma relação de ou/ou;
- conecte um desses lados a um par conjugado externo de X;
- identifique o endpoint distante desse par conjugado;
- elimine X de qualquer alvo que fique falso em ambos os estados da Chain resultante.
Se você não consegue explicar a eliminação como inferência válida, não a faça apenas porque o mapa de candidatos parece formar um retângulo.
O que significa “Empty Rectangle”?
O nome se refere às células do bloco que não fazem parte da estrutura de candidatos na linha e na coluna.
Suponha que o candidato 6 dentro de um bloco esteja restrito a:
- várias células da linha 5;
- e várias células da coluna 4.
Nenhum outro candidato 6 aparece no restante do bloco.
As células não usadas formam visualmente a região do “retângulo vazio”.
Para resolver, porém, essas células vazias não são o objeto lógico mais importante.
O fato útil é:
Toda possível posição de 6 no bloco pertence ao lado da linha ou ao lado da coluna escolhidos.
Isso cria uma relação forte agrupada entre os dois lados.
Por que o bloco cria uma relação de ou/ou
Um bloco precisa conter o dígito candidato exatamente uma vez.
Se todas as posições legais para X dentro do bloco estão na união de:
- linha R;
- coluna C;
então pelo menos um desses dois lados precisa conter o X final.
Pense no bloco como dois grupos de candidatos:
- lado R: candidatos X na linha do ER dentro do bloco;
- lado C: candidatos X na coluna do ER dentro do bloco.
Os dois grupos não podem ser completamente falsos, porque o bloco ainda precisa de X.
Essa é a base da técnica.
Os grupos não precisam ter apenas uma célula. Esse é um dos motivos pelos quais Empty Rectangle serve como ponte entre pares conjugados simples e links agrupados / Grouped AICs.
Adicione um par conjugado externo
A relação do bloco, sozinha, normalmente não elimina nada.
Você precisa de outra relação forte para o mesmo dígito.
Um par conjugado significa que, dentro de uma linha, coluna ou bloco, X tem exatamente duas posições legais.
Se um endpoint desse par externo interage com um dos lados do Empty Rectangle, a Chain pode ser prolongada até outro endpoint fora do bloco.
A lógica resultante é aproximadamente:
lado ER A =X= lado ER B -X- endpoint conjugado 1 =X= endpoint conjugado 2A notação exata varia porque um lado do ER pode ser um grupo, não uma única célula.
O que importa é que as inferências alternem corretamente.
A prova em dois casos
Uma forma prática de verificar Empty Rectangle é raciocinar por dois casos.
Suponha um ER para o candidato X e um par conjugado externo conectado.
Caso 1: X fica no primeiro lado do ER
Essa colocação elimina diretamente X de candidatos que veem esse lado.
Caso 2: X não fica nesse primeiro lado
Como o bloco ainda precisa conter X, o outro lado do ER se torna verdadeiro.
Isso força o par conjugado conectado para seu endpoint oposto.
O endpoint distante então elimina X dos candidatos que o veem.
Se o mesmo alvo é eliminado nos dois casos, ele é impossível.
Essa é a prova reutilizável.
Exemplo passo a passo de Empty Rectangle
Empty Rectangle como uma X-Chain curta
Empty Rectangle não é magia isolada.
O padrão pode ser representado como uma X-Chain ou como uma cadeia de inferência alternante agrupada para um único candidato.
Esse ponto de vista substitui uma imagem memorizada por lógica padrão:
- inferência forte da restrição no bloco;
- interação fraca entre candidatos que se veem;
- inferência forte do par conjugado;
- eliminação em um alvo que vê os endpoints relevantes.
Se você já entende X-Chains, Empty Rectangle pode ser reconhecido como uma geometria compacta da mesma linguagem.
Empty Rectangle vs. Two-String Kite
As duas técnicas:
- usam um único candidato;
- combinam relações fortes;
- costumam produzir uma eliminação localizada;
- podem ser representadas como Chains curtas.
Um Two-String Kite é normalmente identificado por:
- um par conjugado em linha;
- um par conjugado em coluna;
- um endpoint de cada par interagindo dentro do mesmo bloco.
Um Empty Rectangle começa por outra estrutura no bloco:
- X fica restrito a uma linha e uma coluna dentro do bloco;
- essa relação agrupada do bloco combina com um par conjugado externo.
A inferência final pode parecer parecida, mas o padrão de busca é diferente.
Empty Rectangle vs. Skyscraper
Skyscraper normalmente usa dois pares conjugados em duas linhas ou duas colunas, com bases alinhadas e dois topos.
Empty Rectangle usa:
- uma restrição linha/coluna baseada em bloco;
- mais um par conjugado externo.
Ambos podem ser traduzidos para X-Chains curtas.
Por isso, compreender links é mais confiável do que decorar silhuetas.
Empty Rectangle vs. Turbot Fish
Turbot Fish é um nome mais amplo para Chains curtas de um único dígito formadas por dois Enlaces Fortes conectados por um Enlace Fraco.
Skyscraper, Two-String Kite e algumas eliminações de Empty Rectangle podem ser entendidos dentro desse framework.
Assim:
- Turbot Fish descreve a família geral de Chains curtas;
- Empty Rectangle descreve uma geometria específica centrada em um bloco.
VeyraPlay mantém Empty Rectangle como Guide própria porque a restrição do bloco é distinta e útil para reconhecimento direto.
Empty Rectangle vs. Finned X-Wing
Alguns Empty Rectangles também podem ser representados por linguagem de Fish mais avançada, inclusive interpretações Finned ou Mutant Fish.
Isso não significa que as técnicas sejam intercambiáveis para aprender.
Para Empty Rectangle, a prova humana mais simples costuma ser:
bloco restrito → relação forte → par conjugado externo → alvo comum.
Para Finned X-Wing, a prova costuma ser:
Fish básico se as fins são falsas → conflito direto se as fins são verdadeiras → interseção dos conjuntos de eliminação.
Use a representação que torna a inferência mais fácil de verificar.
O que é um Dual Empty Rectangle?
Um Dual Empty Rectangle aparece quando a geometria permite aplicar a inferência de Empty Rectangle nas duas direções.
Em outras palavras, duas relações fortes podem trocar de papel e produzir duas eliminações relacionadas a partir da mesma estrutura.
É uma extensão da mesma lógica, não uma fundação separada.
Na arquitetura atual da VeyraPlay, Dual Empty Rectangle pertence dentro desta Guide e não precisa de URL própria.
Como encontrar Empty Rectangles com eficiência
Não procure um “retângulo” abstrato em todos os blocos.
Use um fluxo candidate-first.
1. Escolha um dígito candidato
Analise uma camada de candidatos por vez.
2. Inspecione cada bloco
Procure blocos onde todas as posições desse dígito estejam contidas na união de uma linha e uma coluna.
3. Identifique os dois lados do ER
Marque o grupo da linha e o grupo da coluna dentro do bloco.
4. Procure para fora um par conjugado
Veja se um dos lados se conecta a um Strong Link externo para o mesmo dígito.
5. Teste o endpoint distante
Procure candidatos que sejam eliminados tanto pelo lado do ER quanto pelo endpoint forçado no ramo oposto.
6. Faça uma nova varredura após a eliminação
Uma única eliminação pode gerar Singles, Locked Candidates ou novos pares conjugados.
Erros comuns em Empty Rectangle
Erro 1: o bloco tem candidatos fora da linha e coluna escolhidas
Nesse caso, a relação de ou/ou entre os dois lados não está provada.
Erro 2: tratar qualquer par como par conjugado
O link externo precisa ser forte: exatamente duas posições para X na unidade usada.
Erro 3: eliminar todo candidato próximo ao padrão
Somente candidatos protegidos pela inferência completa podem ser removidos.
Erro 4: supor que todo ER tem a mesma orientação
A linha, coluna e posição do par externo podem aparecer em várias orientações simétricas.
Erro 5: rejeitar ERs agrupados porque um lado tem várias células
Um lado do ER pode ser um grupo de candidatos. O importante é que todos os candidatos do bloco estejam na união da linha e da coluna escolhidas.
Quando procurar Empty Rectangle?
É uma boa técnica para procurar quando:
- Singles, Locked Candidates e Subsets não avançam;
- um dígito tem candidatos relativamente esparsos;
- alguns blocos mostram forte concentração em uma linha e uma coluna;
- existem pares conjugados externos próximos.
Como outros padrões de um único dígito, fica muito mais fácil quando você filtra o tabuleiro por candidato.
FAQ
Empty Rectangle é uma técnica de Fish?
Pode receber interpretações em linguagem de Fish avançada, mas para solving humano costuma ser mais claro tratá-lo como uma Chain curta baseada em restrição de bloco.
Empty Rectangle é uma X-Chain?
Pode ser representado como uma X-Chain ou Grouped X-Chain para um único dígito.
O retângulo precisa literalmente não ter candidatos?
Não. O nome é visual. O requisito lógico é que todos os candidatos do dígito no bloco estejam restritos à união de uma linha e uma coluna.
Um lado do Empty Rectangle pode ter mais de um candidato?
Sim. Esse lado pode funcionar como um grupo dentro da inferência.
Dual Empty Rectangle é uma técnica diferente?
Não no nível fundamental. É uma extensão em que a mesma geometria suporta a inferência em mais de uma direção.
O que aprender depois
Compare Empty Rectangle com Two-String Kite e Skyscraper, depois use X-Chain e Grouped AIC para entender a mesma lógica em uma linguagem de inferência mais geral.