---
title: Localization Game in Graph Theory
url: https://www.emergentmind.com/topics/localization-game
type: topic
---

# Localization Game in Graph Theory

The localization game is a pursuit–evasion game on a graph in which an invisible robber moves between adjacent vertices while a team of cops probes vertices and receives distance information. The principal invariant is the localization number \(\zeta(G)\), the minimum number of probes per round that guarantees eventual identification of the robber’s position; later work introduced localization capture time to quantify the number of rounds required under optimal play. The subject is commonly treated as a game-theoretic variant of metric dimension, but its sequential and adaptive structure has produced a distinct theory involving exact values, extremal bounds, probabilistic asymptotics, directed and visibility-limited variants, and recent linear capture-time results for trees and subclasses of outerplanar graphs [2508.10443].

## 1. Formal model and basic parameters

In the standard finite undirected setting, the game is played on a finite, connected graph \(G=(V,E)\). Two players participate: a team of \(k\) cops and one robber. The robber is invisible and omniscient, the cops have global movement, and a round consists of a cops’ move followed by a robber’s move. On the cops’ move, the cops choose a multiset of \(k\) vertices \(C=\{c_1,\dots,c_k\}\), immediately receiving the distance vector
$$
(d(c_1,r),\;d(c_2,r),\;\dots,\;d(c_k,r)),
$$
where \(r\) is the robber’s current vertex. The robber then moves along one edge or stays put. The cops win if after some finite round they can deduce the robber’s exact location; otherwise the robber wins by evading forever [2508.10443].

A vertex is a candidate if its distances to the probed vertices match the reported distances. The game therefore admits a state-space interpretation in which each probe refines the current candidate set, and the robber attempts to keep that set non-singleton across rounds. This viewpoint underlies many later proofs, including “robber-territory” arguments for incidence graphs and inductive shrinking arguments for trees [2103.10587].

Three parameters organize most of the theory.

| Parameter | Definition |
|---|---|
| \(\zeta(G)\) | Minimum \(k\) such that \(k\) cops have a winning strategy |
| \(\beta(G)\) | Minimum \(k\) for which the robber can be identified in one round |
| \(\lcapt_k(G)\) | Minimum number of rounds needed by \(k\ge \zeta(G)\) cops under optimal play |

The relation to metric dimension is immediate: \(\beta(G)\) is the minimum number of probes needed for one-round identification, so \(\zeta(G)\le \beta(G)\). The inequality can be strict, and several random and incidence-based families exhibit a substantial gap between sequential localization and one-round resolving power [2103.10587].

## 2. Structural bounds, graph parameters, and complexity

The earliest structural results already separated localization from classical resolving-set phenomena. Seager proved that every finite tree \(T\) satisfies \(\zeta(T)\le 2\), with \(\zeta(T)=1\) exactly when \(T\) does not contain \(T_{3,3}\) as an induced subgraph [2508.10443]. More generally, there is a pathwidth bound
$$
\zeta(G)\le \mathrm{pw}(G),
$$
and a maximum-degree bound
$$
\zeta(G)\le \bigl\lfloor(\Delta+1)^2/4\bigr\rfloor +1.
$$
For hypercubes,
$$
\lceil\log_2 n\rceil \le \zeta(Q_n)\le \lceil\log_2 n\rceil +2,
$$
showing that high Cartesian dimension does not force linear growth in the parameter [2103.10587].

The parameter also interacts with sparsity and coloring. If \(G\) has degeneracy \(k\), then \(\zeta(G)\ge \log_3(k+1)\); equivalently, \(\zeta(G)\le m\) implies \(\degeneracy(G)<3^m\). Consequently,
$$
\chi(G)\le 3^{\zeta(G)}.
$$
The degeneracy bound is tight, and the same work proved that every outerplanar graph satisfies \(\zeta(G)\le 2\) [1806.05286].

A recurrent misconception is that small treewidth should force small localization number. The established upper bound is in terms of pathwidth, not treewidth, and this distinction matters: there exist planar graphs of treewidth \(2\) with unbounded \(\zeta(G)\) [1709.05904]. The algorithmic side is correspondingly difficult. Determining whether \(\zeta(G)\le k\) is NP-hard even for graphs with diameter at most \(2\) [1709.05904].

These facts place localization in an unusual position among graph-search parameters. It is controlled by path-like decompositions, sensitive to local branching and degeneracy, but not bounded by treewidth alone.

## 3. Capture time and the linear localization program

Localization capture time measures not merely whether the cops can win, but how fast they can do so. For any \(k\ge \zeta(G)\), the \(k\)-localization capture time \(\lcapt_k(G)\) is the minimum number of rounds needed for \(k\) cops, playing optimally to minimize time, to locate the robber when the robber responds so as to maximize this time. When \(k=\zeta(G)\), one writes \(\lcapt(G)\) [2508.10443].

This led to the Localization Capture Time Conjecture (LCTC): there exists a constant \(C\) such that for every connected \(n\)-vertex graph \(G\),
$$
\lcapt(G)\le Cn.
$$
Earlier work established that trees and interval graphs are well-localizable, and for trees \(T\) on \(n\) vertices gave the bounds
$$
\lcapt(T)\le
\begin{cases}
5n,&\zeta(T)=1,\\
n-1,&\zeta(T)=2.
\end{cases}
$$
[2105.09806].

