Glosario de sudoku

Este glosario es la referencia canónica de vocabulario de Sudoku en VeyraPlay.

Úsalo cuando una Guide, un mensaje del solver o una etiqueta de interfaz introduzca un término que no reconozcas. Las definiciones son deliberadamente más breves que las Guides dedicadas: el glosario explica qué significa un término; la Guide correspondiente explica cómo funciona la demostración.

El vocabulario del sudoku no está completamente estandarizado entre libros, apps, foros y solvers. Cuando existen varios nombres, VeyraPlay utiliza un término público preferido y conserva los aliases importantes para que sigan siendo localizables.

Nuestras elecciones habituales incluyen:

• bloque para la región 3×3, conservando box como alias internacional;
• unidad en explicaciones accesibles y house cuando la terminología avanzada del solver se beneficia de ello;
• pista como término principal y given como alias habitual;
• candidato para un dígito lógicamente posible y marca de lápiz/nota para su representación visible.

Cómo utilizar este glosario de sudoku

Los términos se agrupan en varias familias recurrentes:

• cuadrícula — celda, fila, columna, bloque, unidad, peer, banda, stack;
• candidatos — candidato, bivalue, par conjugado, marca de lápiz;
• deducción — colocación, eliminación, reserva, implicación, contradicción;
• técnicas — Singles, subsets, Fish, Wings, Coloring, Chains, unicidad;
• puzzle y teoría — pista, solución, puzzle minimal, dificultad, simetría, generación;
• notación — rNcM, conjuntos de candidatos y símbolos de Enlace fuerte/débil.

Para una introducción completa a la cuadrícula, consulta Cuadrícula de sudoku. Para la lógica de candidatos y deducciones, consulta Candidatos de sudoku y Lógica del sudoku.

A

AIC — Alternating Inference Chain

Cadena de inferencia alternante. Cadena avanzada que alterna relaciones de inferencia Fuertes y Débiles. Es un lenguaje general para expresar muchas deducciones mediante cadenas y se extiende con Grouped AIC.

Algorithm X

Algoritmo recursivo para resolver problemas de exact cover. Sudoku puede codificarse como exact cover, por lo que Algorithm X sirve como método de búsqueda completa para encontrar o contar soluciones.

ALS — Almost Locked Set

Conjunto de N celdas dentro de una unidad que contiene exactamente N+1 candidatos distintos en total. Un ALS no elimina nada por sí mismo: otras técnicas utilizan relaciones entre ALS para construir inferencias.

ALS-XZ

Técnica experta que conecta dos Almost Locked Sets mediante un Restricted Common Candidate (X) y otro candidato compartido Z. La relación RCC permite demostrar eliminaciones de Z.

Almost Locked Set

Véase ALS.

Avoidable Rectangle

Patrón de unicidad relacionado con Rectángulo único en el que participan dígitos ya resueltos y cuya estructura podría permitir una segunda solución.

B

Backtracking

Algoritmo de búsqueda sistemática que elige una posibilidad, propaga sus consecuencias y vuelve a una decisión anterior cuando la rama falla. Es habitual en software para encontrar soluciones o verificar unicidad.

Band

Banda horizontal de tres bloques 3×3. Una cuadrícula clásica tiene tres bandas.

Base set

Conjunto base de un Fish: una de las unidades de origen que define el patrón. En un X-Wing basado en filas, las dos filas son los conjuntos base.

Bivalue cell

Celda bivalue: celda sin resolver con exactamente dos candidatos. Es fundamental en XY-Wing, W-Wing, Remote Pair y XY-Chain.

Block

Alias habitual de bloque/box, una de las regiones 3×3 del sudoku clásico.

Box

Una de las nueve regiones 3×3 de una cuadrícula clásica 9×9. En VeyraPlay ES utilizamos normalmente bloque.

Box-Line Reduction

Nombre de la dirección Claiming / Reclamación de Candidatos bloqueados. Si todas las posiciones de un dígito en una fila o columna quedan dentro de un bloque, puede eliminarse del resto de ese bloque.

BUG — Bivalue Universal Grave

