Hitting Geodesic Intervals in Graphs

• Hitting Geodesic Intervals is a graph problem where geodesic intervals comprise all vertices on any shortest u-v path, defining a unique hitting set challenge.
• The problem exposes a sharp complexity contrast, with NP-completeness proven via 3-Coloring reductions even on graphs nearly reducible to simple structures.
• Advanced parameterizations, such as modular-width and vertex integrity, enable fixed-parameter tractability through modular decomposition and separator localization.

Searching arXiv for the primary graph-theoretic and related uses of “Hitting Geodesic Intervals” to ground the article in current preprints. Hitting Geodesic Intervals is a graph-theoretic shortest-path hitting problem in which the targets are geodesic intervals rather than arbitrary vertex sets. For vertices $u,v$ in a graph $G=(V,E)$, the geodesic interval

$I_G[u,v]=\{x\in V : d_G(u,v)=d_G(u,x)+d_G(x,v)\}$

is the set of all vertices that lie on at least one shortest $u$-$v$ path, equivalently the union of all shortest $u$-$v$ paths. Given a graph $G$, a set $T$ of terminal pairs, and an integer $k$, the decision problem asks whether there exists a set $G=(V,E)$0 with $G=(V,E)$1 such that $G=(V,E)$2 for every $G=(V,E)$3. Introduced by Aravind and Saxena and substantially extended in "Hitting Geodesic Intervals in Structurally Restricted Graphs" (Gima et al., 1 Sep 2025), the problem now serves as a focal point for sharp contrasts between tractable and intractable shortest-path hitting regimes.

1. Definition and combinatorial meaning

The central object is the geodesic interval $G=(V,E)$4, defined by the distance identity

$G=(V,E)$5

This is the interval analogue of a shortest-path region: every vertex in $G=(V,E)$6 lies on some shortest $G=(V,E)$7-$G=(V,E)$8 path, and every shortest $G=(V,E)$9-$I_G[u,v]=\{x\in V : d_G(u,v)=d_G(u,x)+d_G(x,v)\}$0 path is contained in $I_G[u,v]=\{x\in V : d_G(u,v)=d_G(u,x)+d_G(x,v)\}$1 (Gima et al., 1 Sep 2025).

The Hitting Geodesic Intervals problem therefore asks for a small vertex set $I_G[u,v]=\{x\in V : d_G(u,v)=d_G(u,x)+d_G(x,v)\}$2 that intersects each prescribed interval $I_G[u,v]=\{x\in V : d_G(u,v)=d_G(u,x)+d_G(x,v)\}$3. Because $I_G[u,v]=\{x\in V : d_G(u,v)=d_G(u,x)+d_G(x,v)\}$4 is the union of all shortest $I_G[u,v]=\{x\in V : d_G(u,v)=d_G(u,x)+d_G(x,v)\}$5-$I_G[u,v]=\{x\in V : d_G(u,v)=d_G(u,x)+d_G(x,v)\}$6 paths, intersecting the interval means “hit at least one shortest path,” not “hit every shortest path individually.” This existential interpretation is fundamental: the requirement is over intervals, not over the family of shortest paths as separate objects (Gima et al., 1 Sep 2025).

The paper also considers a weighted analogue, but the main structural hardness statements are for the unweighted problem. In both variants, the central algorithmic question is how shortest-path geometry interacts with graph structure: the intervals are metric objects, but the hitting set is purely combinatorial.

2. Origins and the pre-2025 landscape

Aravind and Saxena introduced the problem under the name Terminal Monitoring Set. Before the 2025 preprint, the known parameterized picture already contained a mix of positive and negative results: W[2]-completeness parameterized by $I_G[u,v]=\{x\in V : d_G(u,v)=d_G(u,x)+d_G(x,v)\}$7; fixed-parameter tractability for $I_G[u,v]=\{x\in V : d_G(u,v)=d_G(u,x)+d_G(x,v)\}$8 cluster vertex deletion number and for $I_G[u,v]=\{x\in V : d_G(u,v)=d_G(u,x)+d_G(x,v)\}$9 neighborhood diversity; and, in the weighted setting, fixed-parameter tractability for feedback edge set number and vertex cover number (Gima et al., 1 Sep 2025).

