ナンプレ用語集

Legen が問題と解説で使う用語

座標、候補推論、証明手順、難易度情報を英語・中国語・日本語で一貫させるための定義です。

マス（Cell）

9×9盤面の1つの正方形。Legen は r3c7 のように行と列で示します。

行（Row）

横方向の9マス。上から下へ1〜9と数えます。

列（Column）

縦方向の9マス。左から右へ1〜9と数えます。

3×3ブロック（Box）

3×3の領域。左から右、上から下へ9つ並びます。

ユニット（Unit）

数字1〜9が一度ずつ入る必要がある行、列、または3×3ブロック。

初期数字（Given）

公開問題で固定された数字。プレイヤーは変更できません。

候補（Candidate）

現在の検証済み状態で空きマスにまだ合法的に入る数字。

配置（Placement）

1つのマスに1つの数字を書く検証済みの証明手順。

候補削除（Candidate elimination）

マスを埋めずに、1つ以上の候補を除く検証済みの証明手順。

証明（Proof）

ある盤面の状態で配置または削除が正しい理由を表す不変の構造化データ。

論理カバレッジ（Logic coverage）

“complete” は固定エンジンが対応する検証済み手順だけで完成したことを示します。

LDI

Legen Difficulty Index。版を持つ0〜100のエンジン相対スコアで、人の能力値ではありません。

問題 ID（Puzzle ID）

同じ初期数字の全言語・全公開ファイルで共有する、内容由来の固定識別子。