Estructura de unicidad en la que todas las celdas sin resolver son bivalue y las apariciones de candidatos forman un patrón binario capaz de admitir varias soluciones.

BUG+1

Técnica de unicidad en la que la cuadrícula está casi en un BUG puro salvo por un candidato extra. Ese candidato excepcional queda forzado para evitar el estado no único.

C

Candidate

Candidato: dígito que todavía puede ocupar legalmente una celda sin resolver según el estado actual. Es una posibilidad, no una conjetura ni necesariamente la solución final.

Candidate elimination

Eliminación de candidato: retirar un candidato porque una deducción demuestra que ese dígito no puede ocupar la celda. Es progreso real aunque no haya una colocación inmediata.

Candidate set

Conjunto de candidatos de una celda. Ejemplo: {2,5,7}.

Cell

Celda: una casilla de la cuadrícula. El sudoku clásico contiene 81.

Cell-first search

Búsqueda centrada en celdas: parte de los candidatos de una celda o pequeño grupo de celdas. Naked Singles, Naked Subsets y muchos Wings se detectan de forma natural así.

Chain

Cadena: secuencia de implicaciones lógicas conectadas. Las cadenas introductorias utilizan Enlaces fuertes y débiles; algunas permanecen en un dígito y otras cambian de dígito o de tipo de nodo.

Claiming

Reclamación, dirección de Candidatos bloqueados en la que todas las posiciones de un dígito en una fila o columna están confinadas a un solo bloque. También llamada Box-Line Reduction.

Clue

Pista: dígito proporcionado antes de comenzar la resolución. También se denomina given.

Color Trap

Eliminación de Coloración simple. Si un candidato sin colorear ve un candidato de cada color del mismo componente, uno de esos colores debe ser verdadero y el candidato sin colorear debe ser falso.

Color Wrap

Contradicción de Coloración simple. Si dos candidatos del mismo color se ven, esa polaridad no puede ser verdadera y todos los candidatos de ese color pueden eliminarse.

Coloring

Coloración: método que propaga dos estados de verdad alternos por Enlaces fuertes conectados de un mismo candidato.

Column

Columna: unidad vertical de nueve celdas. Una columna completa contiene los dígitos 1–9 exactamente una vez.

Conjugate pair

Par conjugado: exactamente dos posiciones restantes para el mismo dígito dentro de una unidad. Forman un Enlace fuerte.

Constraint

Restricción: condición que una solución válida debe cumplir. En sudoku clásico, las restricciones estructurales principales son fila, columna y bloque.

Contradiction

Contradicción: consecuencia imposible utilizada para demostrar que una premisa o candidato no puede ser verdadero, como duplicar un dígito, dejar una celda sin candidatos o dejar una unidad sin posición para un dígito requerido.

Cover set

Conjunto de cobertura de un Fish: unidad que contiene colectivamente las posiciones relevantes procedentes de los conjuntos base. En un X-Wing por filas, las coberturas son columnas.

Crosshatching

Cruce de líneas / Crosshatching: método visual que usa dígitos ya resueltos en filas y columnas para bloquear posiciones dentro de otra unidad. Suele revelar Hidden Singles.

D

Dancing Links (DLX)

Estructura enlazada diseñada para hacer eficientes las operaciones de cubrir y descubrir en una búsqueda de exact cover. En Sudoku, DLX suele referirse a una implementación de Algorithm X.

Deadly pattern

Patrón mortal: estructura de candidatos que permitiría más de una solución si llegara a completarse. El ejemplo clásico es el rectángulo de dos dígitos detrás de Rectángulo único.

Digit

Dígito: uno de los símbolos 1–9 del sudoku clásico. Se utilizan como etiquetas; su valor aritmético no forma parte de las reglas clásicas.

Digit-first search

Búsqueda centrada en dígitos: sigue un único dígito por las unidades en lugar de empezar por todos los candidatos de una celda. Hidden Singles, Candidatos bloqueados, Fish y Coloring se encuentran naturalmente así.

Difficulty

Dificultad: cantidad y tipo de trabajo humano que requiere o parece requerir un puzzle. Puede depender de técnicas, reconocimiento, dependencias y convenciones del solver, no solo del número de pistas.

