問題の方法
Legen がナンプレ問題を生成、検証、公開する方法
公開問題は、候補盤面から固定問題 ID、一意解、検証済み論理トレース、版を持つ難易度スコア、恒久的な出典ページまで、決定論的な手順を通ります。
「Legen Puzzle Engine verified」は、初期数字に一意解があり、表示する各論理手順が公開エンジン版の独立した証明検証に通ったことを意味します。人間の専門家が全問を個別審査したという意味ではありません。
1. 候補問題はオフラインで生成します
候補盤面は明示的なオフラインコマンドだけで生成します。通常のサイト構築では新しい問題を作らず、非公開の生成器を読まず、時刻や乱数でページを変えません。
2. 形式と一意解を先に確認します
81マスすべてを検証し、矛盾する初期数字を拒否し、固定した探索上限で解の数を数えます。解がちょうど1つの問題だけを公開カタログに入れます。
3. 論理の主張は証明の再検証が必要です
検出処理が配置または候補削除を提案し、別の検証処理が対象マス、数字、範囲、パターン、候補、盤面の版、証明の形を確認してから適用します。
4. 難易度は初期数字数ではなく版で管理します
LDI v0 は最上位の検証済みテクニック、重み付き論理作業、明示的な候補削除を使います。値はエンジン版と LDI 版に結び付き、過去値を無断で書き換えません。
5. 公開データは一方向に生成します
公開サイトは項目を許可リストで限定したカタログだけを使います。非公開コーパス、生成器の状態、シード、内部コミットメント、ホールドアウト診断はクライアントとクリーン構築の依存関係に入りません。
6. 訂正は追跡可能にします
事実訂正には日付と新しい検証成果物を付けます。エンジン、計算式、スキーマ、問題事実の変更は明示的に版を上げます。
この方法が主張しないこと
- 知能、人間の所要時間、すべてのソルバーに共通する普遍的な難易度は測りません。
- 完全に検証したエンジン経路は一つの正しい経路であり、別のソルバーは別経路を選ぶことがあります。
- LDI v0 は所要時間、ヒント、誤答、アカウント、地域などの行動データを使いません。
- 公開サンプルは完全な証明、非公開シード、ホールドアウトの問題別診断を公開しません。