Recent results substantially sharpen the tree theory. If a tree \(T\) does not contain \(T_{3,3}\), then one cop suffices and
$$
\lcapt(T)\le \ell(T),
$$
where \(\ell(T)\) is the number of leaves. If \(T\) does contain \(T_{3,3}\), then \(\zeta(T)=2\) and
$$
\lcapt(T)\le \Big\lfloor\frac{\ell(T)}2\Big\rfloor-1.
$$
Hence for any tree \(T\) on \(n\) vertices,
$$
\lcapt(T)\le
\begin{cases}
n-1,&\zeta(T)=1,\\
\lfloor n/2\rfloor-3,&\zeta(T)=2.
\end{cases}
$$
The proofs root \(T\) at a leaf and maintain a vertex whose descendant-subtree contains the robber, eliminating branches by probing leaves and children of degree-\(2\) vertices, and in the two-cop case showing that every probe removes at least two new leaves, with four removed in the first move [2508.10443].

Outerplanar graphs now provide a second major capture-time class. If an outerplanar graph \(G\) decomposes into edge-disjoint blocks \(B_1,\dots,B_m\), then
$$
\lcapt_2(G)\le \sum_{i=1}^m(|B_i|-1).
$$
Hence any outerplanar \(n\)-vertex graph with \(\zeta(G)=2\) satisfies \(\lcapt(G)\le n-1\). If \(G\) is \(2\)-connected outerplanar with \(c\) chords, then
$$
\lcapt_2(G)\le c+1\le n-2.
$$
This proves the LCTC for all outerplanar graphs \(G\) with \(\zeta(G)=2\) [2508.10443].

The same paper introduced an abstract coloring-based generalization. Given colorings \(C_1,\dots,C_k\), one forms a layered game structure on subsets \(S\subseteq V(G)\) and then a reduced game structure by pruning to subsets lying on maximal parent–child chains down to singletons. If the colorings are all distance-colorings induced by subsets of size at most \(k\), then the height of the reduced game structure equals \(\lcapt_k(G)\). This recasts capture time as a combinatorial problem on colorings and parent–child relations. The open question asks whether there exists a function \(f(n)\) such that every \(n\)-vertex graph and every list of colorings yields a game-structure of height at most \(f(n)\); a positive answer with \(f(n)=O(n)\) would settle the LCTC [2508.10443].

## 4. Exact values, extremal families, and probabilistic regimes

Several graph families admit exact values or asymptotically tight formulas. In incidence graphs of designs, the localization number is tightly controlled by the design parameters. If \(\mathcal P\) is a projective plane of order \(q\), then the incidence graph satisfies
$$
\zeta\bigl(G(\mathcal P)\bigr)=q+1.
$$
For an affine plane of order \(q\),
$$
\zeta(G)=q.
$$
More generally, for a \((v,b,r,k,1)\)-BIBD one has \(\zeta(G)\le 2r+k-3\), while for a symmetric BIBD \((v,r,k,1)\) one has \(\zeta(G)=k\). Kneser graphs of diameter \(2\) also admit asymptotic formulas: for fixed even \(k\ge 4\) and \(n\ge 3k\),
$$
\zeta\bigl(K(k,n)\bigr)=\tfrac n2+\tfrac nk+O(1),
$$
and for fixed odd \(k\ge 3\),
$$
\tfrac n2+\tfrac nk-\frac k2-1
\le
\zeta\bigl(K(k,n)\bigr)
\le
\tfrac n2+\tfrac nk+\tfrac n{2k}+O(1).
$$
These results rely on robber-territory induction, counting, and hypergraph-detection arguments [2103.10587].

Cartesian products produce another developed subtheory. For connected graphs \(G\) and \(H\),
$$
\zeta(G\Box H)\ge \max\{\zeta(G),\zeta(H)\},
$$
and
$$
\zeta(G\Box H)\le \zeta(G)+\psi(H)-1,
$$
where \(\psi(H)\) is the minimum size of a doubly resolving set of \(H\). On toroidal grids, if \(m\ge n\ge 3\), then
$$
\zeta(C_m\Box C_n)=
\begin{cases}
3,&(m,n)=(3,3)\text{ or }(m\text{ even},\,n=4),\\
2,&\text{otherwise.}
\end{cases}
$$
[2007.15921].

Random models demonstrate that sequential localization often scales very differently from one-round metric dimension. For dense \(G(n,p)\) with \(\log n\ll d=pn\ll n\), if \(i\) is the unique integer with \(d^i/n-2\log n\to-\infty\) and \(d^{i+1}/n-2\log n\to+\infty\), then a.a.s.
$$
(\log d -3\log\log n)\,n d^{-i}\le \zeta(G)\le (1+o(1))(\log d +2\log\log n)\,n d^{-i}.
$$
In particular, whenever \(d\gg (\log n)^3\),
$$
\zeta(G(n,p))\sim \frac{n\log d}{d^i}.
$$
If \(d=\Theta(\log n)\), then \(\operatorname{diam}(G)=3\) and
$$
\zeta(G)=\Theta\!\Bigl(\frac{n\log\log n}{(\log n)^2}\Bigr).
$$
In the diameter-two regime with fixed \(p\in(0,1)\), one also has
$$
\zeta\bigl(G(n,p)\bigr)=(2+o(1))\frac{\log n}{\log\bigl(1/(p^2+(1-p)^2)\bigr)}
$$
a.a.s. [1910.11225].

