---
title: Multiset Metric Dimension in Graphs
url: https://www.emergentmind.com/topics/multiset-metric-dimension
type: topic
---

# Multiset Metric Dimension in Graphs

Multiset metric dimension, often called **multiset dimension**, is a distance-based graph invariant in which vertices are identified by the **multiset** of their distances to a chosen landmark set rather than by an ordered distance vector. For a connected graph \(G\), a landmark set is multiset resolving when distinct vertices induce distinct distance multisets; the minimum size of such a set is the multiset metric dimension, and it is defined to be \(\infty\) when no such set exists. Introduced by Simanjuntak, Siagian, and Vetrík in 2017, the parameter is closely related to classical metric dimension but is substantially more rigid: the loss of positional information can force infinitude even for connected graphs, especially in diameter-\(2\) and highly symmetric settings [1711.00225, 2507.11686].

## 1. Definition and formal representations

Let \(G=(V,E)\) be a connected graph and let \(W\subseteq V(G)\). The original formulation defines the **representation multiset** of a vertex \(v\) with respect to \(W\) as \(r_m(v\mid W)\), the multiset of distances from \(v\) to the vertices of \(W\). A set \(W\) is an \(m\)-resolving set if \(r_m(u\mid W)\neq r_m(v\mid W)\) for every pair of distinct vertices \(u,v\), and the minimum cardinality of such a set is \(md(G)\); if no such set exists, then \(md(G)=\infty\) [1711.00225].

Several equivalent notational frameworks appear in the literature. For \(R\subseteq V\), one may define
\[
S_k^R(v)=\{r\in R:d(v,r)=k\},
\qquad
\bm m_R(v)=\bigl(|S_k^R(v)|\bigr)_{k=0}^{\operatorname{diam}(G)},
\]
so that \(\bm m_R(v)\) records the multiplicity of each distance value and is equivalent to the multiset \(\{d(v,r):r\in R\}\). In another notation, \(M_G(u\mid W)=\{d_G(u,w_1),\dots,d_G(u,w_t)\}\), while chemically motivated work uses \(mr_c(z\mid U_{ms})\) for the same object. These formulations are interchangeable: a set is multiset resolving exactly when these multiset or count-based signatures are pairwise distinct [2507.11686, 2303.06986, 2110.12368].

The distinction from ordinary metric dimension is fundamental. In the classical setting one fixes an **ordered** landmark set and records a distance vector \(r(v\mid W)\); in the multiset setting, order is discarded and only multiplicities are retained. Consequently, different metric representations may collapse to the same multiset representation under permutation of coordinates. Every multiset resolving set is therefore a resolving set in the ordinary sense, yielding the basic inequality
\[
md(G)\ge \dim(G),
\]
or equivalently \(\dim(G)\le \dim_{\mathrm{ms}}(G)\) in later notation [1711.00225, 2303.06986].

## 2. Foundational properties and obstructions to finiteness

The baseline theory is unusually rigid. The graphs of multiset dimension \(1\) are exactly the paths, and no graph has multiset dimension \(2\). Hence every non-path graph satisfies \(md(G)\ge 3\) [1711.00225]. This already separates the parameter sharply from classical metric dimension, where value \(2\) is common.

A central obstruction is small diameter. If \(G\) is a non-path graph with diameter at most \(2\), then \(md(G)=\infty\). In particular, every non-path graph of diameter \(2\) has no multiset resolving set. This explains why complete graphs, stars, cycles \(C_n\) for \(n\le 5\), the Petersen graph, and strongly regular graphs fall into the infinite regime, and it underlies the observation that almost all graphs have infinite multiset dimension [1711.00225, 1908.05879, 2507.11686].

Twin structure provides a second major obstruction. If some twin class \(v^*\) has size at least \(3\), then \(md(G)=\infty\), because three or more vertices with identical distances to every other vertex cannot all be separated by distance multisets. Moreover, if \(|v^*|=2\) and \(md(G)<\infty\), then every \(m\)-resolving set must contain exactly one vertex from that twin pair. These conditions are necessary but not sufficient: there are trees of diameter \(4\) with no twin class of size at least \(3\) that still have infinite multiset dimension, showing that more subtle local symmetries also matter [1711.00225].

The original theory also gives a counting lower bound in terms of order and diameter. If \(G\) has order \(n\) and diameter \(d\), and \(f(n,d)\) is the least positive integer \(k\) such that
\[
\frac{(k+d-1)!}{k!(d-1)!}+k\ge n,
\]
then \(md(G)\ge f(n,d)\). The bound reflects the number of multisets of size \(k\) with entries from \(\{1,\dots,d\}\) available to represent vertices outside the landmark set [1711.00225].

## 3. Exact results for trees, cycles, and grids

