Saltar al contenido
VEYRAPLAY
Español
Sudoku
TécnicasExperto

Empty Rectangle

Aprende cómo Empty Rectangle convierte una restricción de un candidato a una fila y una columna dentro de un bloque en una cadena corta capaz de producir eliminaciones precisas.

Un Empty Rectangle o Rectángulo vacío es una técnica de un solo dígito construida a partir de dos piezas de lógica de candidatos:

  1. dentro de un bloque 3×3, todos los candidatos de un dígito están restringidos a una fila y una columna;
  2. un par conjugado externo para ese mismo dígito conecta con uno de los lados del patrón del bloque.

Juntas, esas relaciones crean una cadena de inferencia corta.

Un candidato que vea ambos extremos de esa cadena puede eliminarse.

La idea importante no es que el bloque contenga literalmente un rectángulo vacío. Lo relevante es que las posiciones candidatas dentro del bloque quedan restringidas a una estructura en L formada por fila y columna.

Dentro del bloque, el dígito debe aparecer en el lado de fila del ER o en el lado de columna. Un Enlace fuerte externo puede convertir esa relación de uno u otro en una eliminación.

Empty Rectangle pertenece al mismo universo de técnicas single-digit que Skyscraper, Two-String Kite, Turbot Fish, X-Chain y algunas interpretaciones de Finned Fish.

Regla rápida

Para un candidato X:

  1. encuentra un bloque donde todos los X estén contenidos en una fila, una columna o en la unión de una fila y una columna del bloque;
  2. interpreta los lados de fila y columna como una relación de uno u otro;
  3. conecta uno de esos lados con un par conjugado externo de X;
  4. sigue la inferencia hasta el extremo exterior;
  5. elimina X únicamente de un target que quede invalidado en todas las ramas.

¿Qué significa “Empty Rectangle”?

El nombre puede resultar engañoso si se busca una figura geométrica literal.

No necesitas encontrar cuatro esquinas vacías ni una caja sin candidatos.

Lo que necesitas es una restricción:

  • todos los X del bloque pertenecen al lado de una fila elegida;
  • al lado de una columna elegida;
  • o a ambos conjuntos.

La intersección de esa fila y columna puede contener X o no; no es el objeto lógico principal.

El hecho útil es:

Cada posible X del bloque pertenece al grupo del lado de fila o al grupo del lado de columna.

Eso crea una relación fuerte agrupada entre ambos lados.

Por qué el bloque crea una relación de uno u otro

Un bloque de sudoku debe contener el dígito exactamente una vez.

Si todas las posiciones legales de X dentro del bloque se encuentran en la unión de:

  • la fila R;
  • la columna C;

entonces al menos uno de esos dos lados debe contener el X definitivo.

Puedes pensar en el bloque como dos grupos de candidatos:

  • lado R: candidatos X en la fila del ER dentro del bloque;
  • lado C: candidatos X en la columna del ER dentro del bloque.

No pueden ser ambos completamente falsos, porque el bloque sigue necesitando un X.

Esa es la base de la técnica.

Los grupos no tienen por qué estar formados por una sola celda. Por eso Empty Rectangle sirve como puente hacia enlaces agrupados y Grouped AIC.

Añadir un par conjugado externo

La relación del bloque por sí sola normalmente no elimina nada.

Necesitas otra relación fuerte para el mismo candidato.

Un par conjugado significa que dentro de una fila, columna o bloque X tiene exactamente dos posiciones legales.

Si un extremo de ese par externo interactúa con uno de los lados de Empty Rectangle, la cadena puede prolongarse hasta otro extremo fuera del bloque.

La lógica aproximada es:

lado ER A =X= lado ER B -X- extremo conjugado 1 =X= extremo conjugado 2

La notación exacta puede variar porque uno de los lados del ER puede ser un grupo y no una sola celda.

Lo importante es que la inferencia alterne correctamente.

La demostración mediante dos casos

Una forma práctica de verificar Empty Rectangle es razonar por dos casos.

Supón que tenemos un ER para X y un par conjugado externo.

Caso 1: X se coloca en el primer lado del ER

Esa colocación elimina directamente X de los candidatos que ven ese lado.

Caso 2: X no se coloca en ese lado del ER

