传递闭包实现疑问：是否应包含初始节点（零/多步vs一/多步）

一、学术定义与工程实践的差异 #

在图论的标准定义中，传递闭包是包含零步或多步可达节点的集合——也就是说起始节点本身会被自动包含，这是因为传递闭包本质是描述节点间的可达性关系，而自反性（节点到自身的零步可达）是这种关系的基础属性。但在工程实现场景里，两种定义（零步/一步起）都有实际应用，没有绝对的"正确"，核心看场景适配性。

二、两种实现的利弊对比 #

• 零步+多步（含起始节点）
  • 优点：契合学术标准，对于需要完整可达性关系的场景（比如关系数据库的闭包查询、图结构完整性校验）更直接，用户无需额外处理起始节点。
  • 缺点：无法直接从结果区分"仅零步可达"和"存在非平凡回路"——结果里的起始节点可能只是默认包含，也可能存在一条从起点出发再返回的有效路径。
• 一步+多步（不含起始节点）
  • 优点：完全聚焦于"通过路径跳转真正可达"的节点，用户能清晰区分起始节点和路径可达节点，若需要包含起始节点，手动添加的成本极低。
  • 缺点：不符合部分专业场景的预期，必须在文档中明确标注，避免用户误将其等同于标准传递闭包。

三、通用实现的最优方案 #

如果是开发通用的传递闭包工具，建议这么做：

1. 默认采用零步+多步的标准定义，匹配多数学术和专业场景的需求；
2. 提供可选参数（比如include_self: bool或者mode: "standard" | "non_trivial"），允许用户切换到一步起的模式；
3. 在API文档里明确说明两种模式的区别，比如：当需要排查是否存在回到起点的非平凡路径时，可使用一步模式，若结果中出现起始节点，则说明存在回路。

如果只打算做单一实现，你的倾向（一步+多步）是可行的，但一定要在文档里高亮标注：此实现返回的是从起始节点出发经过至少一步可达的节点集合，不包含起始节点本身，避免混淆。

内容的提问来源于stack exchange，提问作者Michael Kay