时序图论文阅读2

论文名称：Span-reachability querying in large temporal graphs（2022）

论文研究背景

        大多数关于时间图中可达性查询的现有工作都假设，如果两个顶点通过具有不递减时间戳（时间相关）的边的路径连接，则这两个顶点是相关的。这一假设未能捕捉到同一组或活动中涉及的实体之间的关系，没有时间相关的路径将它们连接起来。在本文中，我们定义了一个新的可达性模型，称为跨度可达性，旨在放松时间顺序依赖性并识别给定时间段内实体之间的关系。我们采用了两跳覆盖的思想，并提出了一种基于索引的方法来回答跨度可达性查询。为了提高索引构建和查询处理的效率，还进行了一些优化。

论文内容

论文思想：

        我们在n次迭代中构造索引，其中n是时间图中的顶点数。在每一次迭代中，我们选取一个顶点u来计算其具有相应时间间隔的所有可到达顶点，并在必要时将u添加到其他顶点的标签内或标签外集合。该索引构建算法包含了几个优化。首先，我们使用优先级队列来探索每次迭代中所拾取顶点u的可达顶点。基于优先级队列，我们的第一步始终是处理从u可到达的具有最短时间间隔的顶点。此外，通过研究不同间隔之间的优势关系，如果满足特定条件，我们停止探索访问的可达顶点的邻居。该修剪规则显著减少了每个顶点的搜索空间。真实世界的时间图是高度动态的。我们还提出了在插入新边和删除旧边时保持TILL索引的算法。

基本概念：

        时序图中边e： <u, v , t> 是一个3元组    n = |V|为顶点数    m = |E|为边数

        u的外邻居表示：Nout(u) = { <v, t>|(u, v , t) ∈ E}

        u的出度degrout(u) = |Nout(u)|  (resp. degrin(u) =|Nin(u)|)

        间隔 [ts, te] 长度或宽度是间隔中的时间戳数，即te−ts+1。比如[2,4]，宽度为3

 跨度可达性：