Como el bloque sigue necesitando X, el otro lado del ER queda forzado.

Eso fuerza el par conjugado conectado hacia su extremo opuesto.

El extremo lejano elimina entonces X de los candidatos que lo ven.

Si el mismo target queda eliminado en ambos casos, ese candidato es imposible.

Esa es la demostración reutilizable.

Ejemplo paso a paso de Empty Rectangle

Empty Rectangle como una X-Chain corta

Empty Rectangle no es una pieza de magia aislada.

El patrón puede expresarse como una X-Chain o una cadena de inferencia alternante agrupada para un único candidato.

Esa perspectiva sustituye una figura memorizada por lógica estándar:

  • inferencia fuerte desde el bloque restringido;
  • interacción débil entre candidatos que se ven;
  • inferencia fuerte desde el par conjugado;
  • eliminación desde un target que ve los extremos relevantes.

Si ya entiendes X-Chains, Empty Rectangle suele reconocerse como una geometría especialmente compacta de esa lógica.

Empty Rectangle frente a Two-String Kite

Ambas técnicas:

  • usan un solo candidato;
  • combinan relaciones fuertes;
  • suelen producir una eliminación muy localizada;
  • pueden representarse como cadenas cortas.

Two-String Kite suele identificarse mediante:

  • un par conjugado en fila;
  • un par conjugado en columna;
  • un extremo de cada par conectado dentro del mismo bloque.

Empty Rectangle empieza por otra estructura de bloque:

  • X está restringido a una fila y una columna dentro del bloque;
  • esa relación agrupada se combina con un par conjugado externo.

La inferencia final puede parecer similar, pero la estructura que buscas es diferente.

Empty Rectangle frente a Skyscraper

Skyscraper utiliza normalmente dos parejas strong-link en dos filas o dos columnas, con bases alineadas y dos techos.

Empty Rectangle utiliza:

  • una restricción fila/columna dentro de un bloque;
  • más un par conjugado externo.

Ambos pueden traducirse con frecuencia a X-Chains cortas.

Por eso comprender los enlaces subyacentes es más fiable que memorizar siluetas.

Empty Rectangle frente a Turbot Fish

Turbot Fish es un nombre más amplio para cadenas single-digit cortas formadas por dos Enlaces fuertes conectados mediante un Enlace débil.

Skyscraper, Two-String Kite y algunas eliminaciones de Empty Rectangle pueden entenderse dentro de ese marco.

Así:

  • Turbot Fish describe una familia general de cadenas cortas;
  • Empty Rectangle describe una geometría concreta centrada en un bloque.

VeyraPlay mantiene Empty Rectangle como Guide propia porque la restricción del bloque es distintiva y útil para buscarla directamente.

Empty Rectangle frente a Finned X-Wing

Algunos patrones Empty Rectangle también pueden representarse mediante lenguaje Fish más avanzado, incluyendo interpretaciones Finned o Mutant Fish.

Eso no significa que las técnicas sean intercambiables para aprender.

Para Empty Rectangle, la demostración humana más sencilla suele ser:

bloque restringido → relación fuerte → par conjugado externo → target común.

Para Finned X-Wing, la demostración más natural suele ser:

Fish básico si las fins son falsas → conflicto directo si las fins son verdaderas → intersección de conjuntos de eliminación.

Elige la representación que haga más fácil verificar la inferencia.

¿Qué es un Dual Empty Rectangle?

Un Dual Empty Rectangle aparece cuando la geometría de candidatos permite aplicar la inferencia ER en ambas direcciones.

En otras palabras, dos relaciones fuertes pueden intercambiar funciones y producir eliminaciones relacionadas a partir de la misma estructura.

Es una extensión de la misma lógica, no una base distinta.

En la arquitectura actual de VeyraPlay, Dual Empty Rectangle pertenece dentro de esta Guide y no necesita una URL independiente.

Cómo encontrar Empty Rectangles de forma eficiente

No recorras cada bloque buscando un rectángulo abstracto.

Utiliza un flujo candidate-first.

1. Elige un candidato

Empty Rectangle es un patrón de un solo dígito.

Ignora temporalmente los demás.

2. Inspecciona cada bloque

