[論文レビュー] Metric representations by minimal graphs

Víctor Franco-Sánchez, Mercè Mora+1 more|arXiv (Cornell University)|Feb 5, 2026

Graph Labeling and Dimension Problems被引用数 0

ひとこと要約

この論文は、グラフによる計量座標集合の実現を研究し、辺最小実現を分析し、辺の制限を持つ実現のNP完全性を証明し、樹形実現を特徴付ける。

ABSTRACT

A resolving set in a graph $G$ is a vertex subset $W= \{ω^1, \dots, ω^n\} \subseteq V(G)$ such that each $u \in V(G)$ can be uniquely identified by the vector $r(u \vert W) = (d(u,ω^1), \dots, d(u,ω^n))$ of metric coordinates of $u$ with respect to $W$. The reverse problem of identifying the vector sets that are a set of coordinates of some graph provides the concept of realizable vector set $S \subset \mathbb{Z}^n$ by a pair $(G, W)$ meaning that $S=\{ r(u\vert W)\colon u\in V(G)\}$ with $W$ a resolving set of the graph $G$. Here we focus on the minimality of the realizations of vector sets with respect to their edge sets. On the one hand, we study conditions under which it is possible to remove an edge from the graph and keep the realizability condition. This provides a method for finding minimal realizations, as well as allowing us to characterize uniquely realizable vector sets. On the other hand, we prove that the decision problem of realizing a vector set by a graph with a given number of edges is an NP-complete problem. Finally, we characterize the vector sets that are realizable by a tree and, furthermore, we study the case in which such a realization is the only one.

研究の動機と目的

• 与えられた計量座標集合がグラフと解決集合で実現できるかを理解する。
• 最小かつ一意に実現可能な座標集合を特徴づける。
• 実現性を保持するような辺の追加/削除の基準を開発する。
• グラフの最大辺数の制約下で集合を実現する計算複雑性を調べる。
• 木への実現を特化させ、木の実現が存在する場合を特徴づける。

提案手法

• 計量座標系からの実現可能なベクトル集合の理論を検討・拡張する。
• 標準的な実現を集合 S の最大辺実現として用いる。
• 実現性を保持するための辺の追加の必要十分条件を導出する（Proposition 2.1）。
• 実現性を保持するための辺の削除の必要十分条件を導出する（Proposition 2.2）。
• S のすべての実現が同等である条件を特徴づける（Theorem 2.4）。
• BMETREL のNP完全性を 3SAT からの多項式写像で証明する（Theorem 3.3）。
• 木の実現の特徴づけを示す（Theorem 4.3）と一意性を分析する（Proposition 4.4）。

実験結果

リサーチクエスチョン

• RQ1 有限部分集合 S が、解決集合 W を持つあるグラフの頂点の計量座標と対応するか。
• RQ2 実現性を保ちつつ実現を最小化するにはどうすればよいか、すべての実現において実現性が一意か。
• RQ3 最大辺数に制約のあるグラフで与えられた S を実現する計算複雑性は。
• RQ4 実現を木で実現できる条件は何か、そしてそのような木の実現が一意か。

主な発見

• 集合 S は非負性と隣接閉包条件が成り立つ場合に限り実現可能である（Theorem 1.3）。
• 辺は標準的な実現の範囲内でのみ追加可能で、実現性を失わない（Proposition 2.1）。
• 辺の削除は特定の隣接距離条件が成り立つ場合にのみ実現性を保つ（Proposition 2.2）。
• S のすべての実現が同等であるのは、各対の最大座標差が1となる周辺条件が正確に成り立つ場合である（Theorem 2.4）。
• 有界計量実現問題 BMETREL は NP-完全であり、3SAT からの多項式還元によって証明される（Theorem 3.3）。
• 実現可能な集合 S は Theorem 4.3 の i) および ii) の条件が成り立つときに限り木によって実現可能であり、構成的な木の実現を導く（Theorem 4.3）。
• 標準実現は、すべての実現が集合 S に対するスパニング部分グラフとして見ることができる枠組みを提供する（Proposition 1.6）。