Exploration of $k$-edge-deficient temporal graphs in linear time

TL;DR

This paper proves that exploring near-static, $k$-edge-deficient temporal graphs can be done in linear time relative to the number of vertices, extending static graph traversal efficiency to certain temporal settings.

Contribution

It establishes a polynomial-time exploration schedule of length $O(nk \, \log k)$ for always-connected $k$-edge-deficient temporal graphs, nearly matching the lower bounds.

Findings

Exploration schedule length is $O(nk \log k)$, nearly optimal.

For constant $k$, exploration time is linear in $n$, similar to static graphs.

The exploration schedule can be computed efficiently in polynomial time.

Abstract

We study the Temporal Exploration problem, where an agent must visit all vertices of a temporal graph while traversing at most one available edge per time step. Unlike static graphs, which can be explored in linear time, temporal constraints can substantially increase exploration time even when every snapshot of the graph is connected. To better understand the source of this complexity, we focus on a near-static setting and consider always-connected $k$-edge-deficient temporal graphs, in which each snapshot is connected and differs from a fixed underlying $n$-vertex graph by at most $k$ edges. Although such graphs are structurally close to static graphs, they can still exhibit non-trivial temporal behaviour. Prior work showed that these graphs can be explored in $O(kn \log n)$ time steps and established a lower bound of $\Omega(n \log k)$, leaving open whether linear-time exploration in $n$ is possible. We resolve this question by showing that any always-connected $k$-edge-deficient temporal graph admits an exploration schedule of length $O(nk \log k)$. Moreover, given such a temporal graph, the corresponding exploration schedule can be computed in polynomial time. The obtained bound is linear in the number of vertices up to a factor depending only on $k$, removes the extraneous logarithmic dependence on $n$, and is nearly optimal. In particular, for constant $k$, our result yields an order-optimal $\Theta(n)$ exploration time, showing that temporal exploration in this near-static regime essentially retains the linear-time character of static graph traversal.