Difficulty model

Modelo de dificultad: sistema que transforma la ruta de resolución analizada y/o datos de jugadores en una puntuación o etiqueta como Fácil, Difícil o Experto.

E

Elimination

Véase Candidate elimination.

Empty Rectangle

Rectángulo vacío / Empty Rectangle: patrón de un solo dígito cuya geometría dentro de un bloque conecta una relación fuerte con una fila o columna externa para producir una eliminación.

Endpoint

Extremo de una cadena: candidato o nodo inicial/final cuya relación permite obtener la conclusión de la cadena.

Exact cover

Problema de selección en el que cada restricción debe quedar cubierta exactamente una vez. El sudoku clásico puede representarse mediante 324 restricciones de exact cover.

F

False candidate

Candidato falso: candidato demostrado imposible por una deducción.

Fish

Familia de patrones de un solo dígito basada en N conjuntos base y N conjuntos de cobertura. X-Wing, Swordfish y Jellyfish son Basic Fish de tamaños 2, 3 y 4.

Finned Fish

Fish con aleta: Fish en el que aparecen candidatos adicionales —fins— fuera de la estructura básica y las eliminaciones quedan restringidas por la geometría de esas aletas.

Finned X-Wing

X-Wing con uno o varios candidatos extra que actúan como aletas. Las eliminaciones solo son válidas en objetivos compatibles tanto con el Fish como con los fins.

Floor

Término especializado que puede utilizarse para una fila/columna o conjunto base dentro de ciertas descripciones de Fish. VeyraPlay prefiere conjunto base.

Forcing Chain

Cadena de forcing: demostración que analiza consecuencias obligadas de alternativas y encuentra una conclusión común o una contradicción que fuerza un resultado.

Forcing Net

Extensión ramificada de forcing en la que se siguen varias implicaciones conectadas como una red en lugar de una sola cadena lineal.

Full House

Full House / Last Digit: una unidad tiene una única celda sin resolver, así que falta exactamente un dígito y debe colocarse allí.

G

Group node

Nodo agrupado: nodo de cadena que representa varias apariciones de un candidato actuando colectivamente como una posibilidad lógica.

Grouped AIC

AIC agrupada: Cadena de inferencia alternante que permite group nodes además de candidatos individuales.

Given

Alias común de clue / pista, un dígito proporcionado al inicio del puzzle.

H

Hidden Pair

Pareja oculta: dos dígitos que, dentro de una unidad, solo pueden aparecer en las mismas dos celdas. Los demás candidatos de esas celdas pueden eliminarse.

Hidden Quad

Cuádruple oculto: cuatro dígitos restringidos a las mismas cuatro celdas de una unidad.

Hidden Rectangle

Técnica avanzada de unicidad relacionada con Rectángulo único en la que enlaces fuertes permiten demostrar eliminaciones dentro de una geometría de rectángulo.

Hidden Single

Candidato único oculto / Hidden Single: un dígito tiene una única posición legal dentro de una fila, columna o bloque, aunque la celda tenga más candidatos.

Hidden Subset

Subset oculto: N dígitos que solo pueden ocupar N celdas de una unidad. Se eliminan de esas celdas los candidatos que no pertenecen al conjunto reservado.

Hidden Triple

Trío oculto: tres dígitos restringidos a las mismas tres celdas de una unidad.

House

Término de comunidad/solver para una unidad: fila, columna o bloque. El sudoku 9×9 clásico tiene 27 houses.

I

Implication

Implicación: relación lógica del tipo «si A tiene este estado, entonces B debe tener aquel estado». Es la base de Enlaces y Cadenas.

Intersection

Intersección: solapamiento entre una fila/columna y un bloque. Las intersecciones son la base de Candidatos bloqueados.

Invalid puzzle

Puzzle inválido: puzzle que incumple los requisitos esperados de su definición, por ejemplo porque no tiene solución o, cuando se exige unicidad, porque tiene varias.

J

Jellyfish

Basic Fish de tamaño 4. Cuatro unidades base restringen un dígito a cuatro unidades de cobertura.

L

Last Digit

Alias de Full House: el último dígito que falta en una unidad.

