---
title: Temporal Graph Exploration (TEXP)
url: https://www.emergentmind.com/topics/temporal-graph-exploration-problem-texp
type: topic
---

# Temporal Graph Exploration (TEXP)

The Temporal Graph Exploration Problem (TEXP) asks for a shortest temporal walk that visits all vertices of a temporal graph, where a temporal graph is a sequence of graphs on a common vertex set and the \(i\)-th move may use only an edge present in the \(i\)-th snapshot. In the notation used in recent work, for a temporal graph \(\mathcal{G}\), the exploration time is
\[
\texp(\mathcal{G}) = \min\{t : \exists \text{ a temporal walk starting at some vertex that visits all vertices within time } t\},
\]
with \(\texp(\mathcal{G})=\infty\) if exploration is impossible [2508.03361]. TEXP is one of the central optimization problems in temporal graph theory because it exposes the interaction between temporal reachability, snapshot structure, and algorithmic access to the future.

## 1. Formal model and core notions

A temporal graph is typically written as a sequence of snapshots on a fixed vertex set,
\[
\mathcal{G} = (G_1,G_2,\dots),
\]
or, in finite-lifetime settings,
\[
\mathcal{G}=\langle G_1,G_2,\dots,G_L\rangle,
\]
where each \(G_t=(V,E_t)\) and the underlying graph is the static union of all edges that ever appear [2508.03361]. A time-edge is a pair \((e,t)\) with \(e\in E_t\). A temporal path is a sequence of time-edges with strictly increasing times whose underlying edges form a static path; a temporal walk is defined analogously with repeated vertices allowed. In the strict model, the agent traverses at most one edge per time step; in the non-strict model, an arbitrary number of edges may be traversed within one snapshot, which can equivalently be expressed by moving inside connected components with non-decreasing snapshot indices [2212.01594].

The always-connected regime is the foundational deterministic setting: every snapshot \(G_t\) is connected. In that regime, a standard lemma states that in any sliding window of \(n\) consecutive snapshots, every pair of vertices is temporally connected; equivalently, moving between arbitrary vertices never takes more than \(n\) time steps in such a window [2508.03361]. This property underlies many upper bounds, because it converts per-snapshot connectivity into a uniform temporal reachability guarantee.

TEXP is also studied in online and offline forms. In offline, or clairvoyant, exploration the full snapshot sequence is known in advance; in online exploration the algorithm only knows the past and current snapshot and must move without knowledge of future snapshots [2508.03361]. Much of the sharpest recent progress concerns the offline setting, while several lower bounds show that online exploration can be strictly harder.

## 2. Worst-case deterministic landscape

In the adversarial always-connected model, TEXP has a sharp quadratic baseline. Every always-connected temporal graph on \(n\) vertices admits an exploration in \(O(n^2)\) time, and there are always-connected temporal graphs requiring \(\Omega(n^2)\) time; thus the worst-case exploration time is \(\Theta(n^2)\) up to constants [1504.07976]. This remains true even though every individual snapshot is connected. A common misconception is that per-snapshot connectivity already implies static-like exploration behavior; the quadratic lower bound shows that temporal ordering alone can force repeated waiting and revisitation.

The optimization problem is also hard in the approximation sense. For every constant \(\varepsilon>0\), it is NP-hard to approximate TEXP within a factor \(O(n^{1-\varepsilon})\) [1504.07976]. The same work also gives bounded-degree lower bounds of order \(\Omega(dn)\) and a planar degree-4 construction, with each snapshot a path, requiring \(\Omega(n\log n)\) exploration time. These results identify two separate sources of difficulty: global temporal adversariality, which yields quadratic worst-case behavior, and sparse structured dynamics, which can still force superlinear exploration.

This baseline has become the point of comparison for essentially all later work. Subsequent papers either restrict the temporal process, restrict the underlying graph, or alter the objective, with the aim of escaping the quadratic barrier.