The 2025 paper extends those results “in both negative and positive directions” and organizes them around structural graph parameters. Its main theme is that small perturbations of apparently simple graph classes do not collapse the problem, whereas certain separator-based or modular decompositions do. A main theme is a sharp contrast between closely related structural parameters: multiway cut of terminal vertices yields fixed-parameter tractability, while multicut of terminal pairs yields W[2]-completeness (Gima et al., 1 Sep 2025).

This places Hitting Geodesic Intervals alongside other shortest-path covering problems in parameterized complexity, but with a particularly delicate interaction between metric convexity and structural sparsity. The intervals are geodesic in the graph metric, yet even highly restricted graph classes retain enough shortest-path flexibility to encode hard constraint systems.

3. NP-completeness on highly restricted graph classes

A striking contribution of the 2025 paper is that NP-completeness survives under extremely severe structural restrictions (Gima et al., 1 Sep 2025). The constructions are reductions from 3-Coloring, and their common design principle is to encode one of three states inside a constant-size gadget while using geodesic intervals between gadgets to enforce consistency.

The first theorem shows NP-completeness on graphs of vertex-deletion distance $u$0 to the class of disjoint unions of 5-vertex paths. Deleting one special vertex $u$1 leaves a disjoint union of copies of $u$2. For each original vertex $u$3, the reduction creates a path

$u$4

adds $u$5, and uses local terminal pairs $u$6 and $u$7 to force exactly two selected vertices per gadget. Those two vertices encode one of three colors, while cross-gadget terminal pairs such as $u$8, $u$9, and $v$0 use shortest paths through $v$1 to forbid monochromatic adjacent vertices (Gima et al., 1 Sep 2025).

A modification of the same construction yields NP-completeness on graphs of vertex-deletion distance $v$2 to the class of paths. The gadgets are linked so that after deleting one vertex the graph becomes a single path, while the relevant geodesic intervals are preserved. This shows hardness already on graphs that are “one vertex away from a path” (Gima et al., 1 Sep 2025).

A second 3-coloring construction proves NP-completeness on graphs of vertex-deletion distance $v$3 to the class of disjoint unions of triangles. Here each original vertex is represented by a triangle $v$4 on $v$5, together with a universal vertex $v$6. Local triangle pairs force selecting exactly two triangle vertices, and the missing index determines the color. If adjacent original vertices omit the same index $v$7, then

$v$8

and no selected vertex can hit that interval. This construction improves the vertex-integrity upper bound of the hard instances to $v$9 (Gima et al., 1 Sep 2025).

Finally, replacing the universal vertex by a long path yields NP-completeness on graphs of bandwidth $u$0 and maximum degree $u$1. The role of the hub is simulated by local vertices $u$2 attached to each triangle and linked in a path; the instances remain equivalent because a size-$u$3 solution never needs to use any $u$4. The resulting graph has maximum degree $u$5 and an ordering witnessing bandwidth $u$6 (Gima et al., 1 Sep 2025).

These results are important because they rule out parameterized algorithms for many structural parameters if the solution size $u$7 is not part of the parameter. Hardness already at distance $u$8 from a path forest, distance $u$9 from a path, or vertex integrity $v$0 shows that shortest-path geometry alone does not enforce tractability.

4. Fixed-parameter tractability via modular and separator structure

The positive results rely on two distinct mechanisms: modular decomposition and separator localization (Gima et al., 1 Sep 2025).

For parameter $v$1 modular-width, the paper gives an $v$2-time algorithm, where $v$3. The algorithm first branches over the set of modules intersected by the solution. After updating each terminal constraint $v$4, a key structural fact is that if $v$5 and $v$6 lie in different modules, then the residual interval satisfies

$v$7

Hence the inter-module part reduces to a family of sets of size at most $v$8. The algorithm enumerates all minimal hitting sets of this size-2 family using Damaschke’s enumeration for minimal vertex covers of size at most $v$9, and then observes that every remaining nonempty family inside a module has a hitting set of size $G$0. This yields fixed-parameter tractability for $G$1 modular-width (Gima et al., 1 Sep 2025).

The more general engine is a weighted theorem parameterized by $G$2. One is given a set $G$3 with $G$4 such that every connected component of $G$5 contains at most $G$6 terminal vertices. The key localization lemma states that for $G$7,

