在静态图中，如果对于任意三个顶点 $a, b, c$，存在弧 $(a,b)$ 和 $(b,c)$ 时，必然存在弧 $(a,c)$，则称该图的一个方向为传递的。如果仅需存在弧 $(a,c)$，但其方向不受限制，则称该方向为准传递的。Ghouila-Houri 提出的一个基本结果保证了任何允许准传递方向的静态图也允许传递方向。Mertzios 等人在其开创性工作中引入了时间传递性概念，以模拟简单时间网络中的信息流。
我们重访 Mertzios 等人提出的模型，并在时间场景中提出了与 Ghouila-Houri 表征的类似概念。我们展示了一个结构定理，允许我们通过 2-SAT 公式表达所有由时间传递方向施加的约束。这将产生一个高效的识别算法，用于识别允许此类方向的图。
此外，我们将时间传递模型扩展到具有多个时间标签的时间图，并声称先前的结果在多标签设置下仍然成立。最后，我们通过禁止的时间有序模式提出了时间可比图的表征。
博主点评： 本文对时间图的传递性进行了深入探讨，提出了一种新的结构定理，借助 2-SAT 公式实现了高效识别。这一进展不仅丰富了可比图的理论框架，也为处理复杂时间网络中的信息流提供了新思路，具有潜在的应用价值。