# Gerador de quebra-cabeças Kakuro / Fillomino / Masyu / Yajilin / Hashiwokakero / Nurikabe / Slitherlink / Star Battle com prova de unicidade Gera de forma determinística por semente quebra-cabeças de 8 famílias Nikoli (mesma semente, mesmo tabuleiro): Kakuro denso, Fillomino, Masyu, Yajilin, Hashiwokakero, Nurikabe, Slitherlink e Star Battle; cada tabuleiro nasce «solução primeiro» e é verificado por um solver exaustivo que conta soluções até duas — a unicidade é provada, e se o orçamento se esgota é declarada honestamente «unproven»; SVGs de puzzle e solução e dificuldade por nós de busca inclusos. > Página canônica: https://elysiatools.com/pt/tools/kakuro-fillomino-masyu-yajilin-hashiwokakero-nurikabe-slitherlink-and-star-battle-puzzle-generator-with-uniqueness-prover - **Categoria:** Games - **Palavras-chave:** gerador de quebra-cabeças, solução única, Nikoli, quebra-cabeça lógico, kakuro, slitherlink, nurikabe ## Visão geral Solvers (todos exaustivos, não heurísticos): Kakuro célula a célula com limites de somas; Fillomino por posicionamento de regiões (poliominoós fixos ancorados em ordem de varredura — cada cobertura contada uma vez; a revelação xadrez garante completude: toda região ≥2 células contém uma pista revelada); Masyu/Yajilin por enumeração de ciclos (âncora com ordem de arestas para deduplicar, pérolas validadas na saída); Hashiwokakero linha a linha 0/1/2 pontes (graus, cruzamentos pré-computados, conectividade final); Nurikabe por posicionamento (ilha = exatamente uma pista do tamanho exato, mar conexo, sem poças 2×2); Slitherlink arestas agrupadas por vértice + fecho de ciclo via union-find; Star Battle por linhas. Dificuldade = nós (<2k fácil, <30k médio). Unicidade: contar até 2 — count=1 sem esgotar o orçamento = «provada»; esgotado, honestamente «unproven». Mesma família+semente, mesmo tabuleiro. ## Entradas - **Família de puzzle** (select) - **Semente (determinística)** (number): 12345 - **Mostrar SVG da solução** (checkbox) ## Quando usar - Criar desafios lógicos com diagramas SVG prontos para impressão ou publicação digital. - Garantir tabuleiros com exatamente uma solução válida comprovada sem recorrer a palpites ou heurísticas. - Reproduzir tabuleiros e gabaritos idênticos em diferentes momentos utilizando a mesma chave de semente. ## Como funciona - O gerador constrói um tabuleiro completo com a abordagem de solução primeiro a partir da semente informada. - Pistas supérfluas são reduzidas enquanto um solver de busca em profundidade tenta encontrar soluções alternativas. - O solver exaustivo conta até duas soluções; se encontrar exatamente uma sem estourar o limite de nós, a unicidade é confirmada como provada. - O resultado exporta a métrica de dificuldade por nós percorridos e os gráficos vetoriais SVG do enigma e de sua resolução. ## Casos de uso - Criação de apostilas e livros de passatempos lógicos com gabaritos vetoriais precisos. - Preparação de materiais didáticos e desafios de raciocínio dedutivo para salas de aula. - Organização de competições e torneios recreativos com problemas de dificuldade calibrada por nós de busca. ## Perguntas frequentes ### Quais tipos de quebra-cabeças Nikoli podem ser gerados? O gerador suporta Kakuro, Fillomino, Masyu, Yajilin, Hashiwokakero (Pontes), Nurikabe, Slitherlink e Star Battle. ### O que significa a classificação de unicidade como 'provada'? Significa que o algoritmo de busca exaustiva explorou todo o espaço de estados e confirmou a existência de apenas uma solução válida. ### Como a dificuldade do quebra-cabeça é calculada? A dificuldade é baseada no número de nós explorados pelo solver: menos de 2.000 nós é fácil, e abaixo de 30.000 nós é médio. ### A mesma semente sempre gera o mesmo quebra-cabeça? Sim. A geração é totalmente determinística, garantindo o mesmo tabuleiro e solução para o par de família e semente escolhido. ### É possível ocultar o diagrama com a resposta? Sim, basta desmarcar a opção de exibir solução antes de executar a geração. ## Ferramentas relacionadas - [Gerador de malha de gradiente CSS (cônica + radial)](https://elysiatools.com/pt/tools/css-gradient-mesh-generator): Gera a «malha de degradês» em alta na Dribbble/Behance desde 2024: vários degradês radiais (mancha de cor → esmaecimento para transparente da mesma cor) sobre uma cor-base (opcionalmente uma camada cônica), com modos de mistura, granulação de filme SVG, disposições com semente (cantos / anel / dispersão / grade), prévia ao vivo, CSS copiável e classe arbitrária do Tailwind. As manchas esmaecem via hex de 8 dígitos #RRGGBB00, evitando o anel cinza da palavra-chave transparent. - [Estúdio de gráficos CSV: histograma, dispersão e boxplot](https://elysiatools.com/pt/tools/csv-histogram-scatter-box-plot-chart-studio): Envie ou cole um CSV e grafique na hora: histogramas com as regras Sturges / Freedman-Diaconis / Scott, dispersão com r de Pearson e reta de mínimos quadrados, e boxplots de Tukey — cada gráfico baixável em PNG e SVG. - [Gerador de sprite sheet SVG](https://elysiatools.com/pt/tools/svg-sprite-generator): Envie até 30 ícones SVG e mescle-os em um único sprite sheet: modo para embutido, modo para fragmentos de arquivo externo. Normaliza o viewBox (derivado de width/height), deduplica ícones, opcionalmente remove fill/stroke para currentColor, sempre limpa e atributos on\*, e gera snippets HTML / React / Vue / CSS com pré-visualização ao vivo de cada ícone. - [Gerador de Favicon SVG](https://elysiatools.com/pt/tools/svg-favicon-generator): Transforma um logo SVG ou raster em um pacote favicon completo com ICO, variacoes PNG, Apple touch icon e web manifest - [Visualizador do fluxo OAuth 2.0 / OIDC com código de autorização e PKCE](https://elysiatools.com/pt/tools/oauth-oidc-authorization-code-pkce-flow-visualizer): Simula de ponta a ponta o fluxo de código de autorização com PKCE: geração de verifier/challenge, URL de autorização, troca de token, checklist de validação do ID Token e demonstração de ataque de interceptação. - [Gerador de PKCE Code Verifier e Challenge](https://elysiatools.com/pt/tools/pkce-code-verifier-generator): Gera, valida e verifica pares code_verifier / code_challenge PKCE (RFC 7636) de OAuth2 / OIDC. Três modos: (1) gerar um par novo a partir de bytes aleatórios criptográficos (256/384/512/768 bits), (2) auditar um verifier existente frente ao RFC — comprimento (43–128), charset \[A-Za-z0-9-._~\] e ≥256 bits de entropia, e (3) verificar um par recalculando BASE64URL(SHA256(verifier)). Opcionalmente constrói a URL completa de autorização e o corpo de troca de token. Complementa o nonce-generator genérico (que só emite o par) com auditoria de conformidade RFC e verificação de pares. - [Gerador de códigos TOTP / HOTP offline](https://elysiatools.com/pt/tools/totp-hotp-offline-generator): Gera senhas de uso único TOTP RFC 6238 (6/8 dígitos, 30/60 s) e HOTP RFC 4226 (por contador) a partir de um segredo base32, offline, com HMAC-SHA1/256/512, e exporta uma URI otpauth:// - [Gerador de Data URI](https://elysiatools.com/pt/tools/data-uri-generator): Converte arquivos em Data URIs (Base64 ou porcentagem-codificada) para incorporar imagens, fontes e recursos diretamente em HTML, CSS ou Markdown ## Exemplos - [Exemplos SVG](https://elysiatools.com/pt/samples/svg-samples): Exemplos de Gráficos Vetoriais Escaláveis (SVG) demonstrando vários recursos e técnicas SVG - [Exemplos D3.js Data Visualization](https://elysiatools.com/pt/samples/d3js-data-visualization): Exemplos abrangentes de visualização de dados D3.js incluindo gráficos, mapas, animações e visualizações interativas - [Amostras SVG](https://elysiatools.com/pt/samples/svg-viewer-samples): Gráficos vetoriais de amostra para o visualizador SVG - [Exemplos de XML](https://elysiatools.com/pt/samples/xml-samples): Exemplos de formato XML (eXtensible Markup Language) de estruturas simples a complexas