For random geometric graphs \(G\in\mathcal T(n,r)\) slightly above connectivity, localization admits four asymptotic regimes. In particular, just above connectivity,
$$
\zeta(G)=\Theta\Bigl(\frac{\log n}{\log(nr^2)}\Bigr)
$$
up to polylogarithmic factors [2102.10352].

## 5. Directed, visibility-limited, and infinite variants

The localization game has been extended in several orthogonal directions. For digraphs, the distance from \(x\) to \(y\) is the length of a shortest directed path from \(x\) to \(y\), or \(\infty\) if none exists. If \(G_1,\dots,G_m\) are the strongly connected components of a digraph \(G\), then
$$
\zeta(G)\le \max_{1\le i\le m}\zeta(G_i)+\Delta^+(\mathrm{SC}(G)),
$$
and this bound is sharp. Directed width parameters again control the game:
$$
\zeta(G)\le \mathrm{dpw}(G)+1,
\qquad
\zeta(G)\le \mathrm{dagw}(G).
$$
There also exists a family of digraphs of order \(n\) with localization number \((1-o(1))n/2\). For random tournaments \(T(n,p)\),
$$
(1-o(1))\log_2 n\le \zeta(T(n,p))\le (2+o(1))\log_2 n,
$$
and doubly regular tournaments, including Paley tournaments, satisfy the same logarithmic bounds [2208.07788].

Visibility-limited models alter the sensing channel rather than the graph class. In the \(k\)-visibility localization game, a probe reports exact distance only up to radius \(k\), returning \(\ast\) otherwise. The corresponding invariant \(\zeta_k(G)\) is nonincreasing in \(k\), with \(\zeta(G)=\zeta_{\operatorname{diam}(G)}(G)\). The theory differs sharply from the classical finite-tree case: for every \(d\) there exists a finite tree \(T\) with \(\zeta_k(T)>d\), yet for any tree \(T\) and any \(k\ge 2\) there exists a subdivision \(T'\) with \(\zeta_k(T')=1\) [2311.01582]. The one-visibility case is particularly developed: \(\zeta_1(G)=O(\sqrt n)\) for \(K_h\)-minor-free graphs of order \(n\), and \(n\times n\) Cartesian grids achieve this order up to additive constants [2301.03534].

Infinite graphs require new phenomena. For locally finite graphs, \(\zeta(G)\) may be finite or \(\aleph_0\). In marked contrast to finite trees, for every positive integer \(n\) and also for \(n=\aleph_0\), there exists a locally finite tree \(T\) with \(\zeta(T)=n\). These examples have uncountably many ends. By contrast, locally finite trees with finitely or countably many ends satisfy \(\zeta(T)\le 2\). As in the finite setting, any locally finite graph contains a subdivision with localization number \(1\) [2404.02409].

## 6. Open problems, scope, and terminological overlap

Several open problems currently organize the subject. The localization capture-time program asks for a full resolution of the LCTC. For outerplanar graphs, the remaining case is \(\zeta(G)=1\). For trees, the linear bound has already been improved to \(C=1\), and the next step is to identify tighter lower-bound examples. The coloring-structure formulation isolates a still more general question: whether the height of the game structure is bounded by \(f(n)=O(n)\) for all \(n\)-vertex graphs and all lists of colorings. Structural extensions from trees and outerplanar graphs to wider families, including planar and minor-closed classes, remain explicitly proposed directions [2508.10443].

The phrase “localization game” also appears in other research areas, but with different formal content. In multi-agent SLAM, GTP-SLAM formulates a “Localization Game” as a potential game in which the ego player and non-ego players optimize trajectories, controls, and landmarks, and the iterative best-response procedure converges to an open-loop Nash equilibrium [2203.16690]. In sensor network localization, non-anchor nodes have been modeled as players in a non-convex potential game whose Nash equilibrium corresponds to the localization solution, with centralized and distributed NE-seeking algorithms [2407.04608, 2401.02471]. In underwater sensor networks, localization has been cast as a single-leader multi-follower Stackelberg game for topology control and energy-efficient ranging [1805.12361]. These usages share the word “localization” and a game-theoretic vocabulary, but they are distinct from the cops-and-robber distance-probing game on graphs.

Within graph theory proper, the localization game now spans exact finite combinatorics, probabilistic methods, decomposition-based upper bounds, temporal complexity, and several nonclassical sensing models. The most robust theme is that adaptive probing is substantially more powerful than one-round resolution, yet still delicate enough that branching structure, graph products, width parameters, and motion constraints all remain visible in the final bounds.

Source: https://www.emergentmind.com/topics/localization-game