$G$8

where $G$9 and $T$0 are the components of $T$1 containing $T$2 and $T$3. Thus, after branching on which pairs in $T$4 are hit, every interval from $T$5 intersects at most two components (Gima et al., 1 Sep 2025).

The algorithm then compresses vertices by $T$6-equivalence: two vertices are equivalent if they interrupt exactly the same terminal pairs. Inside a component, equivalence is controlled by the pairs in

$T$7

so each component meets at most

$T$8

equivalence classes. Consequently each interval has bounded size

$T$9

At that point the residual subfamily is a $k$0-Hitting Set instance, and a sunflower reduction either rejects or replaces it by an equivalent family of at most

$k$1

sets. The remaining instance is then fixed-parameter tractable because its number of sets depends only on $k$2 (Gima et al., 1 Sep 2025).

Two corollaries are especially significant. First, weighted Hitting Geodesic Intervals is fixed-parameter tractable parameterized by $k$3 vertex integrity. If $k$4 is the vertex integrity, a corresponding separator $k$5 can be found in time

$k$6

with $k$7 and every component of $k$8 containing at most $k$9 vertices, hence at most $G=(V,E)$00 terminals (Gima et al., 1 Sep 2025). Second, the weighted problem is fixed-parameter tractable parameterized by the minimum vertex multiway-cut size of the terminal set $G=(V,E)$01, since then one may take $G=(V,E)$02 (Gima et al., 1 Sep 2025).

5. Pairwise terminals, separator contrasts, and the current complexity map

The 2025 paper identifies two hardness frontiers that clarify the problem’s parameterized status (Gima et al., 1 Sep 2025).

The first is the contrast between multiway cut and multicut. The weighted problem is fixed-parameter tractable when parameterized by the minimum vertex multiway-cut size of the terminal vertices $G=(V,E)$03, but the unweighted problem is W[2]-complete parameterized by the minimum vertex multicut size of the terminal pairs $G=(V,E)$04. The hardness proof is a reduction from Hitting Set. Given a family $G=(V,E)$05, the construction creates set vertices $G=(V,E)$06, element vertices $G=(V,E)$07, and a set $G=(V,E)$08, with terminal pairs

$G=(V,E)$09

The set $G=(V,E)$10 is a vertex multicut for $G=(V,E)$11 of size $G=(V,E)$12, so the parameter is bounded. Because $G=(V,E)$13, some $G=(V,E)$14 is unselected, and then each pair $G=(V,E)$15 forces the solution to contain an element adjacent to $G=(V,E)$16, recovering a hitting set for the original instance (Gima et al., 1 Sep 2025).

The second frontier concerns the special case

$G=(V,E)$17

for some $G=(V,E)$18, called Pairwise Hitting Geodesic Intervals. This remains W[2]-complete parameterized by $G=(V,E)$19. The reduction augments the previous gadget by adding vertices $G=(V,E)$20, $G=(V,E)$21, and $G=(V,E)$22, then sets $G=(V,E)$23. Any solution of size $G=(V,E)$24 must contain both $G=(V,E)$25 and $G=(V,E)$26, because otherwise all $G=(V,E)$27 leaves on one side would need to be selected. Removing them leaves a size-$G=(V,E)$28 set that still hits all original $G=(V,E)$29 pairs, so the restriction to all pairs inside $G=(V,E)$30 does not simplify the problem (Gima et al., 1 Sep 2025).

The resulting complexity picture is sharply stratified:

Parameter / setting	Status	Source
$G=(V,E)$31	W[2]-complete	background in (Gima et al., 1 Sep 2025)
$G=(V,E)$32 modular-width	FPT	(Gima et al., 1 Sep 2025)
$G=(V,E)$33 vertex integrity (weighted)	FPT	(Gima et al., 1 Sep 2025)
minimum vertex multiway-cut size of $G=(V,E)$34 (weighted)	FPT	(Gima et al., 1 Sep 2025)
minimum vertex multicut size of $G=(V,E)$35	W[2]-complete	(Gima et al., 1 Sep 2025)
$G=(V,E)$36, parameter $G=(V,E)$37	W[2]-complete	(Gima et al., 1 Sep 2025)

