連結性と最短経路の見通しを両立する頂点集合
Connected Mutual-Visibility in Graphs
この論文をやさしく読む
ひとことで言うと
頂点どうしが最短経路で互いを遮らず、選んだ頂点群自体もつながっている集合を、グラフの中でどこまで大きく取れるかを調べます。
何に役立つ？
グラフの局所構造と最大集合の大きさとの関係、そして計算の難しさを理解するための基礎研究です。要旨は特定の実ネットワークへの適用を報告していません。
この研究の面白いところ
グラフ全体の値が各ブロックの値の最大値で決まる点が特徴です。候補集合の条件確認は効率よくできても、対応する規模の存在判定は難しいという違いも示しています。
どこまで分かった？
理論的な界・特徴付け・計算量に関する結果です。NP完全性は直径4以下の連結二部グラフにも成立する一方、提示された多項式時間手法は候補集合の認識用であり、一般に最大集合を求める手法ではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
グラフGの頂点集合Sについて、S内の任意の2頂点を、内部頂点がSの外にある最短経路で結ぶことができ、かつSが誘導する部分グラフが連結であるとき、Sを連結相互可視集合と呼ぶ。本研究では、このような集合の最大要素数として定義される連結相互可視数μ_c(G)を導入し、その構造的・アルゴリズム的性質を調べる。基本的な上下界を確立し、Nordhaus–Gaddum型の不等式を導出するとともに、取り得る最小値・最大値を達成するグラフを特徴付ける。 正則な(d,2,−δ)グラフについてμ_c(G)の一般的な界を導き、欠損2の2つの3正則グラフではその正確な値を決定する。さらに、μ_c(G)はGのブロック構造によって局所的に決まり、Gの各ブロックにおける対応する値の最大値に等しいことを示す。最後に、与えられた集合が連結相互可視集合かを判定する多項式時間アルゴリズムを提示する一方、対応する判定問題は、直径が高々4の連結二部グラフに限ってもNP完全であることを証明する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-16（UTC）
- 最新改訂
- 2026-09-16 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-16 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
A set $S$ of vertices of a graph $G$ is a connected mutual-visibility set if every two vertices of $S$ are joined by a shortest path whose internal vertices lie outside $S$, and the subgraph induced by $S$ is connected. We introduce the connected mutual-visibility number $\mu_c(G)$, defined as the maximum cardinality of such a set, and investigate its structural and algorithmic properties. We establish fundamental bounds, derive Nordhaus--Gaddum type inequalities, and characterise the graphs attaining the minimum and maximum possible values. For regular $(d,2,-\delta)$-graphs, we derive general bounds on $\mu_c(G)$ and determine its exact value for the two cubic graphs of defect $2$. We further show that $\mu_c(G)$ is determined locally by the block structure of $G$, namely, it is equal to the maximum of the corresponding values over the blocks of $G$. Finally, we present a polynomial-time algorithm for recognising connected mutual-visibility sets and prove that the associated decision problem is $\mathsf{NP}$-complete, even for connected bipartite graphs of diameter at most $4$.
著者のコメント
15 pages, 2 figures
arXiv ID: 2609.18877 ／ 要約の誤りについて