Trees occupy a central place because they exhibit both finiteness and obstruction phenomena. For a tree \(T\) of order \(n\) and diameter at least \(2\), if \(md(T)<\infty\), then
\[
md(T)\le n-2.
\]
This improves the trivial \(n\)-vertex upper bound for trees with finite multiset dimension. The same work proposes the sharper conjecture that, if \(md(T)<\infty\), then
\[
md(T)\le n-\operatorname{diam}(T)+1,
\]
and reports exhaustive computer search for all trees up to order \(10\) in support of that conjecture. The paper also characterizes two tree subclasses completely: a caterpillar has finite multiset dimension if and only if every vertex of its minimum \(1\)-center path has at most \(2\) neighbors in \(G-P\); a lobster has finite multiset dimension if and only if the only component of \(G-E(P)\) with infinite multiset dimension is an \(S_4\) [1908.05879].

Among exact families, the original paper shows that complete \(k\)-ary trees have finite multiset dimension if and only if \(k=1\) or \(2\). For a complete binary tree of height \(h\),
\[
md(T)=2^h-1.
\]
It also establishes that
\[
md(C_n)=3 \quad \text{for } n\ge 6,
\]
and
\[
md(P_m\square P_n)=3 \quad \text{for } m\ge 3,\ n\ge 2,
\]
demonstrating that multiset dimension \(3\) is attained by natural sparse families despite the nonexistence of value \(2\) [1711.00225].

Chemically motivated graph classes supply further exact computations. For the starphene family \(SP_{a,b,c}\) with \(a,b,c\ge 3\),
\[
msdim(SP_{a,b,c})=4.
\]
The proof is constructive: a \(4\)-vertex multiresolving set is exhibited and explicit multirepresentation formulas are derived for all vertex classes. The same source notes a typographical inconsistency in the proof text, whose theorem statement and displayed generator indicate that the intended value is \(4\), not \(3\) [2110.12368].

## 4. Equivalence, complexity, and product phenomena

A major conceptual advance is the equivalence between multiset resolving sets and **ID-colorings**. If \(G\) has diameter \(d\) and \(S\subseteq V(G)\), one may encode each vertex \(x\) by the vector
\[
d(x\mid S)=(a_1,\dots,a_d),
\]
where \(a_i\) is the number of vertices of \(S\) at distance \(i\) from \(x\). The equivalence theorem states that \(S\) is an ID-coloring if and only if it is a multiset resolving set; consequently,
\[
\dim_{\mathrm{ms}}(G)=ID(G).
\]
This identifies multiset dimension with a count-vector formalism that is often more convenient for structural arguments [2303.06986].

The same paper proves that the decision problem **MULTISET DIMENSION** is NP-complete. Given a graph \(G=(V,E)\) and an integer \(k\), the question whether \(\dim_{\mathrm{ms}}(G)\le k\) is shown NP-complete by reduction from \(3\)-SAT using variable and clause gadgets, twin-forcing arguments, and a tight target size \(2n+m\) for a formula with \(n\) variables and \(m\) clauses [2303.06986].

Strong products display a marked dichotomy. For king grids \(P_n\boxtimes P_n\), the parameter is infinite for \(n=2,3\) because these graphs have diameter at most \(2\); exhaustive search gives
\[
\dim_{\mathrm{ms}}(P_4\boxtimes P_4)=4,
\qquad
\dim_{\mathrm{ms}}(P_5\boxtimes P_5)=\dim_{\mathrm{ms}}(P_6\boxtimes P_6)=4,
\]
and for \(n>7\),
\[
3\le \dim_{\mathrm{ms}}(P_n\boxtimes P_n)\le 4.
\]
Whether the upper bound \(4\) is always tight for \(n>7\) is left open. For products with a complete graph factor, finite multiset dimension occurs only in a highly restricted case:
\[
\dim_{\mathrm{ms}}(G\boxtimes K_n)<\infty
\quad\Longleftrightarrow\quad
n=2 \text{ and } G \text{ is multiset distance irregular}.
\]
When this holds,
\[
\dim_{\mathrm{ms}}(G\boxtimes K_2)=|V(G)|.
\]
These results show that product operations can preserve or destroy finiteness depending on the twin structure induced in the fibers [2303.06986].

## 5. Outer multiset dimension and related variants

Because full multiset dimension is often infinite, an important variant is the **outer multiset dimension**. Here one chooses \(S\subseteq V(G)\) and requires only that vertices in \(V(G)\setminus S\) have pairwise distinct multiset representations with respect to \(S\). This weakens the recognition requirement by allowing vertices inside \(S\) to remain unresolved, thereby avoiding many of the pathologies of the full parameter [2207.06834].

The outer version admits structural and algorithmic results not presently available in the same form for the full invariant. A central theorem states
\[
\mathrm{dim}_{\mathrm{ms}}(G)=n(G)-1
\quad\Longleftrightarrow\quad
G \text{ is a regular graph with } \operatorname{diam}(G)\le 2.
\]
Graphs with outer multiset dimension \(2\) are recognized in polynomial time; specifically, the decision can be done in \(O(n^2)\) time. The paper also proves that for \(H\in\{K_k,\overline{K_k}\}\),
\[
\dim_{\mathrm{ms}}(G\circ H)\ge n(G)(k-1),
\]
with equality if and only if \(G\) is multiset distance irregular, and establishes the exact Cartesian-grid value
\[
\dim_{\mathrm{ms}}(P_s\square P_t)=3
\qquad \text{for } s\ge t\ge 2.
\]
This suggests that the outer version is both structurally rich and computationally more tractable in some regimes [2207.06834].