Latin square

Cuadrado latino: matriz en la que cada símbolo aparece una vez por fila y columna. Una solución de sudoku 9×9 es un cuadrado latino de orden 9 con restricciones adicionales de bloques.

Link

Enlace: relación lógica entre dos estados de candidatos. En cadenas se distingue principalmente entre Enlace fuerte y Enlace débil.

Locked Candidates

Candidatos bloqueados: familia de intersecciones formada por Pointing y Claiming/Box-Line Reduction.

M

Minimal puzzle

Puzzle minimal: puzzle en el que eliminar cualquiera de sus pistas destruye la unicidad. No significa necesariamente que tenga el mínimo número posible de pistas.

Minimum-clue puzzle

Puzzle que alcanza el número mínimo conocido/posible de pistas bajo una definición concreta. Para sudoku clásico 9×9 único, el mínimo demostrado es 17.

Multi Coloring

Extensión de Coloring que relaciona varios componentes de coloración de un mismo dígito en lugar de limitarse a una sola red conectada.

N

Naked Pair

Pareja desnuda: dos celdas de una unidad reservan exactamente los mismos dos dígitos, permitiendo eliminarlos del resto de la unidad.

Naked Quad

Cuádruple desnudo: cuatro celdas de una unidad contienen en conjunto exactamente cuatro candidatos distintos.

Naked Single

Candidato único desnudo / Naked Single: una celda tiene exactamente un candidato legal.

Naked Subset

Subset desnudo: N celdas de una unidad contienen en conjunto exactamente N dígitos distintos, que quedan reservados para esas celdas.

Naked Triple

Trío desnudo: tres celdas de una unidad contienen en conjunto exactamente tres candidatos distintos.

Nishio

Método de contradicción/forcing que sigue las consecuencias de asumir una posición para un dígito y elimina esa posibilidad si conduce a un estado imposible.

Note

Nota: representación visible de información de candidatos. También se denomina marca de lápiz.

P

Peer

Peer: celda que comparte fila, columna o bloque con otra. Una celda clásica tiene 20 peers distintos.

Pencil mark

Marca de lápiz: anotación visible de candidatos posibles dentro de una celda.

Pincer

Pinza / pincer: celda externa de ciertos Wings, como XY-Wing o XYZ-Wing, que participa junto al pivot en la demostración.

Pivot

Pivote / pivot: celda central de una estructura como XY-Wing o XYZ-Wing que conecta las pincers.

Placement

Colocación: deducción que demuestra qué dígito debe ocupar una celda.

Pointing

Apuntamiento / Pointing: dirección de Candidatos bloqueados en la que todas las posiciones de un dígito dentro de un bloque están en una misma fila o columna.

Pointing Pair

Caso de Pointing en el que quedan dos posiciones dentro del bloque sobre la misma línea. El término tradicional se utiliza a menudo aunque también puedan existir tres posiciones.

R

RCC — Restricted Common Candidate

Candidato común restringido. En técnicas ALS, candidato compartido por dos ALS cuya geometría impide que aparezca en ambos a la vez, creando una relación útil de inferencia.

Region

Región: grupo genérico de celdas sujeto a una restricción de unicidad. En sudoku clásico, bloque es el término público más claro; en variantes las regiones pueden adoptar otras formas.

Remote Pair

Pareja remota / Remote Pair: cadena de celdas bivalue que comparten el mismo par de dígitos y se conectan mediante relaciones de peer. La alternancia permite eliminaciones desde celdas que ven nodos de polaridad opuesta.

Row

Fila: unidad horizontal de nueve celdas.

S

Sashimi Fish

Variante de Fish en la que falta una posición esperada de la estructura básica y una o varias aletas modifican la geometría de eliminación.

Scanning

Escaneo: hábito de búsqueda que recorre filas, columnas y bloques buscando dígitos faltantes, restricciones y posiciones forzadas.

See / sees

Dos celdas se ven cuando son peers, es decir, comparten fila, columna o bloque.

Simple Coloring

Coloración simple: técnica de un solo dígito que asigna dos colores alternos a una red conectada de pares conjugados y busca Color Trap, Color Wrap u otras contradicciones.

