# Generador de puzles Kakuro / Fillomino / Masyu / Yajilin / Hashiwokakero / Nurikabe / Slitherlink / Star Battle con probador de unicidad Genera de forma determinista por semilla puzles de 8 familias Nikoli (la misma semilla da el mismo tablero): Kakuro denso, Fillomino, Masyu, Yajilin, Hashiwokakero, Nurikabe, Slitherlink y Star Battle; cada tablero nace «solución primero» y se verifica con un solver exhaustivo que cuenta soluciones hasta dos — la unicidad está probada, y si el presupuesto se agota se declara honestamente «unproven»; incluye SVG de puzzle y solución y dificultad por nodos de búsqueda. > Página canónica: https://elysiatools.com/es/tools/kakuro-fillomino-masyu-yajilin-hashiwokakero-nurikabe-slitherlink-and-star-battle-puzzle-generator-with-uniqueness-prover - **Categoría:** Games - **Palabras clave:** generador de puzles, solución única, Nikoli, puzle lógico, kakuro, slitherlink, nurikabe ## Descripción general Solvers (todos exhaustivos, no heurísticos): Kakuro por celda con cotas de sumas; Fillomino por colocación de regiones (poliominoés fijos anclados en orden de barrido — cada recubrimiento se cuenta una vez; la revelación en damero garantiza completitud: toda región de ≥2 celdas contiene una pista revelada); Masyu/Yajilin por enumeración de ciclos (ancla con orden de aristas para deduplicar, perlas validadas al salir); Hashiwokakero por línea 0/1/2 puentes (grados, cruces precalculados, conectividad final); Nurikabe por colocación (cada isla con exactamente una pista del tamaño exacto, mar conexo, sin pozos 2×2); Slitherlink por aristas agrupadas por vértice + detección de cierre de ciclo con union-find; Star Battle por filas. Dificultad = nodos (<2k fácil, <30k medio). Unicidad: contar hasta 2 — count=1 sin agotar el presupuesto es «único probado»; agotado se declara «unproven». Misma familia+semilla, mismo tablero. ## Entradas - **Familia de puzle** (select) - **Semilla (determinista)** (number): 12345 - **Mostrar SVG de solución** (checkbox) ## Cuándo usarlo - Al requerir tableros lógicos de estilo Nikoli con garantía formal de solución única. - Al preparar material reproducible para publicaciones o pasatiempos mediante una semilla determinista. - Para clasificar con precisión la dificultad de un puzle según la cantidad de nodos explorados por el solver. ## Cómo funciona - Selecciona la familia de puzle Nikoli deseada y define un número de semilla para la generación determinista. - El sistema construye primero una solución válida y retira elementos minimizando pistas mientras ejecuta un solver exhaustivo. - El solver cuenta soluciones hasta dos; si halla exactamente una sin agotar el presupuesto de cómputo, certifica la unicidad y cataloga la dificultad. - Se genera el documento HTML con los gráficos SVG vectoriales del puzle y su correspondiente solución. ## Casos de uso - Generación de tableros lógicos reproducibles para publicaciones impresas o digitales. - Creación de retos diarios con soluciones verificadas para sitios web de acertijos. - Validación y análisis algorítmico de restricciones en juegos de lógica Nikoli. ## Preguntas frecuentes ### ¿Qué familias de puzles incluye la herramienta? Admite Kakuro denso, Fillomino, Masyu, Yajilin, Hashiwokakero (Puentes), Nurikabe, Slitherlink y Star Battle. ### ¿Cómo se prueba la unicidad de cada solución? Mediante un solver exhaustivo que busca hasta dos soluciones; si la búsqueda concluye con un conteo exacto de 1, la unicidad queda demostrada. ### ¿Qué significa el estado «unproven»? Indica que el solver agotó el límite de nodos de búsqueda antes de explorar todo el espacio, por lo que no garantiza solución única. ### ¿La misma semilla produce siempre el mismo puzle? Sí, el algoritmo es determinista: ingresar la misma familia y la misma semilla genera exactamente el mismo tablero. ### ¿Cómo se determina la dificultad del puzle? Se calcula según los nodos explorados por el algoritmo (<2.000 fácil, <30.000 medio y mayores como difícil). ## Herramientas relacionadas - [Generador de malla de degradados CSS (cónica + radial)](https://elysiatools.com/es/tools/css-gradient-mesh-generator): Genera el «mesh de degradados» de moda en Dribbble/Behance desde 2024: varios degradados radiales (mancha de color → fundido a transparente del mismo tono) apilados sobre un color base (opcionalmente una capa cónica), con modos de mezcla, grano de película SVG, distribuciones con semilla (esquinas / anillo / dispersión / cuadrícula), vista previa en vivo, CSS copiable y clase arbitraria de Tailwind. Las manchas se desvanecen con hex de 8 dígitos #RRGGBB00 para evitar el anillo gris del término transparent. - [Estudio de gráficos CSV: histograma, dispersión y caja](https://elysiatools.com/es/tools/csv-histogram-scatter-box-plot-chart-studio): Sube o pega un CSV y gráficalo al instante: histogramas con reglas Sturges / Freedman-Diaconis / Scott, dispersión con r de Pearson y ajuste por mínimos cuadrados, y diagramas de caja de Tukey — cada gráfico descargable en PNG y SVG. - [Generador de sprite sheet SVG](https://elysiatools.com/es/tools/svg-sprite-generator): Sube hasta 30 iconos SVG y combínalos en un solo sprite sheet: modo para en línea, modo para fragmentos de archivo externo. Normaliza el viewBox (derivado de width/height), deduplica iconos, opcionalmente elimina fill/stroke para currentColor, siempre limpia y atributos on\*, y genera fragmentos de uso para HTML / React / Vue / CSS con vista previa en vivo de cada icono. - [Generador de Favicon SVG](https://elysiatools.com/es/tools/svg-favicon-generator): Convierte un logo SVG o raster en un paquete favicon completo con ICO, variantes PNG, icono Apple Touch y web manifest - [Visualizador del flujo OAuth 2.0 / OIDC con código de autorización y PKCE](https://elysiatools.com/es/tools/oauth-oidc-authorization-code-pkce-flow-visualizer): Simula de extremo a extremo el flujo de código de autorización con PKCE: generación de verifier/challenge, URL de autorización, intercambio de tokens, lista de validación del ID Token y demostración de ataque de interceptación. - [Generador de PKCE Code Verifier y Challenge](https://elysiatools.com/es/tools/pkce-code-verifier-generator): Genera, valida y verifica pares code_verifier / code_challenge PKCE (RFC 7636) de OAuth2 / OIDC. Tres modos: (1) generar un par nuevo a partir de bytes aleatorios criptográficos (256/384/512/768 bits), (2) auditar un verifier existente frente al RFC — longitud (43–128), charset \[A-Za-z0-9-._~\] y ≥256 bits de entropía, y (3) verificar un par recomputando BASE64URL(SHA256(verifier)). Opcionalmente construye la URL completa de autorización y el cuerpo del intercambio de token. Complementa al nonce-genérico (que solo emite el par) con auditoría de cumplimiento RFC y verificación de pares. - [Generador de códigos TOTP / HOTP sin conexión](https://elysiatools.com/es/tools/totp-hotp-offline-generator): Genera contraseñas de un solo uso TOTP RFC 6238 (6/8 dígitos, 30/60 s) y HOTP RFC 4226 (por contador) a partir de un secreto base32, sin conexión, con HMAC-SHA1/256/512, y exporta una URI otpauth:// - [Generador de Data URI](https://elysiatools.com/es/tools/data-uri-generator): Convierte archivos en Data URIs (Base64 o porcentaje-codificado) para incrustar imágenes, fuentes y recursos directamente en HTML, CSS o Markdown ## Ejemplos - [Ejemplos SVG](https://elysiatools.com/es/samples/svg-samples): Ejemplos de Gráficos Vectoriales Escalables (SVG) que demuestran varias características y técnicas SVG - [Ejemplos D3.js Data Visualization](https://elysiatools.com/es/samples/d3js-data-visualization): Ejemplos completos de visualización de datos D3.js incluyendo gráficos, mapas, animaciones y visualizaciones interactivas - [Muestras SVG](https://elysiatools.com/es/samples/svg-viewer-samples): Gráficos vectoriales de muestra para el visor SVG en el navegador - [Ejemplos de XML](https://elysiatools.com/es/samples/xml-samples): Ejemplos de formato XML (eXtensible Markup Language) desde estructuras simples hasta complejas