Another related notion is **mixed metric dimension**, where a landmark set must distinguish both vertices and edges. The starphene/coronoid study explicitly separates mixed metric dimension from multiset dimension: multiset dimension is purely vertex-based and uses multiset-valued distance lists, whereas mixed metric dimension resolves all elements of \(V(\Gamma)\cup E(\Gamma)\). For starphene,
\[
msdim(SP_{a,b,c})=4,
\]
while prior values cited there give
\[
dim(SP_{a,b,c})=2,\qquad edim(SP_{a,b,c})=3,\qquad mdim(SP_{a,b,c})=3.
\]
Thus the multiset requirement can be strictly stronger than both ordinary and mixed distance-based identification on the same graph family [2110.12368].

## 6. Random graphs and asymptotic phase behavior

The first high-probability asymptotic bounds for the multiset metric dimension of binomial random graphs are obtained for \(G(n,p)\) in the regime
\[
d=(n-1)p=\Theta(n^x),\qquad x\in(0,1).
\]
For \(R\subseteq V\), the relevant signature is
\[
\bm m_R(v)=\bigl(|S_k^R(v)|\bigr)_{k=0}^{\operatorname{diam}(G)},
\]
and the analysis is driven by an explicit exponent function
\[
f_x(y)=\sum_{i=0}^{\lfloor 1/x\rfloor}\max\{ix+y-1,0\}.
\]
When \(x\le \tfrac18\), \(y_4(x)\) is defined as the unique solution of \(f_x(y)=4\), and when \(x\le \tfrac12\), \(y_1(x)\) is defined as the unique solution of \(f_x(y)=1\) [2507.11686].

The main theorem gives high-probability polynomial bounds. If
\[
x\in\left(0,\frac18\right],\qquad d=n^{x+O(\log^{-1}n)},
\]
then with high probability
\[
\beta_{\mathrm{ms}}(G)\le n^{y_4+O(\log^{-1}n)}.
\]
Equivalently, for \(d=\Theta(n^x)\) with \(x\le \tfrac18\),
\[
\beta_{\mathrm{ms}}(G)=O(n^{y_4(x)}) \qquad \text{w.h.p.}
\]
If
\[
x\in\left(0,\frac12\right],\qquad d=n^{x+O(\log^{-1}n)},
\]
then with high probability
\[
\beta_{\mathrm{ms}}(G)\ge n^{y_1+O(\log^{-1}n)},
\]
equivalently
\[
\beta_{\mathrm{ms}}(G)=\Omega(n^{y_1(x)}) \qquad \text{w.h.p.}
\]
For \(x>\tfrac12\), \(G(n,p)\) has diameter \(2\) with high probability, and therefore
\[
\beta_{\mathrm{ms}}(G)=\infty \qquad \text{w.h.p.}
\]
by the general diameter-\(2\) obstruction [2507.11686].

The proof combines expansion properties of \(G(n,p)\) in the regime \(d=\omega(\log n)\) with probabilistic control of distance layers. A key lemma gives typical sphere sizes
\[
|S_i(v)|\approx d^i \quad (i\le i^*),
\]
where \(i^*\) is the largest integer with \(d^{i^*}=o(n)\). For the upper bound, each vertex is chosen independently with probability \(r/n\), where \(r=n^y\), and the probability that a random candidate set fails to distinguish a fixed pair is roughly
\[
n^{-\frac12 f_x(y)+O(\log^{-1}n)}.
\]
For the lower bound, if \(|R|=n^y\), then typical vertices admit only
\[
O\!\left(n^{\max\{ix+y-1,0\}}\right)
\]
possible values in coordinate \(i\), so the total number of typical signatures is at most
\[
n^{f_x(y)+O(\log^{-1}n)}.
\]
The resulting phase picture has a qualitative transition: for \(x>\tfrac12\) the parameter is infinite with high probability; for \(x\le \tfrac12\) polynomial lower bounds are proved; and for \(x\le \tfrac18\) polynomial upper bounds are also proved. The interval
\[
x\in\left(\frac18,\frac12\right]
\]
remains unresolved with respect to finiteness with high probability. The exponent functions \(y_1(x)\) and \(y_4(x)\) exhibit a “zig-zag” pattern with jumps at reciprocals \(x=1/k\), reflecting diameter changes in \(G(n,p)\); examples given are
\[
y_1(1/2)=\frac34,\qquad y_1(1/3)=\frac23,\qquad y_1(1/4)=\frac{7}{12}.
\]
These results place multiset metric dimension within probabilistic graph theory and show that, when finite in sparse polynomial-degree random graphs, it is typically polynomially large [2507.11686].

Source: https://www.emergentmind.com/topics/multiset-metric-dimension