The paper explicitly notes that many “$G=(V,E)$38 structural parameter” cases remain open, including treewidth, pathwidth, feedback vertex set, distance to path forest, and bandwidth in the plus-$G=(V,E)$39 regime. It also isolates an open separator problem: given $G=(V,E)$40, a terminal set $G=(V,E)$41, and integers $G=(V,E)$42, decide whether there exists $G=(V,E)$43, $G=(V,E)$44, such that every component of $G=(V,E)$45 contains at most $G=(V,E)$46 terminals. The paper obtains a nonuniform fixed-parameter consequence via graph minors, but asks for a uniform fixed-parameter algorithm (Gima et al., 1 Sep 2025).

6. Other mathematical uses of “hitting geodesic intervals”

The phrase “hitting geodesic intervals” also appears in several unrelated literatures, where it denotes different objects.

In hyperbolic integral geometry, the relevant question is the invariant measure of $G=(V,E)$47-geodesic hyperplanes intersecting an ordinary geodesic segment. For a segment $G=(V,E)$48 of hyperbolic length $G=(V,E)$49 starting at the origin in $G=(V,E)$50, the paper "Seeing Through Hyperbolic Space: Visibility for $G=(V,E)$51-Geodesic Hyperplanes" proves

$G=(V,E)$52

for every $G=(V,E)$53. The constant is independent of $G=(V,E)$54, even though for $G=(V,E)$55 a $G=(V,E)$56-geodesic hyperplane can intersect the segment in $G=(V,E)$57, $G=(V,E)$58, or $G=(V,E)$59 points (Kabluchko et al., 24 Feb 2026).

In first-passage percolation, the closest analogue is not a graph geodesic interval but a local ambient-lattice window. "Geodesics in first-passage percolation cross any pattern" studies valid patterns $G=(V,E)$60 and proves that, apart from an event with exponentially small probability, every long point-to-point geodesic encounters such patterns linearly often: $G=(V,E)$61 This is a positive-density hitting statement for prescribed local structures, not for deterministic graph intervals (Jacquet, 2022).

For hyperbolic manifolds with totally geodesic boundary, "Moments of the boundary hitting function for the geodesic flow on a hyperbolic manifold" treats the random length of the geodesic interval cut out by the manifold on a generic geodesic. If $G=(V,E)$62 denotes that boundary-hitting length, then its moments satisfy

$G=(V,E)$63

where $G=(V,E)$64 is the orthospectrum. Here the intervals are boundary-to-boundary geodesic arcs organized by orthogeodesics (Bridgeman et al., 2013).

On an ellipsoid of revolution, "Geodesic intersections" studies when two geodesic segments intersect. If the segments have parameter ranges $G=(V,E)$65 and $G=(V,E)$66, then they intersect if and only if the intersection set of the parent geodesics meets the rectangle

$G=(V,E)$67

The paper develops a global parameter-space framework for deciding such hits and for treating overlap and coincidence (Karney, 2023).

In Teichmüller theory, "Thurston geodesics: no backtracking and active intervals" introduces, for each non-annular subsurface $G=(V,E)$68, an active interval $G=(V,E)$69 along a Thurston geodesic. Subsurface progress occurs only during $G=(V,E)$70, while outside it

$G=(V,E)$71

whenever $G=(V,E)$72 lie on the same side of $G=(V,E)$73. The intervals here are time windows attached to subsurfaces, not shortest-path intervals in a graph (Lenzhen et al., 2024).

In shrinking target theory for the geodesic flow, "Shrinking targets for the geodesic flow on geometrically finite hyperbolic manifolds" shows that continuous-time hitting is governed by the measure of a flow-thickened target $G=(V,E)$74, with

$G=(V,E)$75

for regular shrinking targets. Tubular neighborhoods of a closed geodesic provide the closest explicit analogue of hitting a geodesic segment in phase space (Kelmer et al., 2018).

These usages share the vocabulary of geodesics and hitting, but they concern different mathematical structures: graph intervals, hyperbolic segments, orthogeodesic classes, segment intersections on an ellipsoid, active time intervals on Thurston geodesics, or shrinking targets for geodesic flow. In current graph algorithms, however, “Hitting Geodesic Intervals” refers specifically to the shortest-path hitting problem formalized by

$G=(V,E)$76

together with the complexity landscape developed in (Gima et al., 1 Sep 2025).