PrepWeave Free

首个 family 关系图

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

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

Pro graph views

Pro only

Problem Similarity

Pro only

Prerequisite Roadmap

Pro only

Algorithm Selection

Pro only

Constraint To Template

Pro only

Composite Recipes

Pro only

Contrast And Dual

Pro only

Error To Invariant

Pro only

Complexity Feasibility

Pro only

Personal Mastery

Pro only

Transfer Ladder

Pro only

Modeling Transforms

Pro only

Proof Obligations