可传递性距离：用于控制时序图可达性的新参数
计算复杂性
2024-07-01 v1
摘要
时序图是一种特定时间点才出现的边的图。时序图中的可达性定义为沿时间顺序遍历边的路径（时序路径）。这种可达性形式既非对称也非传递，后者对即使是基本问题（如计算时序连通分量）的计算复杂度产生重要影响。本文引入了若干参数来衡量时序图 距离可传递性的程度，即“顶点删除距离到可传递性”和“弧修改距离到可传递性”，两者均作用于 的可达性图上。我们展示了这些参数对时序连通分量问题的影响，获得了若干基于固定参数可解性和多项式内核的可解性结果。显著的是，这些结果不受底图、快照或输入图生命周期限制。因此，我们的结果隔离了非传递性的影响，并确认了其在时序图问题难度中的关键作用。
引用
@article{arxiv.2406.19514,
title = {Distance to Transitivity: New Parameters for Taming Reachability in Temporal Graphs},
author = {Arnaud Casteigts and Nils Morawietz and Petra Wolf},
journal= {arXiv preprint arXiv:2406.19514},
year = {2024}
}