## 3. Structured classes with improved exploration bounds

A large body of recent work isolates structural properties that reduce exploration complexity. The following bounds are representative.

| Class or model | Exploration guarantee | Source |
|---|---|---|
| Always-connected, average temporal maximum degree \(D\) | \(O(n^{3/2}\sqrt{D\log n})\) | [2511.22604] |
| Always-connected \(k\)-edge-deficient temporal graphs | \(O(nk\log k)\); for constant \(k\), \(\Theta(n)\) | [2605.15833] |
| \(f\)-frequent / \(r\)-regular temporal graphs | \(f(2n-3)\) and \(r(2n-3)\); more generally, at most \(2F\) where \(F\) is the MWST weight in the frequency-weighted underlying graph | [2505.14046] |
| Word-representable temporal graphs | \(2\delta n\) if connected in every timestep; \(2dn\) under the stated word-length condition | [2502.07496] |
| Always \(S\)-connected temporal graphs with \(m=|S|\) agents | \(O(n^{1.5}m^3\Delta^{1.5}\log^{1.5}n)\); treewidth-\(k\) single-agent corollary \(O(n^{4/3}k^{5.5}\log^{2.5}n)\) | [2602.19657] |

The parameter \(D\), the average temporal maximum degree, unifies several earlier subquadratic bounds. If each snapshot has maximum degree at most \(d\), then \(D\le d\), yielding \(O(n^{3/2}\sqrt{d\log n})\); if the underlying graph has bounded average degree, the same theorem gives the first subquadratic upper bound in that regime [2511.22604]. The same framework improves earlier bounds for planar and bounded-treewidth underlying graphs.

The near-static regime of \(k\)-edge-deficient temporal graphs takes a different route. Here each snapshot differs from a fixed spanning tree in at most \(k\) missing edges, so a stable backbone is almost always present. The resulting exploration time \(O(nk\log k)\) removes the extraneous \(\log n\) factor from previous bounds, and for constant \(k\) it yields order-optimal \(\Theta(n)\) exploration time [2605.15833]. This identifies a setting in which temporal exploration essentially retains the linear-time character of static graph traversal.

Frequency and regularity assumptions replace structural restrictions by temporal recurrence constraints. If every edge is active at least once in every \(f\) consecutive time steps, then exploration is possible in \(f(2n-3)\) steps; if edges obey periodic activation with regularity at most \(r\), the analogous bound is \(r(2n-3)\) [2505.14046]. The underlying technique is to weight each static edge by its worst waiting time and then explore a minimum-weight spanning tree of the frequency-weighted underlying graph.

Word-representable temporal graphs impose a combinatorial structure via a representing word. In the always-connected case, every edge reappears within \(\delta+1\) steps, where \(\delta\) is the minimum degree of the underlying graph, leading to exploration in at most \(2\delta n\) time. In the general connected case, under the stated word-length condition, every edge appears in every window of \(d+1\) steps, where \(d\) is the underlying diameter, yielding exploration in at most \(2dn\) time; a matching \(\Omega(dn)\) lower bound is also given [2502.07496].

A further generalization replaces per-snapshot connectivity by always \(S\)-connectedness: each snapshot may have up to \(|S|\) connected components, each containing a vertex of \(S\). With \(m=|S|\) agents, this yields \(O(n^{1.5}m^3\Delta^{1.5}\log^{1.5}n)\) exploration, and when combined with \((r,b)\)-divisions it produces improved single-agent bounds for bounded-treewidth and certain interval graphs [2602.19657]. This suggests that separator structure and controlled component interfaces can substitute for full snapshot connectivity.

## 4. Random spanning-tree models and probabilistic exploration

