数独术语表

Legen 在题目与解释中使用的术语。

这些定义让三语页面中的坐标、候选推理、proof 步骤和难度事实保持一致。

格（Cell）

9×9 棋盘中的一个方格。Legen 用行列坐标表示，例如 r3c7。

行（Row）

横向的九个格，从上到下编号 1–9。

列（Column）

纵向的九个格，从左到右编号 1–9。

宫（Box）

一个 3×3 区域；九个宫按从左到右、从上到下读取。

区域（Unit）

任意一行、一列或一宫，其中数字 1–9 必须各出现一次。

已知数（Given）

公开题目固定的数字，玩家不能修改。

候选数（Candidate）

在当前验证局面中仍能合法放入某个空格的数字。

落子（Placement）

把一个数字写入一个格子的已验证 proof 步骤。

候选删除（Candidate elimination）

不填格，只从一个或多个格中删除候选数的已验证 proof 步骤。

证明（Proof）

不可变结构化数据，说明某次落子或删除为什么对精确的棋盘 revision 有效。

逻辑覆盖（Logic coverage）

“complete”表示固定引擎只用支持且验证通过的步骤完成了棋盘。

LDI

Legen 难度指数：有版本的 0–100 引擎相对分数，不是人的能力分数。

题目 ID（Puzzle ID）

由内容稳定派生的标识；同一题的所有语言与资产共用。