A minimal resolving set of a graph is a resolving set that contains no proper subset that is also a resolving set.
Thus minimality is by inclusion and does not imply that the set has minimum cardinality.
A minimal resolving set of cardinality is called a
-minimal.
The maximum cardinality of a minimal resolving set of a graph is called its upper dimension and is denoted
(Chartrand et al. 2000). Enumerating the minimal
resolving sets of general graphs is equivalent to enumerating the minimal transversals
of hypergraphs (Bergougnoux et al. 2025).
For rectangular grid graphs with
, Melter and Tomescu (1984) characterized the metric
bases, equivalently the 2-minimals. Andersen et al. (2016) characterized the
3-minimals and proved that the upper dimension is
. Adar and Epstein (2016) proved that 3 is the only
possible odd cardinality and that every minimal resolving set of cardinality at least
4 can be ordered to correspond to a zigzag sequence.
Building on these results, Huang (2026) completely characterized and enumerated the minimal resolving sets of every such grid graph. Such
a graph has -minimals
exactly for
In particular, 3 is the only possible odd cardinality and the maximum cardinality is .
For
,
the number of
-minimals
is
Huang also gave closed formulas for the cases , 3, and 4 and a recursive construction that generates exactly
all minimal resolving sets of cardinality at least 4.