A major recent shift is the study of TEXP in stochastic temporal graphs. The Random Spanning Tree (RST) model consists of a set \(\mathcal{T}\) of trees on \([n]\) together with a probability distribution \(\mu\), and a random temporal graph is obtained by taking i.i.d. samples \(G_1,G_2,\dots\) from \(\mu\) [2508.03361]. Each snapshot is therefore a spanning tree, so the model is sparse but always-connected.

The main theorem is a sharp separation from the adversarial case: any RST model can, with high probability, be explored offline in \(O(n^{3/2})\) time, and this is tight up to constant factors [2508.03361]. The lower bound is realized by star-based RSTs. For a uniform distribution over \(\lceil n/3\rceil\) distinct \(n\)-vertex stars, the exploration time is concentrated around
\[
\sqrt{\frac{2\pi}{27}}\,n^{3/2}
\]
up to an additive \(n\log^2 n\) term. Thus randomness lowers the worst-case order from \(\Theta(n^2)\) to \(\Theta(n^{3/2})\) in this model.

The key structural phenomenon is temporal closeness. For sufficiently large \(n\), every vertex has at least \(\sqrt n\) vertices that are \((700\sqrt n,1/9)\)-close, meaning reachable within \(700\sqrt n\) time steps with probability at least \(1/9\) [2508.03361]. The proof uses a temporal analogue of depth-first search, coupled runs on independent samples, and concentration arguments. This closeness relation defines an auxiliary meta-graph \(H\) whose connected components all have size at least \(\sqrt n\); there are therefore at most \(\sqrt n\) such components. An Euler-tour traversal inside components, together with deterministic \(O(n)\)-time travel between components from always-connectedness, yields the \(O(n^{3/2})\) exploration bound.

A stronger result holds when all sampled trees are spanning trees of a fixed connected graph \(G\) with \(m\) edges. In that case, exploration is possible offline in time at most \(54m\) with probability at least \(1-e^{-\Omega(m^{1/6})}\) [2508.03361]. The construction weights each edge \(e\) by \(w_e=1/p_e\), where \(p_e\) is its appearance probability, uses a minimum-weight spanning tree, and refines it into a backbone forest and fast components joined by meta-edges. The same paper proves that such linear-in-\(m\) behavior is impossible for online algorithms in general: there are sparse instances where every randomized online explorer needs \(\Omega(n\log n)=\Omega(m\log m)\) time with high probability.

## 5. Parameterized complexity and kernelization

Parameterized work has focused especially on strict and non-strict exploration variants. In the strict model, a temporal walk uses edges at strictly increasing times; in the non-strict model, one may traverse arbitrarily many edges within a snapshot component [2212.01594]. For the strict variant, \(k\)-fixed TEXP can be solved in \(O(2^k\cdot k\cdot L\cdot n^2)\) time, and \(k\)-arbitrary TEXP admits a Monte Carlo algorithm with running time \(O((2e)^k\cdot L\cdot n^3\cdot \log(1/\varepsilon))\) and a deterministic counterpart with running time \((2e)^k\cdot k^{O(\log k)}\cdot L\cdot n^3\cdot \log n\) [2212.01594]. In the non-strict model, NS-TEXP is fixed-parameter tractable in the lifetime \(L\), solvable in \(O(L\cdot (L!)^2\cdot n)\), and if every snapshot has at most two connected components then NS-TEXP, \(k\)-fixed NS-TEXP, \(k\)-arbitrary NS-TEXP, and Set NS-TEXP are all solvable in \(O(Ln+n^2\log n)\) time [2212.01594].

The negative side is equally pronounced. Set TEXP and Set NS-TEXP are W[2]-hard when parameterized by the lifetime \(L\) [2212.01594]. For non-strict exploration, NS-TEXP is NP-complete for \(\gamma\ge 5\), where \(\gamma\) is the maximum number of connected components in any snapshot, and remains NP-complete even when the underlying graph is a tree of depth two [2302.10110]. That result rules out hopes that simple static structure alone makes temporal exploration easy.

