K-Reach：谁在你的小世界中

我们研究了在有向图中回答 k 跳可达性查询的问题，即在输入图中是否存在一条从源查询顶点到目标查询顶点的长度为 k 的有向路径。k 跳可达性问题是对经典可达性问题（其中 k=无穷大）的推广。现有的用于处理经典可达性查询以及最短路径查询的索引，不适用于或不能高效处理 k 跳可达性查询。我们提出了一种用于处理 k 跳可达性查询的索引，其设计简单且构建高效。我们在广泛真实数据集上的实验结果表明，即使对于主要为此设计的经典可达性查询，我们的索引也比最先进的索引更高效。我们还展示了我们的索引在回答 k 跳可达性查询方面是高效的。