問題の生成・検証方法
Legen がナンプレ問題を生成、検証、公開する方法
公開問題は、候補盤面から固定問題 ID、一意解、検証済み論理トレース、版を持つ難易度スコア、恒久的な出典ページまで、決定論的な手順を通ります。
「Legen Puzzle Engine verified」は、初期数字に一意解があり、表示する各論理手順が公開エンジン版の独立した証明検証に通ったことを意味します。人間の専門家が全問を個別審査したという意味ではありません。
1. 問題は公開前に生成して確認します
問題はサイトに掲載する前に用意し、確認を終えます。各問題は固定ページで変わらず、再読み込みしても新しい問題に置き換わりません。
2. 形式と一意解を先に確認します
81マスすべてを検証し、矛盾する初期数字を拒否し、固定した探索上限で解の数を数えます。解がちょうど1つの問題だけを公開カタログに入れます。
3. 表示する論理手順をもう一度検証します
数字の確定や候補削除を表示する前に、対象マス、数字、行、列、ブロック、パターン、候補、現在の盤面を別の処理で確認します。
4. 難易度は初期数字数ではなく版で管理します
LDI v0 は最上位の検証済みテクニック、重み付き論理作業、明示的な候補削除を使います。値はエンジン版と LDI 版に結び付き、過去値を無断で書き換えません。
5. 問題を理解するための公開情報だけを掲載します
サイトには、問題と検証結果を理解するために必要な情報を掲載します。非公開の生成データや未公開の診断情報は、ページやダウンロードに含めません。
6. 訂正を追跡できる形で示します
確認済みの事実訂正には日付を付け、もう一度検証します。エンジン、計算式、データ形式、問題事実を変える場合は新しい版として公開します。
この方法が主張しないこと
- 知能、人間の所要時間、すべてのソルバーに共通する普遍的な難易度は測りません。
- 完全に検証したエンジン経路は一つの正しい経路であり、別のソルバーは別経路を選ぶことがあります。
- LDI v0 は所要時間、ヒント、誤答、アカウント、地域などの行動データを使いません。
- ダウンロード用サンプルは簡潔な公開データであり、非公開の生成データや未公開の問題別診断は含みません。