Computing a (short) path between two vertices is one of the most fundamental primitives in graph algorithmics. In recent years, the study of paths in temporal graphs, that is, graphs where the vertex set is fixed but the edge set changes over time, gained more and more attention. A path is time-respecting, or temporal, if it uses edges with non-decreasing time stamps. We investigate a basic constraint for temporal paths, where the time spent at each vertex must not exceed a given duration $\Delta$, referred to as $\Delta$-restless temporal paths. This constraint arises naturally in the modeling of real-world processes like packet routing in communication networks and infection transmission routes of diseases where recovery confers lasting resistance. While finding temporal paths without waiting time restrictions is known to be doable in polynomial time, we show that the "restless variant" of this problem becomes computationally hard even in very restrictive settings. For example, it is W[1]-hard when parameterized by the distance to disjoint path of the underlying graph, which implies W[1]-hardness for many other parameters like feedback vertex number and pathwidth. A natural question is thus whether the problem becomes tractable in some natural settings. We explore several natural parameterizations, presenting FPT algorithms for three kinds of parameters: (1) output-related parameters (here, the maximum length of the path), (2) classical parameters applied to the underlying graph (e.g., feedback edge number), and (3) a new parameter called timed feedback vertex number, which captures finer-grained temporal features of the input temporal graph, and which may be of interest beyond this work.


翻译:计算两个顶点之间的( 短) 路径是图形算法中最基本的原始值之一 。 最近几年, 在时间图中研究路径, 也就是在时间图中研究路径, 也就是说, 图表中, 顶点设置固定, 边缘设置随时间变化而变化, 越来越引起更多的关注。 路径是尊重时间的路径, 或者是时间的路径, 如果它使用非递减时间印记的边緣。 我们调查一个时间路径的基本限制, 每个顶点所花的时间不能超过一定的时间长度 $\Delta$, 称为$\Delta$- reset 时间路径。 最近几年里, 也就是在时间图中, 时间图设置中, 顶点是螺旋组合的路径, 时间图里程里是自然的路径, 直线路里是自然的路径。 我们发现, 问题“ 淡变变数”, 即使在非常严格的设置中, 问题也很难计算 。 例如, 新的数字是W[ 1] 硬,, 由直径直线路路路段到直到直径直径直路路段的直径, 。 因此, 直路路的直径直径直路的直路路的直路的直路段 。 [ 1) 。 [ 。 [1] 。

0
下载
关闭预览

相关内容

CC在计算复杂性方面表现突出。它的学科处于数学与计算机理论科学的交叉点,具有清晰的数学轮廓和严格的数学格式。官网链接:https://link.springer.com/journal/37
专知会员服务
72+阅读 · 2021年4月8日
Python图像处理,366页pdf,Image Operators Image Processing in Python
FlowQA: Grasping Flow in History for Conversational Machine Comprehension
专知会员服务
28+阅读 · 2019年10月18日
强化学习最新教程,17页pdf
专知会员服务
174+阅读 · 2019年10月11日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
Hierarchically Structured Meta-learning
CreateAMind
25+阅读 · 2019年5月22日
Transferring Knowledge across Learning Processes
CreateAMind
27+阅读 · 2019年5月18日
Call for Participation: Shared Tasks in NLPCC 2019
中国计算机学会
5+阅读 · 2019年3月22日
逆强化学习-学习人先验的动机
CreateAMind
15+阅读 · 2019年1月18日
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
Hierarchical Disentangled Representations
CreateAMind
4+阅读 · 2018年4月15日
【学习】Hierarchical Softmax
机器学习研究会
4+阅读 · 2017年8月6日
Arxiv
0+阅读 · 2021年7月15日
VIP会员
相关资讯
Top
微信扫码咨询专知VIP会员