Kernelization results sharpen this picture. Under the standard assumption that \(\textsf{NP}\nsubseteq \textsf{coNP}/\textsf{poly}\), neither NS-TEXP nor \(k\)-arb NS-TEXP admits polynomial kernels for the standard parameters \(n\), \(L\), \(k\), or \(\gamma\), nor for the combined parameters \(L+k\), \(L+\gamma\), and \(k+\gamma\) [2302.10110]. The positive exception is structural: for
\[
p(\mathcal{G})=\sum_{i=1}^{L}|E(G_i)|-|V(G)|+1,
\]
which measures the excess of total edge appearances over a spanning-tree baseline, Weighted \(k\)-arb NS-TEXP admits a kernel of size \(O(p^4)\), with \(|V(\mathcal{G}')|=O(p)\), \(|E(\mathcal{G}')|=O(p)\), and \(L'=O(p)\) [2302.10110]. The proof identifies a small core containing all repeated edges and compresses the attached tree components by local gadget replacements plus Frank–Tardos weight compression. This suggests that temporal sparsity, rather than standard graph parameters, is the more effective kernelization axis for exploration.

## 6. Related objectives and specialized variants

Several closely related formulations refine or specialize TEXP. The Shortest Temporal Exploration Problem (STEXP) keeps the always-connected model and the same strict movement rule, but minimizes the number of traversed edges subject to completing within a given lifetime \(L\) [2504.06652]. Every constantly connected temporal graph with \(n\) vertices can be explored with \(O(n^{1.5})\) edges within \(O(n^{3.5})\) time steps. If every snapshot has diameter at most \(k\), there exists an exploration using \(O(kn)\) edges within \(O(kn^2)\) time. For temporal cycles with \(L\ge 2n-3\), the worst-case edge complexity is tightly characterized: if \(L\ge 2n-2\), the bound is \(\lfloor \tfrac32 (n-1)\rfloor\), whereas for \(L=2n-3\) there are instances requiring exactly \(2n-3\) edges [2504.06652].

Another specialized line studies temporal stars with a return-to-base requirement. In this model the walk starts at the center, visits leaves, and returns to the center. The decision problem \(\mathrm{StarExp}(k)\) and the maximization problem \(\mathrm{MaxStarExp}(k)\) depend on the maximum number \(k\) of time labels per edge. \(\mathrm{MaxStarExp}(2)\) and \(\mathrm{StarExp}(3)\) are solvable in \(O(n\log n)\), while for every \(k\ge 6\), \(\mathrm{StarExp}(k)\) is NP-complete and \(\mathrm{MaxStarExp}(k)\) is APX-hard; a polynomial-time 2-approximation exists for \(\mathrm{MaxStarExp}(k)\) for every \(k\) [1805.04713]. Although this is not standard TEXP, it shows that temporal hardness can arise even on the simplest underlying topology once time labels are sufficiently expressive.

A more historical antecedent is the exploration of periodically varying graphs, where edges appear according to periodic carrier routes rather than arbitrary snapshot sequences. In anonymous systems, exploration is impossible without an upper bound on the period; with node IDs, exploration is impossible without either a period bound or the total number of sites \(n\). These limitations are tight: worst-case optimal algorithms are given for anonymous systems with a period bound and for labelled systems with node IDs [0909.4369]. This route-based model predates the current snapshot-centric formulation but already exhibits the same core phenomenon as TEXP: temporal recurrence and switching opportunities, rather than static connectivity alone, determine what exploration can achieve.

Taken together, these results suggest that the main algorithmic divide in temporal exploration is not simply between connected and disconnected snapshots. The stronger distinction is between adversarial temporal orderings, which preserve the quadratic worst-case barrier, and models with exploitable temporal regularity, stochastic independence, bounded recurrence, or compressible structure, which admit subquadratic or even near-linear exploration regimes.

Source: https://www.emergentmind.com/topics/temporal-graph-exploration-problem-texp