Edge Exploration of Temporal Graphs
Benjamin Merlin Bumpus, Kitty Meeks
Abstract
Abstract We introduce a natural temporal analogue of Eulerian circuits and prove that, in contrast to the static case, it is $${\textsc {NP}}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mi>NP</mml:mi></mml:math> -hard to determine whether a given temporal graph is temporally Eulerian even if strong restrictions are placed on the structure of the underlying graph and each edge is active at only three times. However, we do obtain an $${\textsc {FPT}}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mi>FPT</mml:mi></mml:math> -algorithm with respect to a new parameter called interval-membership-width which restricts the times assigned to different edges; we believe that this parameter will be of independent interest for other temporal graph problems. Our techniques also allow us to resolve two open questions of Akrida, Mertzios and Spirakis [CIAC 2019] concerning a related problem of exploring temporal stars.