ETH-TIGHT ALGORITHMS FOR LONG PATH AND CYCLE ON UNIT DISK GRAPHS
JOURNAL OF COMPUTATIONAL GEOMETRY(2020)
摘要
We present an algorithm for the extensively studied Long Path and Long Cycle problems on unit disk graphs that runs in time 2(O(root k))(n+m). Under the Exponential Time Hypothesis, LONG PATH AND LONG CYCLE on unit disk graphs cannot be solved in time 2(o(root k))(n + m)O(1) [de Berg et al., STOC 2018], hence our algorithm is optimal. Besides the 2(O(root k))(n + m)(O(1))-time algorithm for the (arguably) much simpler VERTEX Cover problem by de Berg et al. [STOC 2018] (which easily follows from the existence of a 2k-vertex kernel for the problem), this is the only known ETH-optimal fixed-parameter tractable algorithm on UDGs. Previously, LONG PATH AND LONG CYCLE on unit disk graphs were only known to be solvable in time 2(O(root k log k))(n + m). This algorithm involved the introduction of a new type of a tree decomposition, entailing the design of a very tedious dynamic programming procedure. Our algorithm is substantially simpler: we completely avoid the use of this new type of tree decomposition. Instead, we use a marking procedure to reduce the problem to (a weighted version of) itself on a standard tree decomposition of width O(root k).
更多查看译文
关键词
unit disk graphs,algorithms,long path,eth-tight
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要