PrepStack Free

首个 family 关系图

Free 图只投影首个 family；完整跨 family 关系、选型、复杂度与证明图属于 Pro。

DFS 连通块与可达性节点一旦标记 visited，就已被归入当前搜索代表的分量，之后不会属于另一分量。BFS 连通性遍历队列中的节点已被发现并归属当前分量，但尚未展开；未访问节点尚未被证明从当前起点可达。网格 Flood Fillfrontier 中每个坐标都已通过边界和谓词检查并被标记；弹出后只需扩展合法邻居。拓扑排序 / 入度消除frontier 中节点在当前剩余图中入度为零；输出 u 后只有 u 的直接后继入度减少。

DFS 连通块与可达性 → alternative_to → BFS 连通性遍历
DFS 连通块与可达性 → specializes → 网格 Flood Fill
拓扑排序 / 入度消除 → same_shape_different_operator → BFS 连通性遍历

Pro graph views

Pro only

Problem Similarity

Only available for Pro members

Pro only

Prerequisite Roadmap

Only available for Pro members

Pro only

Algorithm Selection

Only available for Pro members

Pro only

Constraint To Template

Only available for Pro members

Pro only

Composite Recipes

Only available for Pro members

Pro only

Contrast And Dual

Only available for Pro members

Pro only

Error To Invariant

Only available for Pro members

Pro only

Complexity Feasibility

Only available for Pro members

Pro only

Personal Mastery

Only available for Pro members

Pro only

Transfer Ladder

Only available for Pro members

Pro only

Modeling Transforms

Only available for Pro members

Pro only

Proof Obligations

Only available for Pro members

Pro only

Coverage Quality

Only available for Pro members