トーラス状格子を距離の多重集合で識別する最小点数
The Outer Multiset Dimension of Toroidal Grids
この論文をやさしく読む
ひとことで言うと
トーラス状の格子グラフで、目印までの距離を順序のない集合として見ても他の頂点を見分けられる最少目印数を求めます。
何に役立つ？
グラフ上の位置識別で、どの目印への距離かという対応を失っても区別するのに必要な情報量を理解できます。
この研究の面白いところ
すべてのs,tが3以上の場合を扱い、値が3〜8の範囲になると決定します。無限族の構成と下界、残る有限範囲の正確な列挙を組み合わせます。
どこまで分かった？
対象は二つのサイクルの直積グラフです。定理の一部は正確な量化消去と有限証明書を用いますが、ここではその計算を独立に検証していません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
連結グラフGの頂点集合Sを考える。Sの外にある頂点を、その頂点からSの各頂点までの距離の多重集合で表す。この表現によってSの外のすべての頂点を区別できるようなSの最小要素数を、外部多重集合次元odim(G)と呼ぶ。 本研究では、すべてのs,t≥3についてodim(C_s □ C_t)を決定し、Klavžar、Kuziak、Yeroが提示した問題に答える。その値は3から8の範囲にある。証明は、両方の因子の長さが少なくとも4である場合に、ランドマークが普遍的に少なくとも4点必要であることを示す半回転の議論、無限族に対する3点・4点のランドマークの明示的な構成、そして残る帯状の範囲に対する厳密な有限列挙を組み合わせる。 無限族に対する4点構成の基礎となる、識別表現が一致する場合の分類は、線形整数算術における厳密な量化記号消去で検証される。ソースコードと、有限の場合の上界を保証するすべての証明書を論文に添付する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-17（UTC）
- 最新改訂
- 2026-09-17 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-17 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Let $S$ be a set of vertices in a connected graph $G$. A vertex outside $S$ is represented by the multiset of its distances to the vertices of $S$. The outer multiset dimension $\operatorname{odim}(G)$ is the minimum cardinality of an $S$ for which these representations distinguish all vertices outside $S$. We determine $\operatorname{odim}(C_s \square C_t)$ for all $s,t\geq 3$, answering a problem of Klavžar, Kuziak, and Yero. The values range from $3$ to $8$. 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.
著者のコメント
10 pages; ancillary files include verification code and finite upper-bound certificates
arXiv ID: 2609.20073 ／ 要約の誤りについて