Single

Single: colocación directa en la que un dígito queda forzado. Los Singles básicos son Full House/Last Digit, Naked Single y Hidden Single.

Snyder notation

Notación Snyder: sistema selectivo de marcas de lápiz muy usado en papel, donde normalmente se anota un dígito cuando tiene exactamente dos posiciones candidatas dentro de un bloque. Es una disciplina de notación, no una regla.

Solution

Solución: asignación completa de dígitos que satisface todas las restricciones del puzzle.

Solution count

Número de soluciones: cantidad de cuadrículas completas válidas compatibles con las pistas iniciales. En un sudoku clásico publicado se espera normalmente exactamente una.

Solution grid

Cuadrícula solución: cuadrícula 9×9 completa y válida antes de retirar dígitos para crear un puzzle.

Solution path

Ruta de resolución: secuencia de pasos desde las pistas iniciales hasta la cuadrícula completa. Distintos solvers pueden encontrar rutas válidas diferentes.

Stack

Stack: grupo vertical de tres bloques. Una cuadrícula clásica tiene tres stacks.

Strong Link

Enlace fuerte: inferencia que establece que dos estados candidatos no pueden ser ambos falsos. En un par conjugado, si A es falso B debe ser verdadero y viceversa.

Subset

Subset / subconjunto: relación de reserva entre un pequeño conjunto de celdas y un conjunto del mismo tamaño de dígitos dentro de una unidad. Puede ser Naked u Hidden.

Swordfish

Basic Fish de tamaño 3: tres conjuntos base restringen un dígito a tres coberturas.

Symmetry

Simetría: relación estructural conservada por una transformación. En construcción de puzzles suele referirse a simetría visual de la disposición de pistas; no es una regla básica.

T

Technique

Técnica: patrón lógico repetible utilizado para colocar un dígito o eliminar un candidato. Se distingue de una estrategia, que organiza cuándo y dónde buscar.

Tower

Alias especializado de una columna vertical de tres bloques. VeyraPlay prefiere stack.

Trivalue cell

Celda trivalue: celda sin resolver con exactamente tres candidatos.

Turbot Fish

Patrón corto de un solo dígito formado por dos Enlaces fuertes conectados por un Enlace débil. Skyscraper y Two-String Kite pueden entenderse dentro de esta familia de cadenas cortas.

Two-String Kite

Patrón de un solo dígito formado por un par conjugado en una fila y otro en una columna, con un extremo de cada par interactuando dentro del mismo bloque.

U

Unique solution

Solución única: existe exactamente una cuadrícula completa que satisface las pistas y restricciones del puzzle.

Unique Rectangle

Rectángulo único: familia de unicidad basada en cuatro celdas situadas en exactamente dos filas, dos columnas y dos bloques. Evita estados que permitirían dos finalizaciones intercambiables.

Uniqueness technique

Técnica de unicidad: deducción que utiliza como premisa adicional que el puzzle tiene exactamente una solución. Rectángulo único y BUG+1 son ejemplos.

Unit

Unidad: grupo de celdas que debe contener los dígitos 1–9 exactamente una vez. Filas, columnas y bloques forman las 27 unidades/houses estándar.

W

Weak Link

Enlace débil: inferencia que establece que dos candidatos no pueden ser verdaderos a la vez. Si A es verdadero, B debe ser falso; ambos sí pueden ser falsos.

Wing

Familia de patrones que suele relacionar celdas bivalue o casi bivalue mediante una estructura pivot/pincers o un Enlace fuerte externo. Incluye XY-Wing, XYZ-Wing y W-Wing.

W-Wing

Patrón con dos celdas bivalue separadas que contienen el mismo par {X,Y} y un Enlace fuerte externo en uno de esos dígitos. Permite eliminar el otro dígito de celdas que ven ambos extremos.

WXYZ-Wing

Wing/subset avanzado con cuatro celdas y cuatro candidatos bajo una relación restringida de candidato compartido. Tiene Guide propia en V2.

X

X-Chain

Cadena que sigue un único dígito candidato por Enlaces fuertes y débiles alternos y comienza y termina con inferencia fuerte sobre ese dígito.

