40、高效计算最小点代数约束：算法与实验分析

高效计算最小点代数约束：算法与实验分析

1. 链闭包相关概念

在时间图的处理中，链闭包是一个重要的概念。这里定义了两个关键的链接：
- ChainLess(v, c) ：它是链 c 上的第一个节点 w ，使得时间图能推出 v < w （即从 v 到 w 存在 < 路径）。
- ChainLeq(v, c) ：它是链 c 上的第一个节点 t ，使得时间图能推出 v ≤ t （即从 v 到 t 存在 ≤ 路径）。

当这些链接未定义时，对应的值为 “null”。我们将 ChainLess 和 ChainLeq 链接的集合称为时间图的链闭包（或元图闭包）。

2. 链闭包算法

链闭包算法 ChainClosure 由三个嵌套循环组成，其具体流程如下：

Algorithm: ChainClosure
Input: a timegraph T ;
Output: T extended with chain closure (ChainL