A vertex in a graph strongly resolves a pair of vertices and if there exists a shortest path from to that contains , or a shortest path from to that contains in . A set of vertices is a strong resolving set of if every pair of distinct vertices in is strongly resolved by some vertex in . The strong metric dimension of a graph is the minimum cardinality of a strong resolving set of .
Given two disjoint copies of a graph , denoted and , and a permutation , the permutation graph is defined with vertex set and edge set .
We show that for a connected graph of order , the strong metric dimension of satisfies . We also provide an example demonstrating that there is no function such that for all pairs . Additionally, we prove that when is the identity permutation.
Further, we characterize permutation graphs that satisfy or when is a complete -partite graph, a cycle, or a path on vertices.