# Генератор головоломок Kakuro / Fillomino / Masyu / Yajilin / Hashiwokakero / Nurikabe / Slitherlink / Star Battle с доказательством единственности Детерминированно по семени генерирует головоломки 8 семейств Nikoli (одно семя — одна доска): плотное Какуро, Fillomino, Масю, Ядзилин, Хасивокакеро, Нурикабэ, Слизерлинк и Star Battle; каждая доска строится «решение вначале» и проверяется исчерпывающим перебором, считающим решения до двух — единственность доказана, при исчерпании бюджета честно сообщается «unproven»; прилагаются SVG головоломки и решения и сложность по числу узлов поиска. > Каноническая страница: https://elysiatools.com/ru/tools/kakuro-fillomino-masyu-yajilin-hashiwokakero-nurikabe-slitherlink-and-star-battle-puzzle-generator-with-uniqueness-prover - **Категория:** Games - **Ключевые слова:** генератор головоломок, единственное решение, Nikoli, логическая головоломка, какуро, слизерлинк, нурикабэ ## Обзор Решатели (все исчерпывающие, не эвристические): Какуро — по ячейкам с границами сумм; Fillomino — расстановка областей (фиксированные полимино, заякоренные по порядку обхода — каждый тайлинг считается один раз; шахматное раскрытие гарантирует полноту: любая область ≥2 клеток содержит раскрытую подсказку); Масю/Ядзилин — перечисление циклов (якорь с порядком рёбер для дедупликации, жемчужины проверяются на выходе); Хасивокакеро — по линиям 0/1/2 моста (степени, предвычисленные пересечения, финальная связность); Нурикабэ — расстановка (остров = ровно одна подсказка точного размера, море связно, без луж 2×2); Слизерлинк — рёбра, сгруппированные по вершинам, + замыкание цикла через union-find; Star Battle — по строкам. Сложность = узлы (<2k легко, <30k средне). Единственность: счёт до 2 — count=1 без исчерпания бюджета = «доказано»; при исчерпании честно «unproven». Одни семейство+семя = одна доска. ## Входные данные - **Семейство головоломок** (select) - **Семя (детерминированное)** (number): 12345 - **Показать SVG решения** (checkbox) ## Когда использовать - Подготовка качественных печатных или цифровых сборников японских кроссвордов и логических задач с гарантией отсутствия альтернативных решений. - Создание соревновательных заданий с воспроизводимыми по сиду сетками и объективной оценкой сложности по количеству узлов перебора. - Генерация визуальных SVG-материалов с головоломками и готовыми ответами для публикаций, сайтов или обучающих материалов. ## Как это работает - Выбор семейства головоломки и ввод числового сида для детерминированной генерации базового поля и распределения подсказок. - Запуск исчерпывающего алгоритма с возвратом (бэктрекинга), который проверяет пространство состояний и подсчитывает количество валидных решений с ограничением до двух. - Оценка сложности на основе числа исследованных решателем узлов и отрисовка чистых векторных SVG-изображений условия и решения. ## Сценарии использования - Верстка авторских журналов головоломок с векторной графикой SVG высокого разрешения. - Организация олимпиад и конкурсов по решению японских головоломок на фиксированных сидах. - Разработка интерактивных логических приложений, требующих предварительно проверенных сеток с единственным решением. ## Частые вопросы ### Что означает статус единственности «доказано» (unique)? Исчерпывающий алгоритм перебора полностью проверил пространство вариантов и подтвердил существование ровно одной валидной конфигурации в пределах лимита шагов. ### Почему головоломка может получить статус «unproven»? Статус выводится, если решатель исчерпал выделенный бюджет узлов перебора до завершения полной проверки пространства состояний. ### Как определяется сложность сгенерированной задачи? Сложность зависит от числа раскрытых решателем узлов: менее 2 000 узлов считается легким уровнем, до 30 000 — средним, выше — сложным. ### Гарантирует ли один и тот же сид одинаковый результат? Да, генерация полностью детерминирована: одинаковая комбинация выбранного семейства и сида всегда создает идентичную доску. ### Какие форматы графики формирует инструмент? Инструмент генерирует разметку SVG как для исходной сетки с подсказками, так и для готового решения задачи. ## Связанные инструменты - [Генератор градиентной сетки CSS (коническая + радиальная)](https://elysiatools.com/ru/tools/css-gradient-mesh-generator): Генерирует «градиентную сетку», популярную на Dribbble/Behance с 2024-го: несколько радиальных градиентов (цветовое пятно → растворение в прозрачный того же тона) поверх базового цвета (опционально — конический слой), с режимами наложения, SVG-зерном, сидированными раскладками (углы / кольцо / разброс / сетка), живым превью, копируемым CSS и Tailwind-классом. Пятна гаснут через 8-значный hex #RRGGBB00 — без серого кольца ключевого слова transparent. - [Студия графиков CSV: гистограммы, диаграммы рассеяния и боксы](https://elysiatools.com/ru/tools/csv-histogram-scatter-box-plot-chart-studio): Загрузите или вставьте CSV и сразу постройте графики: гистограммы по правилам Стерджеса / Фридмана-Дьякониса / Скотта, рассеяние с r Пирсона и МНК-прямой, боксы Тьюки — каждый график скачивается в PNG и SVG. - [Генератор SVG-спрайтов](https://elysiatools.com/ru/tools/svg-sprite-generator): Загрузите до 30 SVG-иконок и объедините их в один спрайт: режим для встроенного , режим для фрагментов внешнего файла. Восстанавливает viewBox из width/height, убирает дубликаты, опционально срезает fill/stroke под currentColor, всегда чистит и атрибуты on\*, и генерирует сниппеты для HTML / React / Vue / CSS с живым предпросмотром каждой иконки. - [Генератор SVG Favicon](https://elysiatools.com/ru/tools/svg-favicon-generator): Преобразует SVG или растровый логотип в полный набор favicon с ICO, PNG-версиями, Apple touch icon и web manifest - [Визуализатор потока OAuth 2.0 / OIDC с кодом авторизации и PKCE](https://elysiatools.com/ru/tools/oauth-oidc-authorization-code-pkce-flow-visualizer): Сквозная симуляция потока кода авторизации с PKCE: генерация verifier/challenge, URL авторизации, обмен токенами, чек-лист проверки ID Token и демо атаки перехвата. - [Генератор PKCE Code Verifier и Challenge](https://elysiatools.com/ru/tools/pkce-code-verifier-generator): Создание, проверка и верификация пар code_verifier / code_challenge PKCE (RFC 7636) для OAuth2 / OIDC. Три режима: (1) создать новую пару из криптостойких случайных байт (256/384/512/768 бит), (2) аудит имеющегося verifier по RFC — длина (43–128), набор \[A-Za-z0-9-._~\] и ≥256 бит энтропии, (3) проверить пару, пересчитав BASE64URL(SHA256(verifier)). При желании строит полный URL запроса авторизации и тело обмена токена. Дополняет универсальный nonce-generator (только выдаёт пару) аудитом соответствия RFC и проверкой пар. - [Автономный генератор кодов TOTP / HOTP](https://elysiatools.com/ru/tools/totp-hotp-offline-generator): Генерирует одноразовые пароли TOTP RFC 6238 (6/8 цифр, 30/60 с) и HOTP RFC 4226 (по счётчику) из base32-секрета, локально, с HMAC-SHA1/256/512, и формирует otpauth:// URI - [Генератор Data URI](https://elysiatools.com/ru/tools/data-uri-generator): Преобразует файлы в Data URI (Base64 или процентное кодирование) для встраивания изображений, шрифтов и ресурсов прямо в HTML, CSS или Markdown ## Примеры - [SVG Примеры](https://elysiatools.com/ru/samples/svg-samples): Примеры масштабируемой векторной графики (SVG) демонстрирующие различные возможности и техники SVG - [Примеры D3.js Визуализации Данных](https://elysiatools.com/ru/samples/d3js-data-visualization): Комплексные примеры визуализации данных D3.js, включая диаграммы, карты, анимации и интерактивные визуализации - [Образцы SVG](https://elysiatools.com/ru/samples/svg-viewer-samples): Образцы векторной графики для браузерного SVG просмотрщика - [Примеры XML](https://elysiatools.com/ru/samples/xml-samples): Примеры формата XML (eXtensible Markup Language) от простых до сложных структур