Let be a set of vertices in a connected graph . A vertex outside is represented by the multiset of its distances to the vertices of . The outer multiset dimension is the minimum cardinality of an for which these representations distinguish all vertices outside . We determine for all , answering a problem of Klavžar, Kuziak, and Yero. The values range from to . The proof combines a half-turn argument giving a universal four-landmark lower bound when both factors have length at least four, explicit three- and four-landmark constructions for the infinite families, and exact finite enumeration on the remaining strip. The collision classification behind the infinite four-landmark construction is certified by exact quantifier elimination in linear integer arithmetic; source code and all finite upper certificates accompany the paper.

生成讲解博客的中文版本

生成AI智能校验的中文版本