X-Cycle

Estructura cerrada de enlaces alternos para un solo dígito. Según cómo cierre el ciclo puede producir eliminaciones o colocaciones.

X-Wing

Basic Fish de tamaño 2. Dos filas base —o columnas— restringen un dígito a las mismas dos coberturas, permitiendo eliminaciones fuera de las bases.

XY-Chain

Cadena de celdas bivalue cuyas relaciones internas proporcionan Enlaces fuertes y cuyas relaciones de peer conectan las celdas sucesivas. Empieza y termina con el mismo dígito candidato.

XY-Wing

Wing de tres celdas con pivot {X,Y}, una pincer {X,Z} y otra {Y,Z}. Al menos una pincer debe contener Z, permitiendo eliminar Z de celdas que ven ambas pincers.

XYZ-Wing

Wing de tres celdas con pivot trivalue {X,Y,Z} y pincers {X,Z} y {Y,Z}. El objetivo debe ver todas las posiciones relevantes de Z, incluido el pivot.

Y

Y-Wing

Alias frecuente de XY-Wing.

Números y notación

3D Medusa

Técnica de coloración multidígito que propaga dos estados de verdad opuestos por una red conectada de candidatos utilizando relaciones fuertes como pares conjugados y celdas bivalue.

rNcM

Notación fila/columna para una celda. r5c2 significa fila 5, columna 2. En notación especializada pueden comprimirse varios índices, por ejemplo r57c2 para r5c2 y r7c2.

{2,5,7}

Notación de conjunto de candidatos: la celda permite actualmente 2, 5 y 7.

= en notación de cadenas

Suele representar un Enlace fuerte o inferencia fuerte. La notación exacta varía según comunidad y software.

- en notación de cadenas

Suele representar un Enlace débil o inferencia débil.

<> o ≠

Notación común para indicar que una celda/candidato no es un valor determinado.

= dígito

Abreviatura común de una colocación o estado candidato verdadero.

FAQ

¿Qué es una house en sudoku?

Una house es un término paraguas de la comunidad de solvers para fila, columna o bloque. El sudoku clásico tiene 27 houses estándar.

¿Un box es lo mismo que un bloque?

Sí en sudoku clásico. Ambos nombres suelen referirse a una región 3×3. VeyraPlay utiliza bloque en español.

¿Cuál es la diferencia entre candidato y marca de lápiz?

Un candidato es un dígito que sigue siendo lógicamente posible. Una marca de lápiz o nota es una forma visible de registrar esa información.

¿Qué significa que dos celdas se ven?

Significa que son peers: comparten fila, columna o bloque. Dos celdas que se ven no pueden contener el mismo dígito resuelto.

¿Qué es una celda bivalue?

Una celda sin resolver con exactamente dos candidatos. Estas celdas generan relaciones muy útiles y aparecen en muchos Wings y Chains.

¿Por qué las técnicas de sudoku tienen nombres distintos según la web?

La terminología se desarrolló entre libros, foros, editores y software diferentes. Una técnica puede tener un nombre de familia, un nombre histórico y una etiqueta específica de un solver. La demostración importa más que la marca.

¿Incluye este glosario todas las técnicas de sudoku que existen?

No. Prioriza el vocabulario utilizado por el corpus VeyraPlay y los términos necesarios para comprender la expansión experta. Los patrones extremadamente nicho solo deben añadirse cuando resulten editorialmente útiles.

Principios de vocabulario utilizados por VeyraPlay

Cuando varios términos son válidos, la consistencia importa más que fingir que solo existe un vocabulario.

Nuestras reglas generales son:

• enseñar primero el término principal más claro;
• conservar aliases importantes para búsqueda e interoperabilidad;
• distinguir el estado lógico de su representación en la interfaz;
• distinguir estrategia de técnica;
• distinguir una restricción básica del sudoku de una premisa adicional de calidad del puzzle, como la unicidad;
• evitar asignar niveles universales a técnicas cuando las taxonomías de dificultad difieren.

A medida que crezca la biblioteca experta, añadiremos términos aquí solo cuando se utilicen de forma significativa en otras páginas del corpus.