【要約】# Pythonで一意解保証のパズルを自動生成してWebサービスにした話（ノノグラム/ヌリカベ/カックロ/ピクセルアート） [Zenn_Python] | Summary by TechDistill
> Source: Zenn_Python
Execute Primary Source
// Problem
開発者は、パズルコンテンツの自動生成において「解が唯一であること（一意解）」を保証する課題に直面した。単なるランダム生成では、解が存在しない、あるいは複数の解が存在する問題が発生する。具体的には以下の課題を解決する必要があった。
- ・ノノグラム：ヒントから一意に解けるかどうかの判定が必要。
- ・ヌリカベ：島と海のルールを満たしつつ、一意解を維持する必要がある。
- ・カックロ：数字の配置が孤立し、パズルとして成立しない「孤島問題」が発生する。
- ・ピクセルアート：数学的な正解がなく、絵として成立させる基準が不明確。
// Approach
開発者は、各パズルの特性に応じた独自のアルゴリズムと検証プロセスを採用した。パズルの性質に合わせて、制約充足、グラフ理論、LLMの3つのアプローチを使い分けている。
- ・ノノグラム：制約伝播ソルバーを用い、バックトラックなしで解ける問題のみを採用する。
- ・ヌリカベ：Prim's法で連結した「海」を生成し、制約伝播で一意解を検証する。
- ・カックロ：BFSを用いたConnected Growth方式により、中心から隣接セルを拡張して孤島を防ぐ。
- ・ピクセルアート：Ollama（ローカルLLM）に対し、JSON形式でテーマに応じたピクセルデータを生成させる。
// Result
開発者は、一意解を保証した高品質なパズルコンテンツをWebサービスとして公開した。これにより、ユーザーは推測に頼らない論理的なパズル体験が可能となった。
- ・ノノグラム：5×5から15×15の3サイズ、計300問を生成。
- ・ヌリカベ：難易度制御された300問を生成。
- ・カックロ：6×6から12×12の3サイズ、計330問を生成。
- ・ピクセルアート：LLMにより83枚のイラストデータを生成。
Senior Engineer Insight
> アルゴリズムによるコンテンツ生成は、運用コストを劇的に下げる。特に「制約伝播のみで解ける」という設計は、ユーザーの納得感を高める優れたUX設計だ。カックロの孤島対策や、ピクセルアートへのLLM適用など、問題の性質に応じた手法の使い分けが合理的である。ただし、生成時の再試行コスト（Reject率）が計算リソースに与える影響は、大規模運用時に注視すべき点だ。