Busca bloques donde todas las copias restantes de X estén en:

  • una fila;
  • una columna;
  • o la unión de una fila y una columna.

Necesitas una restricción fila/columna clara.

3. Identifica los dos lados del ER

Separa las posiciones candidatas en:

  • candidatos del lado de fila;
  • candidatos del lado de columna.

Confirma que no exista ningún X fuera de ese marco dentro del bloque.

4. Busca hacia fuera un par conjugado

Sigue la fila o la columna del ER fuera del bloque.

Busca una unidad donde X tenga exactamente dos posiciones legales.

5. Comprueba el extremo lejano

Pregunta qué candidatos ven:

  • el endpoint o grupo relevante del ER;
  • y el extremo lejano del par conjugado.

Solo es válido un target eliminado por la cadena completa.

6. Vuelve a escanear tras la eliminación

Como ocurre con muchas técnicas avanzadas, el resultado útil puede ser solo una eliminación.

Esa eliminación puede crear inmediatamente:

  • un Single;
  • Candidatos bloqueados;
  • un Subset;
  • otro par conjugado.

Vuelve primero a la lógica sencilla.

Errores frecuentes con Empty Rectangle

Error 1: el bloque tiene candidatos fuera de la fila y columna elegidas

Entonces no existe la relación fuerte del ER.

Todos los candidatos del dígito dentro del bloque deben quedar cubiertos por el marco fila/columna seleccionado.

Error 2: tratar cualquier pareja como par conjugado

Un par conjugado exige exactamente dos posiciones legales para el dígito en la unidad correspondiente.

Dos candidatos resaltados no están automáticamente unidos por un Enlace fuerte.

Error 3: eliminar todos los candidatos cercanos al patrón

El target debe quedar descartado por la cadena de inferencia completa.

La proximidad geométrica no es una demostración.

Error 4: asumir que todos los ER tienen la misma orientación

La estructura puede rotarse o reflejarse:

  • lado de fila primero o lado de columna primero;
  • bloques en cualquier zona del tablero;
  • par conjugado externo horizontal o vertical.

Busca relaciones, no un dibujo fijo.

Error 5: rechazar ER agrupados porque un lado tiene varios candidatos

El lado de fila o de columna puede contener más de un candidato.

Lo importante es que el bloque fuerce X a uno de los dos lados.

¿Cuándo conviene buscar Empty Rectangle?

Empty Rectangle resulta especialmente útil cuando las técnicas single-digit más ordinarias han dejado de producir progreso.

Un orden práctico puede ser:

  1. Singles y Candidatos bloqueados;
  2. Subsets;
  3. X-Wing/Swordfish cuando corresponda;
  4. Skyscraper y Two-String Kite;
  5. Empty Rectangle;
  6. X-Chains más largas o lógica AIC general.

No es una escala universal de dificultad, pero sí una progresión razonable de reconocimiento.

FAQ

¿Empty Rectangle es una técnica Fish?

Puede representarse con lenguaje Fish avanzado, pero los solvers humanos suelen aprenderla como una cadena corta de un solo dígito construida desde un bloque restringido y un par conjugado.

¿Empty Rectangle es una X-Chain?

La eliminación puede expresarse como una X-Chain o como una cadena single-digit agrupada. Empty Rectangle es la geometría reconocible que permite detectar rápidamente esa cadena.

¿El rectángulo tiene que estar literalmente vacío de candidatos?

No. El nombre es una abreviatura histórica de la geometría creada por la restricción fila/columna dentro del bloque. El requisito lógico es que todos los candidatos del dígito en ese bloque estén confinados a la fila y columna elegidas.

¿Puede Empty Rectangle usar más de un candidato en uno de sus lados?

Sí. Uno o ambos lados pueden actuar como nodos agrupados. Lo importante es la relación de uno u otro a nivel de bloque.

¿Dual Empty Rectangle es una técnica diferente?

Es una extensión del mismo patrón en la que la estructura permite eliminaciones en ambos sentidos. No necesita una regla fundacional separada.

Qué aprender después

Si Empty Rectangle ya te resulta más natural como cadena que como figura, continúa con X-Chain y Alternating Inference Chains. Esas Guides generalizan el mismo lenguaje de inferencias fuertes y débiles más allá de esta geometría concreta.