Un diseñador de juegos自以为 aborda un proyecto sencillo: un crucigrama en el que cada letra servida se coloca por pura deducción, sin necesidad de adivinar. Lo que parecía trivial se topó con un muro: tras meses puliendo un diccionario y reescribiendo el generador, apenas un ciento de tableros resultaban resolubles por lógica. El problema no era de velocidad, sino de existencia: ¿eran los tableros deducibles una rareza estadística?
La respuesta apareció al conectar el juego con la teoría de la información de Claude Shannon (1948/1956). Cada casilla abierta que admite la misma letra que otra conforma una arista en un grafo de confundibilidad; un puzzle es resoluble sin conjeturas cuando sus casillas abiertas forman un conjunto independiente en ese grafo, es decir, ningún par de casillas compite por la misma letra.
La paradoja revelada por Shannon en el anillo de cinco señales ilustra por qué la transmisión agrupada supera a la individual: enviar señales de una en una permite 4 mensajes seguros con dos rondas, pero empaquetadas en parejas se alcanzan 5, un factor que escala como √5 ≈ 2,236. Aplicado al crucigrama, eso obliga a planificar el tablero casilla a casilla, cargando los dados del generador para que cada nueva letra preserve la independencia del conjunto.
El texto cierra planteando si la densidad máxima de casillas independientes en el grafo de un crucigrama se aproxima exactamente a la capacidad de Shannon, una pregunta abierta que mezcla combinatoria, teoría de grafos y canales ruidosos.